Estimating State Space Parameters

ŠIMEČEK, Pavel a Radek PELÁNEK. Estimating State Space Parameters. Online. In 7th International Workshop on Parallel and Distributed Methods in verifiCation. 2008, [citováno 2024-04-24]

Základní údaje

• Originální název: Estimating State Space Parameters
• Název česky: Odhadování parametrů stavových prostorů
• Autoři: ŠIMEČEK, Pavel (203 Česká republika) a Radek PELÁNEK (203 Česká republika, garant)
• Vydání: 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Prezentace na konferencích
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Maďarsko
• Utajení: není předmětem státního či obchodního tajemství
• WWW: Technical report on this work
• Kód RIV: RIV/00216224:14330/08:00024337
• Organizační jednotka: Fakulta informatiky
• Klíčová slova anglicky: state space; state space size; estimation
• Štítky: estimation, state space, state space size
• Příznaky: Mezinárodní význam

Anotace

We introduce the problem of estimation of state space parameters, argue that it is an interesting and practically relevant problem, and study several simple estimation techniques. Particularly, we focus on estimation of the number of reachable states. We study techniques based on sampling of the state space and techniques that employ data mining techniques (classification trees, neural networks) over parameters of breadth-first search. We show that even through the studied techniques are not able to produce exact estimates, it is possible to obtain useful information about a state space by sampling and to use this information to automate the verification process.

Anotace česky

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.

Návaznosti

• GA201/06/1338, projekt VaV: Název: Automatizovaná verifikace softwaru

Investor: Grantová agentura ČR, Automatizovaná verifikace softwaru

• GP201/07/P035, projekt VaV: Název: Automatická analýza modelů pomocí procházení stavového prostoru

Investor: Grantová agentura ČR, Automatická analýza modelů pomocí procházení stavového prostoru

• MSM0021622419, záměr: Název: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy

• 1ET408050503, projekt VaV: Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů

Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů