Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

19 294 (0,105s)

Výsledek výzkumu

On tick automata for distributed timed DESs with synchronisations and minimal time constraints

Automation and control systems

  • 2023
  • D
  • Odkaz
Výsledek výzkumu

Coordination control of distributed discrete-event systems

BA - Obecná matematika

  • 2015
  • C
  • Odkaz
Výsledek výzkumu

WODES 2022

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2022
  • M
  • Odkaz
Výsledek výzkumu

Discussion on Supervisory Control of Discrete Event Systems with Dynamical Marking Attribution

BA - Obecná matematika

  • 2004
  • Jx
Výsledek výzkumu

On transformations among opacity notions

Automation and control systems

  • 2022
  • D
  • Odkaz
Výsledek výzkumu

Representation of time Petri nets using interval weighted automata

Automation and control systems

  • 2023
  • D
  • Odkaz
Výsledek výzkumu

A note on controllability of deterministic context-free systems

BA - Obecná matematika

  • 2012
  • Jx
  • Odkaz
Výsledek výzkumu

Supervisory control of discrete-event systems

BA - Obecná matematika

  • 2015
  • C
  • Odkaz
Výsledek výzkumu

Complexity of detectability, opacity and A-diagnosability for modular discrete event systems

Pure mathematics

  • 2019
  • Jimp
  • Odkaz
Výsledek výzkumu

Complexity of infimal observable superlanguages

Automation and control systems

  • 2018
  • Jimp
  • Odkaz
  • 1 - 10 z 19 294