Abstract | ||
---|---|---|
To get industrial acceptance of supervisory control theory, there is a need to bridge the gap between the signal-based 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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/CDC.2007.4434894 | CDC |
Keywords | Field | DocType |
discrete event systems,finite automata,discrete event system modeling,event-based supervisory control framework,extended automata,supervisory control theory,supervisory control | Quantum finite automata,Mathematical optimization,Automata theory,Expression (mathematics),Supervisory control,Computer science,Discrete event dynamic system,Supervisory control theory,Finite-state machine,Control engineering,Theoretical computer science,ω-automaton | Conference |
ISSN | ISBN | Citations |
0191-2216 E-ISBN : 978-1-4244-1498-7 | 978-1-4244-1498-7 | 63 |
PageRank | References | Authors |
2.78 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Skoldstam, M. | 1 | 63 | 2.78 |
Knut Åkesson | 2 | 302 | 33.72 |
Martin Fabian | 3 | 204 | 27.91 |