k 2008

Estimating State Space Parameters

ŠIMEČEK, Pavel a Radek PELÁNEK

Základní údaje

Originální název

Estimating State Space Parameters

Název česky

Odhadování parametrů stavových prostorů

Autoři

Vydání

7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Další údaje

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í

Odkazy

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

Příznaky

Mezinárodní význam
Změněno: 25. 11. 2008 14:57, RNDr. Pavel Šimeček, Ph.D.

Anotace

ORIG CZ

V originále

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.

Č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ů