Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory

Z. Fei, K. Akesson, B. Lennartson
2011 2011 IEEE International Conference on Robotics and Automation  
Supervisory Control Theory (SCT) is a modelbased 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
more » ... ms. 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.
doi:10.1109/icra.2011.5980008 dblp:conf/icra/FeiAL11 fatcat:2zk734r5a5bjppxmw26ol4k4nu