Supervisory control of hybrid systems within a behavioural framework

摘要

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