Zhennan Fei, Knut Åkesson, Bengt Lennartson. Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory. In IEEE International Conference on Robotics and Automation, ICRA 2011, Shanghai, China, 9-13 May 2011. pages 4364-4369, IEEE, 2011. [doi]
Abstract is missing.