Contrôle des systèmes temporisés - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2008

Contrôle des systèmes temporisés

Abstract

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.

Keywords

Fichier principal
Vignette du fichier
afsec-book-control.pdf (532.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00493630 , version 1 (21-06-2010)

Identifiers

  • HAL Id : inria-00493630 , version 1

Cite

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⟩
82 View
93 Download

Share

Gmail Facebook X LinkedIn More