Synthesizing nonblocking distributed supervisors based on automaton abstraction

@article{Su2008SynthesizingND,
  title={Synthesizing nonblocking distributed supervisors based on automaton abstraction},
  author={Rong Su and Jan H. van Schuppen and J. E. Rooda},
  journal={2008 47th IEEE Conference on Decision and Control},
  year={2008},
  pages={883-888}
}
Blockingness is one of the major obstacles that need to be overcome in the Ramadge-Wonham supervisory synthesis paradigm. Owing to the high computational complexity usually resulted from synchronous product, it is difficult to synthesize a nonblocking supervisor for a large scale system. In this paper we aim to overcome this difficulty by presenting a… CONTINUE READING