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

7 486 (0,159s) •

Project

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

to coordination supervisory control of large automata with product structure based on multi-level communication structure. Both logical automata and those stemming from discretizations will be considered. Decentralized sup...

BC - Teorie a systémy řízení

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

Automata and Logic for Symbolic Verification of Software (MEB021023)

The scientific goal of the proposed project is to significantly advance the state of the art in the area of symbolic logic-based and automata-based verification to further improve the various individual logic-based as well ...

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

  • 2010 - 2011
    • •
  • 121 tis. Kč
    • •
  • 121 tis. Kč
    • •
  • MŠMT
Project

Efficient Automata Techniques for Formal Reasoning (GJ16-24707Y)

The project focuses on development of efficient algorithms for finite automata is to explore connections between automata, SAT/SMT solving, and program verification. We the domain of automata but also the other mentioned ar...

IN - Informatika

  • 2016 - 2019
    • •
  • 8 142 tis. Kč
    • •
  • 8 142 tis. Kč
    • •
  • GA ČR
Project

Efficient Finite Automata for Automated Reasoning (LL1908)

This project aims at delivering a strong push towards unleashing the theoretical potential of finite automata in practical applications in automated reasoning such as software and hardware analysis and verification or pattern matching. Inves...

Automation and control systems

  • 2020 - 2024
    • •
  • 35 585 tis. Kč
    • •
  • 35 585 tis. Kč
    • •
  • MŠMT
Project

Translation of Linear Temporal Logic to Omega-Automata (7AMB14FR016)

by mobilityof researchers working in the area of LTL to omega-automata translations. Within the project, the cooperating teams will identify desired properties of omega-automata-automata with the desired properties. Goal o...

IN - Informatika

  • 2014 - 2015
    • •
  • 84 tis. Kč
    • •
  • 84 tis. Kč
    • •
  • MŠMT
Project

Coalgebra and discrete event control (GP201/03/P077)

In the last decades supervisory control of logical automata has been studied using algebraic methods. Automata and their various extensions can be studied within the framework of universal coalgebra that leads to new result...

BC - Teorie a systémy řízení

  • 2003 - 2004
    • •
  • 134 tis. Kč
    • •
  • 134 tis. Kč
    • •
  • GA ČR
Project

Automata for Decision Procedures and Verification (GA19-24397S)

Research in finite automata is constantly delivering results potentially useful is, however, limited by the insufficient scalability of automata technology. Since the efficiency problems are rooted in the very basic concepts of ...

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

  • 2019 - 2023
    • •
  • 8 460 tis. Kč
    • •
  • 6 551 tis. Kč
    • •
  • GA ČR
Project

Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures (GA14-11384S)

verification approaches based on automata and/or logics. When working on the project expertise with abstract regular model checking, tree and forest automata, separation logic and symbolic memory graphs, predicate...

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

  • 2014 - 2016
    • •
  • 5 775 tis. Kč
    • •
  • 5 775 tis. Kč
    • •
  • GA ČR
Project

Formal methods for analysis and verification of complex systems (GAP202/10/1469)

-deterministic choice, real-time constraints, etc. However, real-world systems are usually with other behavioural aspects, such as non-deterministic choice, real-time, interaction of such systems will be investigated, including stoc...

IN - Informatika

  • 2010 - 2014
    • •
  • 7 332 tis. Kč
    • •
  • 7 332 tis. Kč
    • •
  • GA ČR
Project

Decentralized control of weighted automata (MEB020729)

products of automata). Weighted automata (e.g. (max,+) automata and some classes of timed automata) are used to model flexible manufacturing systems. Our goal is to propose methods for control of weighted...

BC - Teorie a systémy řízení

  • 2008 - 2008
    • •
  • 33 tis. Kč
    • •
  • 33 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 7 486