Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams
Paper in proceedings, 2005

Efficient analysis and controller synthesis in the context of Discrete-Event Systems (DES) is discussed in this paper. We consider efficient reachability search for solving common problems in the Supervisory Control Theory (SCT). The search is based on symbolic computations including crucial partitioning techniques. Finally, the efficiency of the presented algorithms is demonstrated on a set of hand-made and real-world industrial systems.

supervisory control

Discrete-event systems

reachability search

symbolic computation

Author

Arash Vahidi Mazinani

Chalmers, Signals and Systems, Systems and control, Automation

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control, Automation

Martin Fabian

Chalmers, Signals and Systems, Systems and control, Automation

Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on

2751 - 2756

Subject Categories

Control Engineering

More information

Created

10/7/2017