Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
Series
IEEE International Conference on Automation Science and Engineering, ISSN 2161-8070
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:kth:diva-116839DOI: 10.1109/CoASE.2012.6386446Scopus ID: 2-s2.0-84872523494ISBN: 978-146730428-3 (print)OAI: oai:DiVA.org:kth-116839DiVA: diva2:601013
Conference
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
Funder
Vinnova
Note

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

Authority records BETA

Feng, Lei

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 37 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf