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

On the Computation of Natural Observers for Extended Finite Automata

Mohammad Reza Shoaei (Institutionen för signaler och system, Automation) ; Lei Feng ; Bengt Lennartson (Institutionen för signaler och system, Automation)
19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014, Cape Town, South Africa, 24-29 August 2014 (1474-6670). Vol. 19 (2014), p. 2448-2455.
[Konferensbidrag, refereegranskat]

Compared to finite automata, Extended Finite Automata (EFAs) allows us to efficiently represent discrete-event systems that involve non-trivial data manipulation. However, the complexity of designing supervisors for such systems is still a challenge. In our previous works, we have studied model abstraction for EFAs using natural projections with observer property on events as well as data. In this paper, we provide sufficient conditions for verifying the observer properties and further enhance the EFAs when the property does not hold. To this end, we introduce symbolic simplification techniques for data and generalize existing algorithms in the literature for the events to compute natural observers for EFAs. The importance of this combined abstraction and symbolic simplification method is demonstrated by synthesis of a nonblocking controller for an industrial manufacturing system.

Nyckelord: Discrete-event systems; hierarchical control; supervisory control theory

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2013-12-16. Senast ändrad 2016-05-23.
CPL Pubid: 189371


Institutioner (Chalmers)

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



Chalmers infrastruktur