Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems

Authors:
Rong Su;Jan H. Van Schuppen;Jacobus E. Rooda
Affiliations:
School of Electrical and Electronic Engineering, Nanyang Technological University, 50 Nanyang Avenue, Singapore 639798, Singapore;Centrum voor Wiskunde en Informatica (CWI), PO Box 94079, NL-1090 GB Amsterdam, The Netherlands;Mechanical Engineering Department, Eindhoven University of Technology, PO Box 513, NL-5600 MB Eindhoven, The Netherlands
Venue:
Automatica (Journal of IFAC)
Year:
2012

Citing 9
Cited 0

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language

SIAM Journal on Control and Optimization
An implementation of an efficient algorithm for bisimulation equivalence

Science of Computer Programming
Undecidable problems of decentralized observation and control on regular languages

Information Processing Letters
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems
Modular Synthesis of Discrete Controllers

ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Discrete Event Dynamic Systems
Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution

Discrete Event Dynamic Systems
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence

Automatica (Journal of IFAC)

Quantified Score

Hi-index	22.14

Visualization

Abstract

In supervisor synthesis for discrete-event systems achieving nonblockingness is a major challenge for a large system. To overcome it we present an approach to synthesize a deterministic coordinated distributed supervisor under partial observation, where the plant is modeled by a collection of nondeterministic finite-state automata and the requirement is modeled by a collection of deterministic finite-state automata. Then we provide a sufficient condition to ensure the maximal permissiveness of a coordinated distributed supervisor generated by the proposed synthesis approach.