Supervisory Control of Finite State Machines
Abstract elided by the publisher.
Related papers
- Task-Driven Supervisory Control of Discrete Event Systems CAV 1990
- CIF 3: Model-Based Engineering of Supervisory Controllers TACAS 2014
- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit TACAS 2023
- A Distributed Alternative to Finite-State-Machine Specifications TOPLAS 1985
- Timed Automata Verification and Synthesis via Finite Automata Learning TACAS 2023
- Over-Approximation of Weakly-Hard Constraints for Control Systems Verification CAV 2026
- Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed ICFP 1998
- An Automated Proof Technique for Finite-State Machine Equivalence CAV 1991