Verification and synthesis of timing contracts for embedded controllers

DOI10.1145/2883817.2883827MaRDI QIDQ2988969zbMATH OpenOpenAlexWikidataFDO

Authors Mohammad Al Khatib, Antoine Girard, 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

impulsive linear systemsreachabilitysampled-data systemsstability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Sampled-data control/observation systems (93C57)

Recommendations

• Scheduling of embedded controllers under timing contracts
• Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
• Schedule verification and synthesis for embedded real-time components
• On the synthesis of discrete controllers for timed systems
• Template-based controller synthesis for timed systems

Cited in

(7)

• Compositional synthesis of state-dependent switching control
• Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
• Schedule verification and synthesis for embedded real-time components
• Verification and synthesis of interconnected embedded control systems under timing contracts
• Scheduling of embedded controllers under timing contracts
• Verification of Giotto based embedded control systems
• Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming

This page was built for publication: Verification and synthesis of timing contracts for embedded controllers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988969)