Verification and synthesis of interconnected embedded control systems under timing contracts

DOI10.1145/3302504.3311799MaRDI QIDQ5239238zbMATH OpenOpenAlexWikidataFDO

Authors Mohammad Al Khatib, Majid Zamani

Publication date 22 October 2019

Published in Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3302504.3311799

zbMATH Keywords

embedded controlinput-to-state stabilityinterconnected systemsparameter synthesissampled-data systems

Mathematics Subject Classification ID

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)

Recommendations

• Verification and synthesis of timing contracts for embedded controllers
• Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
• Scheduling of embedded controllers under timing contracts
• Schedule verification and synthesis for embedded real-time components
• A contract negotiation scheme for safety verification of interconnected systems

Cited in

(1)

• A contract negotiation scheme for safety verification of interconnected systems

This page was built for publication: Verification and synthesis of interconnected embedded control systems under timing contracts

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