Safe controllers design for industrial automation systems

The design of safe industrial controllers is one of the most important domains related to Automation Systems research. To support it, synthesis and analysis techniques are available. Among the analysis techniques, two of the most important are Simulation and Formal Verification. In this paper these...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Computers & industrial engineering 2011-05, Vol.60 (4), p.635-653
Hauptverfasser:	Machado, José, Seabra, Eurico, Campos, José C., Soares, Filomena, Leão, Celina P.
Format:	Artikel
Sprache:	eng
Schlagworte:	Automation Computer simulation Controllers Design engineering Formal verification Formalism Industrial safety Industrial systems behaviour modelling Mathematical models Modelling Operations research Real-time systems Safe controllers Simulation Specifications Studies
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!