CIF 3: Model-Based Engineering of Supervisory Controllers
Abstract elided by the publisher.
Related papers
- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit TACAS 2023
- Task-Driven Supervisory Control of Discrete Event Systems CAV 1990
- Supervisory Control of Finite State Machines CAV 1995
- Neural reverse engineering of stripped binaries using augmented control flow graphs OOPSLA 2020
- Less is more: unparser-completeness of metalanguages for template engines GPCE 2011
- Automated metamodel augmentation for seamless model evolution tracking and planning GPCE 2019
- Error propagation analysis for file systems PLDI 2009
- Modular Control Plane Verification via Temporal Invariants PLDI 2023