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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Supervisory control of timed discrete-event systems under partial observation


    Additional title:

    Regelung von Stückgutprozessen bei nicht vollständigen Beobachtungen


    Contributors:
    Lin, F. (author) / Wonham, W.M. (author)

    Published in:

    Publication date :

    1995


    Size :

    5 Seiten, 4 Bilder, 14 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Networked Supervisory Control Synthesis of Timed Discrete-Event Systems

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

    Free access

    Supervisory Control of Discrete-Event Systems

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


    Timed Stability of Timed Discrete-Event Systems

    Mochiyama, H. / Hiraishi, K. | British Library Online Contents | 2001


    Decentralized Supervisory Control of Fuzzy Discrete Event Systems

    Liu, F. / Qiu, D. | British Library Online Contents | 2008


    Hierarchical Discrete Event Supervisory Control of Aircraft Propulsion Systems

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