TY - GEN

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

AU - Gromov, D

AU - Mayer, E

AU - Raisch, J

AU - Corona, D

AU - Seatzu, C

AU - Giua, A

PY - 2005

Y1 - 2005

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 optimisation. 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.

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 optimisation. 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.

KW - SUPERVISORY CONTROL

KW - SYSTEMS

M3 - статья в сборнике материалов конференции

SN - 0-7803-8936-0

SP - 243

EP - 249

BT - 2005 IEEE International Symposium on Intelligent Control & 13th Mediterranean Conference on Control and Automation, Vols 1 and 2

PB - IEEE Canada

Y2 - 27 June 2005 through 28 June 2005

ER -