@inproceedings{6d5922ac964b4c939c47c81ac5c900ff,
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 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.",
author = "Dmitry Gromov and Eckart Mayer and J{\"o}rg Raisch and Daniele Corona and Carla Seatzu and Alessandro Giua",
year = "2005",
doi = "10.1109/.2005.1467022",
language = "English",
isbn = "0780389360",
series = "Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05",
pages = "243--249",
booktitle = "Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05",
note = "20th IEEE International Symposium on Intelligent Control, ISIC '05 and the13th Mediterranean Conference on Control and Automation, MED '05 ; Conference date: 27-06-2005 Through 29-06-2005",
}