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

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata

Zhennan Fei (Institutionen för signaler och system, Automation) ; Sajed Miremadi (Institutionen för signaler och system, Automation) ; Knut Åkesson (Institutionen för signaler och system, Automation) ; Bengt Lennartson (Institutionen för signaler och system, Automation)
Ieee Transactions on Control Systems Technology (1063-6536). Vol. 22 (2014), 6, p. 2368-2375.
[Artikel, refereegranskad vetenskaplig]

The state-space explosion problem, resulting from the reachability computations in controller synthesis, is one of the main obstacles preventing supervisory control theory from having an industrial breakthrough. To alleviate this problem, a strategy is to symbolically perform the synthesis procedure using binary decision diagrams. Based on this principle, the work presented in this brief develops an efficient symbolic reachability approach for discrete event systems that are modeled as finite automata with variables, referred to as extended finite automata. Using a disjunctive event partitioning technique, the proposed approach first partitions the transition relation of the considered system into a set of partial transition relations. These partial transition relations are then selected systematically to perform the reachability analysis, which is the most fundamental challenge for synthesizing supervisors. It has been shown through solving a set of benchmark supervisory control problems for EFA that the proposed approach significantly improves scalability in comparison with the previously published results.

Nyckelord: Binary decision diagrams (BDDs); extended finite automata (EFA); partitioning techniques; reachability analysis; supervisory control theory (SCT)



Denna post skapades 2015-01-05. Senast ändrad 2015-01-16.
CPL Pubid: 209546

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)

Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för signaler och system, Automation

Ämnesområden

Reglerteknik

Chalmers infrastruktur