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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Supervisory control of timed discrete-event systems under partial observation


    Weitere Titelangaben:

    Regelung von Stückgutprozessen bei nicht vollständigen Beobachtungen


    Beteiligte:
    Lin, F. (Autor:in) / Wonham, W.M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1995


    Format / Umfang :

    5 Seiten, 4 Bilder, 14 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Networked Supervisory Control Synthesis of Timed Discrete-Event Systems

    Rashidinejad, Aida / Reniers, Michel A. / Fabian, Martin | BASE | 2021

    Freier Zugriff

    Supervisory Control of Discrete-Event Systems

    Komenda, Jan / Masopust, Tomáš | Springer Verlag | 2014


    Hierarchical Discrete Event Supervisory Control of Aircraft Propulsion Systems

    Yasar, Murat / Tolani, Devendra / Ray, Asok et al. | AIAA | 2004


    AIAA-2004-6469 Hierarchical Discrete Event Supervisory Control of Aircraft Propulsion Systems

    Ray, A. / Shah, N. / Litt, J. et al. | British Library Conference Proceedings | 2004