Verification and Synthesis of Timing Contracts for Embedded Controllers

Abstract : Timing contracts for embedded controller implementation specify the constraints on the time instants at which certain operations are performed such as sampling, actuation, computation, etc. In this paper, we consider the problem of verifying the stability of embedded control systems under such timing contracts. Reformulating the problem in the framework of impulsive linear systems, we provide theoretical conditions for stability and a verification algorithm based on reachability analysis. In the second part of the paper, given a model of the plant and of the controller we propose an approach to synthesize timing contracts that guarantee stability.
Type de document :
Communication dans un congrès
HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, Apr 2016, Vienna, Austria. 19th ACM International Conference on Hybrid Systems: Computation and Control, pp.115-124, 2016, 〈10.1145/2883817.2883827〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01276251
Contributeur : Antoine Girard <>
Soumis le : vendredi 19 février 2016 - 09:42:07
Dernière modification le : dimanche 22 octobre 2017 - 01:06:33
Document(s) archivé(s) le : vendredi 20 mai 2016 - 10:26:04

Fichier

root.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Mohammad Al Khatib, Antoine Girard, Thao Dang. Verification and Synthesis of Timing Contracts for Embedded Controllers. HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, Apr 2016, Vienna, Austria. 19th ACM International Conference on Hybrid Systems: Computation and Control, pp.115-124, 2016, 〈10.1145/2883817.2883827〉. 〈hal-01276251〉

Partager

Métriques

Consultations de la notice

348

Téléchargements de fichiers

210