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”

Filters

14 147 (0,125s)

Project

Integrated Verification and Falsification of Hybrid Systems of Industrial Size (GCP202/12/J060)

into the stage of testing the correctness of the system design. The notion of a hybrid system, allow techniques for formal verification of hybrid systems to handle systems verificationand automat...

IN - Informatika

  • 2012 - 2014
  • 2 535 tis. Kč
  • 2 535 tis. Kč
  • GA ČR
Project

Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology (GC201/08/J020)

for the verification of hybrid systems. The motivation for studying hybrid systems comes from the fact that in modern technical systems, embedded computing devices are ubiquitous.These can be modelled usi...

IN - Informatika

  • 2008 - 2010
  • 2 280 tis. Kč
  • 2 280 tis. Kč
  • GA ČR
Project

Host-parasite interactions in hybrid systems of cyprinid fish (GAP505/10/1138)

-parasite interactions were studied only for a few hybridizing systems. The goal of proposed project is to investigate these interactions in two hybrid systems of cyprinidInterspecies hybridization is a co...

EH - Ekologie – společenstva

  • 2010 - 2014
  • 3 042 tis. Kč
  • 3 042 tis. Kč
  • GA ČR
Project

New structures and control algorithms of mobile hybrid systems (GA102/08/0775)

Systems of hybrid vehicle drives are based on complex control of energy flow. Efficiencydepends on drives system configuration and primarily on drive system control algorithms. Drive control of hybrid vehi...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2008 - 2010
  • 997 tis. Kč
  • 997 tis. Kč
  • GA ČR
Project

Plasma torch with hybrid stabilization of arc for plasma spraying and pyrolysis of waste materials (TA01010300)

Realisation of plasma system with hybrid stabilization of arc: - Plasma system 160 kW for plasma spraying - Plasma system 160 kW for reactors for pyrolysis and vitrification of wastes and gasification of biomass Ba...

BL - Fyzika plasmatu a výboje v plynech

  • 2011 - 2013
  • 19 170 tis. Kč
  • 15 301 tis. Kč
  • TA ČR
Project

Hybrid System of Electronic Toll Collection (CG743-107-120)

The R&D, design and testing of new hybrid solution of electronic toll collection system....

BC - Teorie a systémy řízení

  • 2007 - 2010
  • 5 250 tis. Kč
  • 4 442 tis. Kč
  • MD
Project

Study of optoelectronic processes in hybrid systems for third generation solar cells (LTC17029)

in systems for 3rd generation solar cells. The investigation includes materials on the basis of inorganic systems (silicon structures, perovskites, quantum dots) as well as hybrid systems with conductive polymers...

BM - Fyzika pevných látek a magnetismus

  • 2017 - 2019
  • 3 600 tis. Kč
  • 3 600 tis. Kč
  • MŠMT
Project

Control Synthesis and Formal Verification of Complex Hybrid Systems (LH11065)

synthesis and formal verification of complex hybrid systems with specialization towards robotic systems. One of the key points of the cooperation is to establish conditions to design of new methods and techniques for contr...

IN - Informatika

  • 2011 - 2014
  • 2 506 tis. Kč
  • 2 506 tis. Kč
  • MŠMT
Project

Decentralized Control of Large Scale Systems (IAA2075304)

arising in nonlinear and hybrid interconnected dynamic systems including uncertainties Systems", whwre however no hybrid systems were considered. of interconnected systems, decentralized design o...

BC - Teorie a systémy řízení

  • 2003 - 2007
  • 2 688 tis. Kč
  • 1 728 tis. Kč
  • AV ČR
Project

Interplay between chemical and plasmon-induced processes in plasmonic metal nanoparticles-molecules hybrid systems (GA17-05007S)

The main goal of the project is elucidation of the mechanisms of the chemical and of the plasmon-induced processes in plasmonic metal nanoparticles/molecules hybrid systems in the selected plasmonic metal NPs molecules hybrid

CF - Fyzikální chemie a teoretická chemie

  • 2017 - 2019
  • 6 313 tis. Kč
  • 5 706 tis. Kč
  • GA ČR
  • 1 - 10 out of 14 147