Skip to Main content Skip to Navigation
Book sections

Contrôle des systèmes temporisés

Résumé : Ce chapitre traite de la synthèse de contrôleurs pour les systèmes temporisés. Par systèmes temporisés nous entendons les systèmes dans lesquels des contraintes de temps quantitatives sont spécifées. Les notions de base que nous utilisons dans ce chapitre s'appuient sur les concepts introduits dans les chapitre 3 et chapitre 4 ; la lecture de ces chapitres est donc recommandée au lecteur qui ne connaitrait pas les fondements des automates temporisés.
Document type :
Book sections
Complete list of metadata

Cited literature [44 references]  Display  Hide  Download

https://hal.inria.fr/inria-00493630
Contributor : Franck Cassez Connect in order to contact the contributor
Submitted on : Monday, June 21, 2010 - 4:12:33 AM
Last modification on : Wednesday, April 27, 2022 - 3:42:37 AM
Long-term archiving on: : Wednesday, September 22, 2010 - 5:51:07 PM

File

afsec-book-control.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00493630, version 1

Citation

Franck Cassez, Nicolas Markey. Contrôle des systèmes temporisés. Roux, Olivier H. and Jard, Claude. Systèmes embarqués -- Approches formelles, Hermes Science, pp.105--144, 2008, Traite IC2. ⟨inria-00493630⟩

Share

Metrics

Record views

78

Files downloads

79