Supervisory control of hybrid systems within a behavioural framework

✍ Scribed by T. Moor; J. Raisch

• Publisher: Elsevier Science
• Year: 1999
• Tongue: English
• Weight: 145 KB
• Volume: 38
• Category: Article
• ISSN: 0167-6911
• DOI: 10.1016/s0167-6911(99)00061-4

✦ Synopsis

This contribution addresses the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor can they be represented by ÿnite state machines. We ÿnd an l-complete approximation (abstraction) l for , represent it by a ÿnite state machine, and investigate the control problem for the approximation. If a solution exists, we synthesize the maximally permissive supervisor for l . We show that it also solves the control problem for the hybrid system . If no solution exists, approximation accuracy can be increased by computing a k-complete abstraction k ; k ¿ l. This paper is entirely set within the framework on Willems' behavioural systems theory.