Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control
No abstract available.
Related papers
- Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control CAV 2025
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants CAV 2017
- Synthesis of Universal Safety Controllers TACAS 2025
- Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling CAV 2002
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems CAV 2020
- Hyperstream processing systems: nonstandard modeling of continuous-time signals POPL 2013
- Functional reactive programming from first principles PLDI 2000