Abstractions for nonblocking supervisory control of Extended Finite Automata
2012 (English)In: Automation Science and Engineering (CASE), 2012 IEEE International Conference on, IEEE , 2012, 364-370 p.Conference paper (Refereed)
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
Engineering and Technology
IdentifiersURN: urn:nbn:se:kth:diva-116839DOI: 10.1109/CoASE.2012.6386446ScopusID: 2-s2.0-84872523494ISBN: 978-146730428-3OAI: oai:DiVA.org:kth-116839DiVA: 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 201301282013-01-282013-01-282013-01-28Bibliographically approved