Supervisor synthesis based on abstractions of nondeterministic automata

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
2008 2008 9th International Workshop on Discrete Event Systems  
Blockingness is one of the major obstacles that need to be overcome in the Ramadge-Wonham supervisory synthesis paradigm, especially for systems of industrial size. Owing to the high computational complexity, synthesizing a nonblocking supervisor for a large scale system is never easy, if still possible. In this paper we attempt to solve this synthesis problem by using abstractions. We first introduce a new abstraction operation, which preserves the nonblocking property. Then we describe how to
more » ... we describe how to synthesize supervisors by using abstractions of relevant automata so that the high computational complexity associated with the synchronous product described in the Ramadge-Wonham supervisory control theory (SCT) may be avoided.
doi:10.1109/wodes.2008.4605981 fatcat:lw5z7xpelrh53f2wmtasnbbi64