Verification and Synthesis of Timing Contracts for Embedded Controllers

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

zbMATH Keywords

stabilityreachabilitysampled-data systemsimpulsive linear systems

Mathematics Subject Classification ID

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