Deadlock Detection and Controller Synthesis for Production Systems Using Partial Order Techniques
Paper in proceedings, 1999

Discrete event systems can be used to model the behaviour of production systems. The supervisory control theory is a suitable tool for synthesising controllers that coordinate the resource utilisation of concurrent products in the production system. Due to the combinatorial state space explosion, computations become intractable for most real life systems. To alleviate this problem, methods that do not enumerate the entire state space are needed. One method that has proven valuable for the verification of concurrent systems is based on partial order principles. For a certain class of production systems it is shown how such ideas may be used to synthesise non-blocking discrete event controllers.

Author

Anders Hellgren

Chalmers, Signals and Systems, Control and Automation Laboratory

Martin Fabian

Chalmers, Signals and Systems, Control and Automation Laboratory

Bengt Lennartson

Chalmers, Signals and Systems, Control and Automation Laboratory

Proceedings of the 1999 IEEE International Conference on Control Applications, Kohala Coast, Hawaii, USA

Subject Categories

Computer and Information Science

DOI

10.1109/CCA.1999.801189

More information

Created

10/7/2017