Standard

Optimal control of discrete-time hybrid automata under safety and liveness constraints. / Seatzu, Carla; Gromov, Dmitry; Raisch, Joerg; Corona, Daniele; Giua, Alessandro.

In: Nonlinear Analysis, Theory, Methods and Applications, Vol. 65, No. 6, 2006, p. 1188-1210.

Research output: Contribution to journal › Article › peer-review

Harvard

Seatzu, C, Gromov, D, Raisch, J, Corona, D & Giua, A 2006, 'Optimal control of discrete-time hybrid automata under safety and liveness constraints', Nonlinear Analysis, Theory, Methods and Applications, vol. 65, no. 6, pp. 1188-1210. https://doi.org/10.1016/j.na.2005.12.024

APA

Seatzu, C., Gromov, D., Raisch, J., Corona, D., & Giua, A. (2006). Optimal control of discrete-time hybrid automata under safety and liveness constraints. Nonlinear Analysis, Theory, Methods and Applications, 65(6), 1188-1210. https://doi.org/10.1016/j.na.2005.12.024

Vancouver

Seatzu C, Gromov D, Raisch J, Corona D, Giua A. Optimal control of discrete-time hybrid automata under safety and liveness constraints. Nonlinear Analysis, Theory, Methods and Applications. 2006;65(6):1188-1210. https://doi.org/10.1016/j.na.2005.12.024

Author

Seatzu, Carla ; Gromov, Dmitry ; Raisch, Joerg ; Corona, Daniele ; Giua, Alessandro. / Optimal control of discrete-time hybrid automata under safety and liveness constraints. In: Nonlinear Analysis, Theory, Methods and Applications. 2006 ; Vol. 65, No. 6. pp. 1188-1210.

BibTeX

@article{bf430d0a840c437187414cec8a3e8103,
title = "Optimal control of discrete-time hybrid automata under safety and liveness constraints",
abstract = "In this contribution we address an optimal control problem for a class of discrete-time hybrid automata under safety and liveness constraints. The solution is based on a hierarchical decomposition of the problem, where the low-level controller enforces safety and liveness constraints while the high-level controller exploits the remaining degrees of freedom for performance optimization. Lower-level control is based on a discrete abstraction of the continuous dynamics. The action of low-level control can be interpreted as restricting invariants in the hybrid automaton representing the plant model. A state feedback solution for the high-level control is provided, based on the off-line construction of an appropriate partition of the state space. (c) 2005 Elsevier Ltd. All rights reserved.",
keywords = "hybrid automata, switched systems, safety constraints, liveness constraints, SUPERVISORY CONTROL, CONTINUOUS SYSTEMS",
author = "Carla Seatzu and Dmitry Gromov and Joerg Raisch and Daniele Corona and Alessandro Giua",
year = "2006",
doi = "10.1016/j.na.2005.12.024",
language = "Английский",
volume = "65",
pages = "1188--1210",
journal = "Nonlinear Analysis, Theory, Methods and Applications",
issn = "0362-546X",
publisher = "Elsevier",
number = "6",
note = "null ; Conference date: 03-07-2005 Through 08-07-2005",

}

RIS

TY - JOUR

T1 - Optimal control of discrete-time hybrid automata under safety and liveness constraints

AU - Seatzu, Carla

AU - Gromov, Dmitry

AU - Raisch, Joerg

AU - Corona, Daniele

AU - Giua, Alessandro

PY - 2006

Y1 - 2006

N2 - In this contribution we address an optimal control problem for a class of discrete-time hybrid automata under safety and liveness constraints. The solution is based on a hierarchical decomposition of the problem, where the low-level controller enforces safety and liveness constraints while the high-level controller exploits the remaining degrees of freedom for performance optimization. Lower-level control is based on a discrete abstraction of the continuous dynamics. The action of low-level control can be interpreted as restricting invariants in the hybrid automaton representing the plant model. A state feedback solution for the high-level control is provided, based on the off-line construction of an appropriate partition of the state space. (c) 2005 Elsevier Ltd. All rights reserved.

AB - In this contribution we address an optimal control problem for a class of discrete-time hybrid automata under safety and liveness constraints. The solution is based on a hierarchical decomposition of the problem, where the low-level controller enforces safety and liveness constraints while the high-level controller exploits the remaining degrees of freedom for performance optimization. Lower-level control is based on a discrete abstraction of the continuous dynamics. The action of low-level control can be interpreted as restricting invariants in the hybrid automaton representing the plant model. A state feedback solution for the high-level control is provided, based on the off-line construction of an appropriate partition of the state space. (c) 2005 Elsevier Ltd. All rights reserved.

KW - hybrid automata

KW - switched systems

KW - safety constraints

KW - liveness constraints

KW - SUPERVISORY CONTROL

KW - CONTINUOUS SYSTEMS

U2 - 10.1016/j.na.2005.12.024

DO - 10.1016/j.na.2005.12.024

M3 - статья

VL - 65

SP - 1188

EP - 1210

JO - Nonlinear Analysis, Theory, Methods and Applications

JF - Nonlinear Analysis, Theory, Methods and Applications

SN - 0362-546X

IS - 6

Y2 - 3 July 2005 through 8 July 2005

ER -

ID: 5552074