An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems

R. Su, J.H. Schuppen, van, J.E. Rooda

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)

    Abstract

    Recently supervisor synthesis for nondeterministic systems has gained more and more attention, owing to the potential computational advantage of using nondeterministic automata in modular/distributed synthesis. It is well known that, in the Ramadge/Wonham language-based supervisory control paradigm, the supremal nonblocking normal supervisor always exists (although may be empty) and is computable. In this paper we will show that, for a nondeterministic plant model and a deterministic specification, a similar entity called the supremal nonblocking state-normal supervisor also exists, which coincides with the supremal nonblocking normal supervisor when the plant model becomes deterministic. We then present a concrete algorithm to compute such a supervisor and analyze the relevant computational complexity.
    Original languageEnglish
    Title of host publicationThe 17th Mediterranean Conference on Control and Automation (MED'09), June 24-26, 2009, Thessaloniki Greece
    Place of PublicationPiscataway
    PublisherInstitute of Electrical and Electronics Engineers
    Pages1120-1125
    ISBN (Print)978-1-4244-4684-1
    DOIs
    Publication statusPublished - 2009

    Fingerprint Dive into the research topics of 'An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems'. Together they form a unique fingerprint.

  • Cite this

    Su, R., Schuppen, van, J. H., & Rooda, J. E. (2009). An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems. In The 17th Mediterranean Conference on Control and Automation (MED'09), June 24-26, 2009, Thessaloniki Greece (pp. 1120-1125). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/MED.2009.5164696