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

Filters

14 353 (0,197s) •

Project

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...

BC - Teorie a systémy řízení

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

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

, and supervisory control approaches for modular discrete-event systems to networked discrete-event systems to cope with delays and losses in communications channels are reliable and instantaneous...

Automation and control systems

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

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 o...

BC - Teorie a systémy řízení

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

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

of dependable software. Owing the system-theoretical basis of the discrete event systemThe main goal of the proposed project is to demonstrate how the discrete event system theory can co...

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

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

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
Project

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 exis...

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
Project

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

In this research proposal newmethodology for supervisory control timed discrete event systems willbe elaborated. More specifically, decentralized and modular control oflarge distributed timed systems will be studie...

BC - Teorie a systémy řízení

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

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

BD - Teorie informace

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

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...

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

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

Multilevel supervisory control (MUSIC) (LH13012)

The aim of the project is to develop techniques to decrease computational complexity of supervisory control of discrete-event systems with large number of states. Both automata with known modular structure given by the sync...

BC - Teorie a systémy řízení

  • 2013 - 2015
    • •
  • 1 337 tis. Kč
    • •
  • 1 337 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 14 353