All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Supervisory control with complete observations

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F13%3A00379763" target="_blank" >RIV/67985840:_____/13:00379763 - isvavai.cz</a>

  • Result on the web

    <a href="http://dx.doi.org/10.1007/978-1-4471-4276-8_3" target="_blank" >http://dx.doi.org/10.1007/978-1-4471-4276-8_3</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1007/978-1-4471-4276-8_3" target="_blank" >10.1007/978-1-4471-4276-8_3</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Supervisory control with complete observations

  • Original language description

    Supervisory control of discrete-event systems, in this chapter modeled as an automaton, is exerted by specifying after each observation the set of enabled events. The automaton then chooses an enabled event, makes a transition and produces the observed event, after which the process repeats. The control objectives of supervisory control are legal behavior and required behavior. Legal behavior is a language, which specifies what the automaton is safely allowed to do. The required behavior is a language,which specifies what the system is required to do, such as the completion of tasks. The main theorem is that there exists a supervisory control such that the language of the controlled automaton equals the specification if and only if the specification is controllable. An algorithm to determine whether a specification is controllable is provided as well as an algorithm to compute the supervisor.

  • Czech name

  • Czech description

Classification

  • Type

    C - Chapter in a specialist book

  • CEP classification

    BA - General mathematics

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/GPP202%2F11%2FP028" target="_blank" >GPP202/11/P028: Decentralized and coordination supervisory control</a><br>

  • Continuities

    I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Others

  • Publication year

    2013

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Book/collection name

    Control of disrete-event systems : automata and Petri Net Perspectives

  • ISBN

    978-1-4471-4275-1

  • Number of pages of the result

    20

  • Pages from-to

    45-64

  • Number of pages of the book

    478

  • Publisher name

    Springer

  • Place of publication

    London

  • UT code for WoS chapter