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

Designing dependable logic controllers using the supervisory control theory

GIUA, ALESSANDRO
Ultimo
2005-01-01

Abstract

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
2005
978-008045108-4
Logic control systems, Supervisory control theory, Dependabilility, Implementation, Programmable Logic Controller (PLC)
File in questo prodotto:
File Dimensione Formato  
05ifac_c.pdf

Solo gestori archivio

Tipologia: versione editoriale
Dimensione 342.31 kB
Formato Adobe PDF
342.31 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/27194
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 36
  • ???jsp.display-item.citation.isi??? ND
social impact