Skip to Main content Skip to Navigation
Journal articles

Modal Specifications for the Control Theory of Discrete Event Systems

Guillaume Feuillade 1 Sophie Pinchinat 2
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00555754
Contributor : Sophie Pinchinat <>
Submitted on : Friday, January 14, 2011 - 1:18:11 PM
Last modification on : Wednesday, June 16, 2021 - 3:35:09 AM

Identifiers

  • HAL Id : inria-00555754, version 1

Citation

Guillaume Feuillade, Sophie Pinchinat. Modal Specifications for the Control Theory of Discrete Event Systems. Discrete Event Dynamic Systems, Springer Verlag, 2007, 17 (2), pp.211-232. ⟨inria-00555754⟩

Share

Metrics

Record views

381