Verification and Synthesis of Timing Contracts for Embedded Controllers - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Verification and Synthesis of Timing Contracts for Embedded Controllers

Antoine Girard
Thao Dang

Résumé

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.
Fichier principal
Vignette du fichier
root.pdf (416.71 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01276251 , version 1 (19-02-2016)

Identifiants

Citer

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. pp.115-124, ⟨10.1145/2883817.2883827⟩. ⟨hal-01276251⟩
355 Consultations
402 Téléchargements

Altmetric

Partager

More