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”
CS
ČeštinaEnglish

Filtry

1 436 (0,115s) •

Projekt

Modular and Decentralized Control of Discrete-Event and Hybrid Systems with Communication (GA15-02532S)

Discrete-event systems represent an important class of dynamical systems with discrete state spaces and event-driven dynamics. For large systems, methods discretizations will be considered. Decentralized ...

BC - Teorie a systémy řízení

  • 2015 - 2017
    • •
  • 1 353 tis. Kč
    • •
  • 1 353 tis. Kč
    • •
  • GA ČR
Projekt

Verification and Control of Networked Discrete-Event Systems (LTAUSA19098)

The aim of this project is to extend current diagnosis, verification, and supervisory control approaches for modular discrete-event systems to networked discrete-event systems to cope with delays and losses in comm...

Automation and control systems

  • 2020 - 2022
    • •
  • 3 963 tis. Kč
    • •
  • 3 963 tis. Kč
    • •
  • MŠMT
Projekt

Supervisory control of large distributed discrete event systems (KJB100190609)

This project aims at studying logical and timed discrete event systems using methods from universal coalgebra and idempotent algebra with special focus on supervisory control of large distributed systems. Methods of idempotent algeb...

BC - Teorie a systémy řízení

  • 2006 - 2008
    • •
  • 255 tis. Kč
    • •
  • 255 tis. Kč
    • •
  • AV ČR
Projekt

Real-time Intelligent Control Discrete-event Models and Algorithms (IA27558)

BD - Teorie informace

  • 1992 - 1994
    • •
  • 0 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • AV ČR
Projekt

Complexity reduction methods for discrete event system control models and algorithms (IAA2075505)

JA - Elektronika a optoelektronika, elektrotechnika

  • 1995 - 1997
    • •
  • 318 tis. Kč
    • •
  • 318 tis. Kč
    • •
  • AV ČR
Projekt

Discrete event theory application in development of dependable software (GA102/96/1671)

The main goal of the proposed project is to demonstrate how the discrete event system theory can contribute to the development of dependable software (especially for reactive systems) resulting in higher quality and effectiveness of...

JC - Počítačový hardware a software

  • 1996 - 1998
    • •
  • 586 tis. Kč
    • •
  • 412 tis. Kč
    • •
  • GA ČR
Projekt

Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems (GC19-06175J)

Current approaches for control of timed discrete-event systems (DES) with dense real time only deal with monolithic plants, which means that their control suffers from high complexity and even decidability issues (non existence of ...

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

  • 2019 - 2022
    • •
  • 4 381 tis. Kč
    • •
  • 4 183 tis. Kč
    • •
  • GA ČR
Projekt

Decentralized supervisory control of timed automata (GAP103/11/0517)

protocols, where not only ordering butalso timing of discrete events is important. BothIn this research proposal newmethodology for supervisory control timed discrete event systems willbe elaborated. More specific...

BC - Teorie a systémy řízení

  • 2011 - 2013
    • •
  • 986 tis. Kč
    • •
  • 986 tis. Kč
    • •
  • GA ČR
Projekt

DISCRETE-EVENT SIMULATION OF THE INTERIOR TRANSPORT AT ASSEMBLING (MEB090813)

The main goal of a bi-lateral project between both applying institutions is to exchange experiences and results of research work on the field of planning and analyzing material flow systems in manufacturing, production and assembly processes using co...

JD - Využití počítačů, robotika a její aplikace

  • 2008 - 2009
    • •
  • 42 tis. Kč
    • •
  • 42 tis. Kč
    • •
  • MŠMT
Projekt

Random discrete structures (GJ20-27757Y)

The project focuses on problems in the overlap of discrete mathematics and probability theory. We consider basic discrete structures: graphs, digraphs, trees, population dynamics, etc. We will study randomly generated discrete

Pure mathematics

  • 2020 - 2023
    • •
  • 7 890 tis. Kč
    • •
  • 7 890 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 1 436