Verification and Synthesis of Timing Contracts for Embedded Controllers
From MaRDI portal
Publication:2988969
DOI10.1145/2883817.2883827zbMath1364.68257OpenAlexW2280039023MaRDI QIDQ2988969
Antoine Girard, Mohammad Al Khatib, Thao Dang
Publication date: 19 May 2017
Published in: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2883817.2883827
Sampled-data control/observation systems (93C57) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Compositional synthesis of state-dependent switching control ⋮ Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
This page was built for publication: Verification and Synthesis of Timing Contracts for Embedded Controllers