Change search
ReferencesLink to record
Permanent link

Direct link
Abstractions for nonblocking supervisory control of Extended Finite Automata
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0001-5703-5923
2012 (English)In: Automation Science and Engineering (CASE), 2012 IEEE International Conference on, IEEE , 2012, 364-370 p.Conference paper (Refereed)
Abstract [en]

An abstraction method for Extended Finite Automata (EFAs), i.e., finite automata extended with variables, using transition projection is presented in this work. A manufacturing system modeled by EFAs is abstracted into subsystems that embody internal interacting dependencies. Synthesis and verification of subsystems are achieved through their model abstractions rather than their global model. Sufficient conditions are presented to guarantee that supervisors result in maximally permissive and nonblocking control. An examples demonstrate the computational effectiveness and practical usage of the approach.

Place, publisher, year, edition, pages
IEEE , 2012. 364-370 p.
, IEEE International Conference on Automation Science and Engineering, ISSN 2161-8070
National Category
Engineering and Technology
URN: urn:nbn:se:kth:diva-116839DOI: 10.1109/CoASE.2012.6386446ScopusID: 2-s2.0-84872523494ISBN: 978-146730428-3OAI: diva2:601013
2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012, 20 August 2012 through 24 August 2012, Seoul

QC 20130128

Available from: 2013-01-28 Created: 2013-01-28 Last updated: 2013-01-28Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Feng, Lei
By organisation
Engineering and Technology

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

Altmetric score

Total: 18 hits
ReferencesLink to record
Permanent link

Direct link