modular control
supervisory control
formal specification
automata
discrete event systems
forbidden state problem
Signaler och system, System- och reglerteknik, Automation
Signaler och system, System- och reglerteknik, Automation
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