Compositional safety rules for inter-triggering hybrid automata
DOI10.1145/3447928.3456659OpenAlexW3138917074MaRDI QIDQ6201581FDOQ6201581
Authors: Glen Chou, Necmiye Ozay 
Publication date: 21 February 2024
Published in: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3447928.3456659
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Set invariance in control
- Title not available (Why is that?)
- Hybrid I/O automata.
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
- Compositional synthesis via a convex parameterization of assume-guarantee contracts
- Inter-triggering hybrid automata
This page was built for publication: Compositional safety rules for inter-triggering hybrid automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6201581)
