Odhadování parametrů stavových prostorů

Základní údaje

Originální název Estimating State Space Parameters
Autoři

Další údaje

Citace ŠIMEČEK, Pavel a Radek PELÁNEK. Estimating State Space Parameters. In 7th International Workshop on Parallel and Distributed Methods in verifiCation. 2008.
Originální název angličtina
Obor Informatika
WWW
Druh Další prezentace na konferencích
Klíčová slova state space; state space size; estimation

Anotace

Představujeme problém odhadu parametrů stavových prostorů, uvádíme argumenty, proč je to zajímavý a prakticky relevantní problém a zkoumámem několik jednoduchých odhadovacích technik. Obzvláště se zaměřujeme na odhady počtu dosažitelných stavů. Zkoumáme techniky založené na vzorkování stavových prostorů a techniky, které zapojují techniky z oblasti dolování dat (klasifikační stromy, neoronové sítě) na parametry prohledávání do šířky. Ukazujeme, že i když zkoumané techniky nejsou schopny vydat přesné odhady, je možno získat užitečné informace o stavovém prostoru vzorkováním a využít této informace k automatizaci ověřovacího procesu.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info