discrete event systems
modular control
forbidden state problem
supervisory control
formal specification
automata
Chalmers, Signaler och system, System- och reglerteknik, Automation
Chalmers, Signaler och system, System- och reglerteknik, Automation
Chalmers, Signaler och system, System- och reglerteknik, Automation
1474-6670 (ISSN)
Vol. 10 412-417Data- och informationsvetenskap
Produktion
10.3182/20100830-3-DE-4013.00068
978-390266179-1