In a timed discrete-event system, events must occur within their respective lower and upper time bounds. A supervisor can disable, enable, or force some events to achieve a given control objective. It is assumed that the supervisor does not observe all events, which is often the case in practice. The concept of observability is generalised to timed discrete-event systems and it is shown that it characterises the existence condition for a supervisor. The normality, a stronger version of observability, is also generalised to timed discrete-event systems, which has nice properties that are absent in observability. Conditions are derived under which observability and normality are equivalent. Two methods are proposed to synthesise a supervisor, a direct approach and an indirect approach. In the second method a supervisor is first synthesised assuming full observation and then modified when some events become unobservable. An example of two trains is given to illustrate the results. The control aim is to prevent the trains from colliding.
Supervisory control of timed discrete-event systems under partial observation
Regelung von Stückgutprozessen bei nicht vollständigen Beobachtungen
IEEE Transactions on Automatic Control ; 40 , 3 ; 558-562
1995
5 Seiten, 4 Bilder, 14 Quellen
Aufsatz (Zeitschrift)
Englisch
Networked Supervisory Control Synthesis of Timed Discrete-Event Systems
BASE | 2021
|Supervisory Control of Discrete-Event Systems
Springer Verlag | 2014
|AIAA-2004-6469 Hierarchical Discrete Event Supervisory Control of Aircraft Propulsion Systems
British Library Conference Proceedings | 2004
|A new Petri-net-based synthesis technique for supervisory control of discrete event systems
BASE | 2002
|