Estimating State Space Parameters

Název česky Odhadování parametrů stavových prostorů
Autoři ŠIMEČEK Pavel — PELÁNEK Radek
Druh Další prezentace na konferencích
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í jazyk angličtina
Obor Informatika
WWW Technical report on this work
Klíčová slova state space; state space size; estimation

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.

Související projekty:

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

Další info