Designing dependable logic controllers using the supervisory control theory - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Designing dependable logic controllers using the supervisory control theory

Résumé

In this paper we deal with the problem of designing a controller for a discrete event system. We argue that the classical approach of supervisory control theory (SCT) can be used as an essential step of such a procedure. However, some of the features that make supervisory control an attractive paradigm to solve theoretical problems are often a major source of difficulty in implementing a controller: such is the case, for instance, of the abstraction level usually considered in SCT. We define a method to obtain the correct abstraction level and present a procedure to design a controller using SCT. This approach is applied to a simple but realistic example: an automatic gate.
Fichier principal
Vignette du fichier
2005_IFAC_roussel_giua.pdf (342.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00344918 , version 1 (06-12-2008)

Identifiants

  • HAL Id : hal-00344918 , version 1

Citer

Jean-Marc Roussel, Alessandro Giua. Designing dependable logic controllers using the supervisory control theory. Proceedings of the 16th IFAC World Congress, Jul 2005, Praha, Czech Republic. CDROM paper n°04427. ⟨hal-00344918⟩
162 Consultations
301 Téléchargements

Partager

Gmail Facebook X LinkedIn More