CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Modeling of Discrete Event Systems using Finite Automata With Variables

Markus Sköldstam (Institutionen för signaler och system, Automation) ; Knut Åkesson (Institutionen för signaler och system, Automation) ; Martin Fabian (Institutionen för signaler och system, Automation)
Proceedings of the 46th IEEE Conference on Decision and Control (2007)
[Artikel, refereegranskad vetenskaplig]

To get industrial acceptance of supervisory control theory, there is a need to bridge the gap between the signalbased industrial reality and the event-based supervisory control framework. This paper tries to do this by introducing a modeling formalism with automata extended with variables, guard expressions and action functions. The formalism is suitable for modeling plants and specifications in the supervisory control framework. An algorithm that transforms a set of extended automata into a set of ordinary automata with equivalent behavior, is presented. This allows the user to model complex behaviors with a compact representation, and at the same time use existing algorithms for analysis.



Denna post skapades 2008-01-02. Senast ändrad 2016-02-01.
CPL Pubid: 64212

 

Institutioner (Chalmers)

Institutionen för signaler och system, Automation (2005-2017)

Ämnesområden

Information Technology

Chalmers infrastruktur