loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Andreas Morgenstern and Klaus Schneider

Affiliation: University of Kaiserslautern, Germany

Keyword(s): Controller Synthesis, Supervisory Control, Discrete Event Systems.

Related Ontology Subjects/Areas/Topics: Control and Supervision Systems ; Discrete Event Systems ; Informatics in Control, Automation and Robotics ; Robotics and Automation ; Signal Processing, Sensors, Systems Modeling and Control

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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.82.44.149

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-2809, SciTePress, pages 24-31. DOI: 10.5220/0001164500240031

@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},
issn={2184-2809},
}

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
IS - 2184-2809
AU - Morgenstern, A.
AU - Schneider, K.
PY - 2005
SP - 24
EP - 31
DO - 10.5220/0001164500240031
PB - SciTePress