Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory
Paper in proceedings, 2011

Supervisory Control Theory (SCT) is a model-based framework for automatically synthesizing a supervisor that minimally restricts the behavior of a plant such that a given specification is fulfilled. A problem, which prevents SCT from having a major breakthrough industrially, is that the supervisory synthesis often suffers from the state-space explosion problem. To alleviate this problem, a well-known strategy is to represent and explore the state-space symbolically by using Binary Decision Diagrams. Based on this principle, an efficient symbolic state-space traversal approach, depending on the disjunctive partitioning technique, is presented and the correctness of it is proved. Finally, the efficiency of the presented approach is demonstrated on a set of benchmark examples.

Author

Zhennan Fei

Chalmers, Signals and Systems, Systems and control, Automation

Knut Åkesson

Chalmers, Signals and Systems, Systems and control, Automation

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control, Automation

2011 IEEE International Conference on Robotics and Automation (ICRA)

1050-4729 (ISSN)

4364 - 4369

Subject Categories

Production Engineering, Human Work Science and Ergonomics

Control Engineering

Areas of Advance

Production

DOI

10.1109/ICRA.2011.5980008

ISBN

978-1-61284-386-5

More information

Created

10/7/2017