DES abstractions for the supervisory control of hybrid systems

作者：Iordache Marian V^*; Antsaklis Panos J

来源：Transactions of the Institute of Measurement and Control, 2010, 32(5): 468-486.

DOI：10.1177/0142331208097839

• abstraction
• concurrency
• controlled invariants
• hybrid systems
• supervisory control

An examination of the literature results on timed and untimed discrete event system (DES) models reveals clearly that the supervisory control problem is more tractable on untimed models. Thus it is interesting to consider the extent to which untimed DES models can be used to design controllers for dynamical systems. In order to approach a larger class of systems appropriate abstraction methods are necessary as well as some extensions of the untimed supervisory control methods. This paper proposes an abstraction procedure that can be used to extract untimed DES models from hybrid automata models with control inputs and continuous disturbances. The abstractions obtained using this procedure are state machines in which every state corresponds to a region of the state space of the hybrid automaton and transitions between states correspond to transitions between the regions. Results describing properties of the abstraction procedure are obtained, including a semidecidability result. The procedure is useful not only for sequential problems, but also in the context of concurrency.

• 出版日期2010-10