Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592)

A class of hybrid systems is described in the framework of Willems' behavioral system theory. The authors focus their attention on time-invariant systems with an external discrete-event input/output interface. The requirement of a uniform length of the discrete-valued external signals is dropped. The concept of experiments is briefly discussed as well as the concept a finite state machine realization. An algorithm for solving the supervisory controller synthesis problem is proposed. Also, it is proved, under suitable assumptions, that this algorithm terminates with success after finitely many iterations. This is the main result of the paper. Moreover, six examples are provided to illustrate the proposed approach.