hide
Free keywords:
-
Abstract:
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 of Willems’ behavioural systems theory.
© 1999 Elsevier Science B.V. All rights reserved. [accessed 2014 April 1st]
