SYNTHESIZING DETERMINISTIC CONTROLLERS IN SUPERVISORY CONTROL

Andreas Morgenstern, Klaus Schneider

2005

Abstract

Supervisory control theory for discrete event systems is based on finite state automata whose inputs are partitioned into controllable and uncontrollable events. Well-known algorithms used in the Ramadge-Wonham framework disable or enable controllable events such that it is finally possible to reach designated final states from every reachable state. However, as these algorithms compute the least restriction on controllable events, their result is usually a nondeterministic automaton that can not be directly implemented. For this reason, one distinguishes between supervisors (directly generated by supervisory control) and controllers that are further restrictions of supervisors to achieve determinism. Unfortunately, controllers that are generated from a supervisor may be blocking, even if the underlying discrete event system is nonblocking. In this paper, we give a modification of a supervisor synthesis algorithm that enables us to derive deterministic controllers. Moreover, we show that the algorithm is both correct and complete, i.e., that it generates a deterministic controller whenever one exists.

Paper Citation

in Harvard Style

Morgenstern A. and Schneider K. (2005). SYNTHESIZING DETERMINISTIC CONTROLLERS IN SUPERVISORY CONTROL . In Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 972-8865-30-9, pages 24-31. DOI: 10.5220/0001164500240031

in Bibtex Style

@conference{icinco05,
author={Andreas Morgenstern and Klaus Schneider},
title={SYNTHESIZING DETERMINISTIC CONTROLLERS IN SUPERVISORY CONTROL},
booktitle={Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2005},
pages={24-31},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001164500240031},
isbn={972-8865-30-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - SYNTHESIZING DETERMINISTIC CONTROLLERS IN SUPERVISORY CONTROL
SN - 972-8865-30-9
AU - Morgenstern A.
AU - Schneider K.
PY - 2005
SP - 24
EP - 31
DO - 10.5220/0001164500240031