Verification and Synthesis of Timing Contracts for Embedded Controllers-Reference-Cited by-同舟云学术

Verification and Synthesis of Timing Contracts for Embedded Controllers

Published:2016-04-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Al Khatib Mohammad¹,Girard Antoine¹,Dang Thao²

Affiliation:

1. L2S, CNRS, CentraleSupélec, Université Paris-Sud, Université Paris-Saclay, Gif-sur-Yvette, France

2. Univ. Grenoble Alpes-CNRS Verimag, Grenoble, France

Funder

Agence Nationale de la Recherche

Publisher

ACM

Link

Reference45 articles.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Verification and synthesis of interconnected embedded control systems under timing contracts;Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control;2019-04-16

4. A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11

5. Timing Contracts for Multi-Core Embedded Control Systems;Control Subject to Computational and Communication Constraints;2018