Automatica · 2007 · 29 citations · 10 references
Specification LanguageEngineeringControl StructureAutomationFormal MethodsProcess ControlSystems EngineeringSupervisory ControlComputer ScienceFormal Verification
10
The control of discrete event systems
Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations
Event-driven Architecture, Engineering, Discrete Event Systems +16
Formulas for calculating supremal controllable and normal sublanguages
Robert Brandt, Vijay K. Garg, Ratnesh Kumar et al. · Systems & Control Letters · 1990 · 173 citations