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.
Type de document :
Chapitre d'ouvrage
Roux, Olivier H. and Jard, Claude. Systèmes embarqués -- Approches formelles, Hermes Science, pp.105--144, 2008, Traite IC2
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00493630
Contributeur : Franck Cassez <>
Soumis le : lundi 21 juin 2010 - 04:12:33
Dernière modification le : jeudi 11 janvier 2018 - 06:20:51
Document(s) archivé(s) le : mercredi 22 septembre 2010 - 17:51:07

Fichier

afsec-book-control.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

135

Téléchargements de fichiers

73