Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness 
Constraints

Seatzu, Carla; Gromov, Dmitry; Raisch, Jörg; Corona, Daniele; Giua, Alessandro

doi:10.1016/j.na.2005.12.024

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

学術論文

Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints

MPS-Authors

/persons/resource/persons86212

Raisch, Jörg
Otto-von-Guericke-Universität Magdeburg, External Organizations;
Systems and Control Theory, Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

公開されているフルテキストはありません

付随資料 (公開)

There is no public supplementary material available

引用

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 & Applications, 65(6), 1188-1210. doi:10.1016/j.na.2005.12.024.

引用: https://hdl.handle.net/11858/00-001M-0000-0013-9B38-3

要旨

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. 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. Copyright © 2005 Elsevier Ltd. All rights reserved. [accessed February 8th 2013]