Task-Driven Supervisory Control of Discrete Event Systems
No abstract available.
Related papers
- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit TACAS 2023
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control TACAS 1996
- Transactional concurrency control for intermittent, energy-harvesting computing systems PLDI 2019
- Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control CAV 2025
- Supervisory Control of Finite State Machines CAV 1995
- CIF 3: Model-Based Engineering of Supervisory Controllers TACAS 2014
- Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation Languages TOPLAS 1981
- An Event-Driven Model-View-Controller Framework for Smalltalk OOPSLA 1989