• DocumentCode
    3733230
  • Title

    On a distributed computation of supervisors in modular supervisory control

  • Author

    Jan Komenda;Tom?? Masopust;J. H. van Schuppen

  • Author_Institution
    Institute of Mathematics, Academy of Sciences of the Czech Republic, ?i?kova 22, 616 62 Brno, Czech Republic, Technische Universit?t Dresden, Germany
  • fYear
    2015
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    We discuss a supervisory control problem of modular discrete-event systems that admits a distributed computation of supervisors. We provide a characterization and an algorithm to compute the supervisors. If the specification cannot be reached, we make use of a relaxation of coordination control to compute a sublanguage of the specification for which the supervisors can be computed in a distributed way.
  • Keywords
    "Generators","Supervisory control","Closed loop systems","Discrete-event systems","Safety","Computational modeling","Automata"
  • Publisher
    ieee
  • Conference_Titel
    Complex Systems Engineering (ICCSE), 2015 International Conference on
  • Type

    conf

  • DOI
    10.1109/ComplexSys.2015.7385990
  • Filename
    7385990
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3733230