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 partial observations

The result's identifiers

  • Result code in IS VaVaI

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

  • Result on the web

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

  • DOI - Digital Object Identifier

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

Alternative languages

  • Result language

    angličtina

  • Original language name

    Supervisory control with partial observations

  • Original language description

    In discrete-event systems it is often not realistic to assume that all events of such a system are observable. This is either because some events are typically not directly observable from their very nature (such as failure events, internal hidden eventsetc.) or it is too costly to have sensors and observe every event that can occur in the system. Therefore, supervisory control with partial observations has been developed to cope with the additional difficulty of having unobservable events in discrete-event systems. The theory, including the concept of a deterministic observer automaton, necessary and sufficient conditions on a specification language to be achievable as the language of the closed-loop system, formulas and algorithms for computation ofsublanguages satisfying these conditions, are presented and illustrated by several examples.

  • 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/GAP103%2F11%2F0517" target="_blank" >GAP103/11/0517: Decentralized supervisory control of timed automata</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

    65-84

  • Number of pages of the book

    478

  • Publisher name

    Springer

  • Place of publication

    London

  • UT code for WoS chapter