binary decision diagrams
state explosion problem
supervisory control synthesis
deadlock avoidance
discrete event systems
symbolic model checking
formal methods
Chalmers, Signaler och system, Reglerteknik och automation
Reglerteknik
Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 434