Abstract
In Ramadge-Wonham supervisory control theory we often need to check nonconflict of plants and corresponding synthesized supervisors. For a large system such a check imposes a great computational challenge because of the complexity incurred by composition of plants and supervisors. In this paper we present a novel procedure based on automaton abstractions, which removes internal transitions of relevant automata at each step, allowing the nonconflict check to be performed on relatively small automata, even though the original system can be fairly large.
Original language | English |
---|---|
Title of host publication | Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary |
Place of Publication | Piscataway |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 1997-2002 |
Number of pages | 6 |
ISBN (Print) | 978-3-9524173-9-3 |
Publication status | Published - 2009 |
Event | 10th European Control Conference, ECC 2009 - Budapest, Hungary Duration: 23 Aug 2009 → 26 Aug 2009 Conference number: 10 http://www.conferences.hu/ecc09/ |
Conference
Conference | 10th European Control Conference, ECC 2009 |
---|---|
Abbreviated title | ECC 2009 |
Country/Territory | Hungary |
City | Budapest |
Period | 23/08/09 → 26/08/09 |
Internet address |
Keywords
- Automaton abstraction
- Discrete-event systems
- Nonconflict
- Nondeterministic finitestate automata