Modal Specifications for the Control Theory of Discrete Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2007

Modal Specifications for the Control Theory of Discrete Event Systems

Guillaume Feuillade
Logique, Interaction, Langue et Calcul
Sophie Pinchinat
System synthesis and supervision, scenarios
CV

Domaines

Informatique et théorie des jeux [cs.GT]

Sophie Pinchinat  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00555754

Soumis le : vendredi 14 janvier 2011-13:18:11

Dernière modification le : lundi 20 novembre 2023-11:44:22

Fichier non déposé

Dates et versions

inria-00555754 , version 1 (14-01-2011)

Identifiants

  • HAL Id : inria-00555754 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-TLSE2 UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA UT1-CAPITOLE IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE IRIT IRIT-LILAC UR1-MATH-NUM IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
131 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More