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
A structural approach to the non-blocking supervisory control of discrete-event systems
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.).ORCID iD: 0000-0001-5703-5923
2009 (English)In: The International Journal of Advanced Manufacturing Technology, ISSN 0268-3768, E-ISSN 1433-3015, Vol. 41, no 11-12, 1152-1168 p.Article in journal (Refereed) Published
Abstract [en]

Many practical and important systemic properties of manufacturing systems, like deadlock freeness, liveness, and reversibility, can be formulated as the non-blocking property of discrete-event systems. It can be difficult, however, to verify non-blocking or design a supervisor to guarantee non-blocking control because of state size explosion in the concurrency model. In this paper, we present sufficient conditions for the computation of (small) model abstractions that preserve the non-blocking property. As a consequence, hierarchical and decentralized control structures can be flexibly integrated, and the proposed approach can synthesize maximally permissive and non-blocking control with reduced computational effort. The solution is a group of decentralized supervisors that transparently displays control logic and admits relatively simple implementation.

Place, publisher, year, edition, pages
2009. Vol. 41, no 11-12, 1152-1168 p.
Keyword [en]
Supervisory control, Discrete-event systems, Non-blocking control
National Category
Production Engineering, Human Work Science and Ergonomics Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-32216DOI: 10.1007/s00170-008-1555-9ISI: 000264598200011Scopus ID: 2-s2.0-63449136182OAI: oai:DiVA.org:kth-32216DiVA: diva2:409832
Note
QC 20110411Available from: 2011-04-11 Created: 2011-04-11 Last updated: 2017-12-11Bibliographically 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
Machine Design (Dept.)
In the same journal
The International Journal of Advanced Manufacturing Technology
Production Engineering, Human Work Science and ErgonomicsElectrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 40 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