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

96 (0,132s) •

Projekt

Decentralizované řízení vážených automatů (MEB020729)

decentralizovaného řízení konkurentních vážených automatů (weighted automata), jejichž aplikace systémům (jako např. paralelním součinům automatů). Vážené automaty (např. tzv. (max,+) automaty a třídy časovaných a...

BC - Teorie a systémy řízení

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

Překlad formulí Lineární temporální logiky na omega-automaty (7AMB14FR016)

pracovníků zabývajících se překladem LTL na omega-automaty. V rámci projektu tak, aby výsledné automaty měly žádoucí vlastnosti. Cílem tohoto výzkumu je lepší vhled do vztahů mezi LTL, odpovídajícími automaty a jejich apli...

IN - Informatika

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

Decentralizované supervizní řízení časovaných automatů (GAP103/11/0517)

. Vážené automaty (např. tzv. (max,+) automaty, intervalové automaty a další třídy, a to decentralizované řízení a koordinační řizení, kdy lokální řídící automaty komunikují......

BC - Teorie a systémy řízení

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

Efektivní konečné automaty pro automatické usuzování (LL1908)

Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzor...

Automation and control systems

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

Automaty a logiky v symbolické verifikaci software. (MEB021023)

Vědeckým cílem projektu je významně přispět ke zlepšení obecnosti a škálovatelnosti současných symbolických metod verifikace nekonečně stavových programů založených na využití logik a/nebo automatů. Za tím účelem budou jednak zkoumány možnosti zlepše...

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

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

Prostory funkcí, váhové nerovnosti a interpolace (GA201/08/0383)

Podstatou tohoto projektu je intenzívní výzkum vlastností důležitých prostorů funkcí, vztahů mezi různými prostory funkcí, chování operátorů na prostorech funkcí. Tyto vědecké disciplíny se prudce rozvíjejí a výsledky nacházejí široké uplatnění v teo...

BA - Obecná matematika

  • 2008 - 2012
    • •
  • 3 030 tis. Kč
    • •
  • 3 030 tis. Kč
    • •
  • GA ČR
Projekt

Prostory funkcí a aproximace (GA18-00580S)

Budeme studovat důležité vlastnosti rozličných prostorů funkcí a operátorů působících na těchto prostorech. Budeme klást důraz na optimalitu získaných výsledků. Budeme budovat nové algoritmy s aplikacemi v moderní teorii aproximací. Budeme se věnovat...

Pure mathematics

  • 2018 - 2021
    • •
  • 8 409 tis. Kč
    • •
  • 6 558 tis. Kč
    • •
  • GA ČR
Projekt

Algebraické metody v teorii automatů a formálních jazyků II (GA201/09/1313)

Charakterizace významných tříd jazyků syntaktickými strukturami a logikami, studium tříd průsekových automatů, studium implicitních jazykových rovnic, stavová složitost operací s dvoucestnými automaty, q-teorie Prezentace na prestižních konf...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
Projekt

Koalgebra a řízení systémů s diskrétními událostmi (GP201/03/P077)

V posledních desetiletích se studovalo dohlížecí řízení v případě logických automatů a za pomoci algebraických metod. Automaty a jejich různá rozšíření se mohou. Dnes se objevujepotřeba zabývat se kvantitativními modely jako jsou například v...

BC - Teorie a systémy řízení

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

HEY PIZZA - Automat na přípravu pizzy z čerstvých surovin (FX04030035_3269)

Cílem je vyvinout a uvést na trh výdejní automat na přípravu čerstvé italské pizzy = velkokapacitní stroj (např. do kantýn, škol, univerzit, stadionů, nemocnic, dopravních uzlů - letiště, nádraží apod.). Technicky jde o velmi složitou operac...

Electrical and electronic engineering

  • 2023 - 2024
    • •
  • 0 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
  • 1 - 10 z 96