Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

synteza kontroleru

Klíčová slova abecedně | Klíčová slova dle četnosti

Využití protipříkladů v syntéze kontrolerů pro POMDP
 (Jakub Frejlach)

2023, Diplomová práce, Vysoké učení technické v Brně

• http://theses.cz/id//gqnqlv// | Informační technologie a umělá inteligence / | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu
 (Antonín Jarolím)

2023, Bakalářská práce, Vysoké učení technické v Brně

• http://theses.cz/id//2kqcf1// | Informační technologie / | Práce na příbuzné téma

Optimalizace induktivní syntézy kontrolérů pro POMDP s časově omezenými cenami
 (Ondřej Kříž)

2023, Bakalářská práce, Vysoké učení technické v Brně

• http://theses.cz/id//leywjm// | Informační technologie / | Práce na příbuzné téma

Vylepšení syntézy konečně stavových kontrolérů pro POMDP
 (Filip Macák)

2023, Diplomová práce, Vysoké učení technické v Brně

• http://theses.cz/id//1a4tc9// | Informační technologie a umělá inteligence / | Práce na příbuzné téma

Controller Synthesis for Resource-Aware Systems
 (Petr Novotný)

2015, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/m4fqz/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Translation of Linear Temporal Logic to Omega-Automata
 (Tomáš Babiak)

2017, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/wqhsq/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Implementace základních DSP algoritmů na digitální signální kontrolér Motorola 56F805\nl{}
 (Jaroslav STANČÍK)

2008, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně

• http://theses.cz/id//xuk8cp// | Inženýrská informatika / Automatické řízení a informatika | Práce na příbuzné téma