discrete event systems
modular control
forbidden state problem
supervisory control
formal specification
automata
Chalmers, Signals and Systems, Systems and control, Automation
Chalmers, Signals and Systems, Systems and control, Automation
Chalmers, Signals and Systems, Systems and control, Automation
1474-6670 (ISSN)
Vol. 10 412-417Computer and Information Science
Production
10.3182/20100830-3-DE-4013.00068
978-390266179-1