Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique

Résumé : Hypothèse de travail. Les systemes de transitions. Contrôleurs à commandes gardées. Les reseaux de Petri en tant que contrôleurs. Analyse des propriétés logiques des reseaux de Petri. La notion de place implicite : deux applications. Analyse des proprietes dynamiques : les reseaux de petri temporisés.
Document type :
Theses
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1979. Français


https://tel.archives-ouvertes.fr/tel-00010598
Contributor : Thèses Imag <>
Submitted on : Thursday, October 13, 2005 - 9:56:10 AM
Last modification on : Monday, March 21, 2016 - 5:49:58 PM
Document(s) archivé(s) le : Friday, April 2, 2010 - 10:53:01 PM

Identifiers

  • HAL Id : tel-00010598, version 1

Collections

Citation

Joseph Sifakis. Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1979. Français. <tel-00010598>

Export

Share

Metrics

Record views

384

Document downloads

105