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

711 (0,139s) •

Project

Decentralized control of weighted automata (MEB020729)

control of concurrent weighted automata. Its application can avoid the combinatorial products of automata). Weighted automata (e.g. (max,+) automata and some classes is to propose methods for con...

BC - Teorie a systémy řízení

  • 2008 - 2008
    • •
  • 33 tis. Kč
    • •
  • 33 tis. Kč
    • •
  • MŠMT
Project

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

obstacle for application of supervisory control inindustry. Weighted automata (e.g. (max,+) automata, interval automata, and otherclasses of timed automata) model......

BC - Teorie a systémy řízení

  • 2011 - 2013
    • •
  • 986 tis. Kč
    • •
  • 986 tis. Kč
    • •
  • GA ČR
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 results. Nowada...

BC - Teorie a systémy řízení

  • 2003 - 2004
    • •
  • 134 tis. Kč
    • •
  • 134 tis. Kč
    • •
  • GA ČR
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

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

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

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 as automata

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 applicable in formal verification and analysis of dynamic systems. The central idea is to explore connections between automata, SAT/SMT solving, and prog...

IN - Informatika

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

Pattern matching using finite automata (GP201/01/P082)

The project leads from 192 problems of pattern matching published in 1997 and classified using six-dimensional space, which is a unified view to various pattern matching problems, and from the simulation of nondeterministic finite automata. ...

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

  • 2001 - 2003
    • •
  • 456 tis. Kč
    • •
  • 425 tis. Kč
    • •
  • GA ČR
Project

Structure and its impact for recognition (GAP103/10/0783)

in the field of neural networks and restarting automata. Several types of problems from or restarting automata can be used to approach their solution. Our goals are:Design new and sensitivity analysis in BP-networks).Extend the ori...

BD - Teorie informace

  • 2010 - 2014
    • •
  • 2 769 tis. Kč
    • •
  • 2 769 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 711