Change search
ReferencesLink to record
Permanent link

Direct link
On the computation of natural observers for extended finite automata
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0001-5703-5923
2014 (English)In: IFAC Proceedings Volumes (IFAC-PapersOnline), 2014, 2448-2455 p.Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2014. 2448-2455 p.
Keyword [en]
Discrete-event systems, Hierarchical control, Supervisory control theory
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:kth:diva-175130ScopusID: 2-s2.0-84929832940ISBN: 9783902823625OAI: diva2:861394
19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014, 24 August 2014 through 29 August 2014

QC 20151016

Available from: 2015-10-16 Created: 2015-10-09 Last updated: 2015-10-16Bibliographically approved

Open Access in DiVA

No full text


Search in DiVA

By author/editor
Feng, Lei
By organisation
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 22 hits
ReferencesLink to record
Permanent link

Direct link