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

Zhennan Fei, Knut kesson, Bengt Lennartson

Browse the full ICRA paper archive.