k 2008

Estimating State Space Parameters

ŠIMEČEK, Pavel and Radek PELÁNEK

Basic information

Original name

Estimating State Space Parameters

Name in Czech

Odhadování parametrů stavových prostorů

Authors

ŠIMEČEK, Pavel (203 Czech Republic) and Radek PELÁNEK (203 Czech Republic, guarantor)

Edition

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

Other information

Language

English

Type of outcome

Prezentace na konferencích

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Hungary

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

RIV identification code

RIV/00216224:14330/08:00024337

Organization unit

Faculty of Informatics

Keywords in English

state space; state space size; estimation

Tags

Tags

International impact
Změněno: 25/11/2008 14:57, RNDr. Pavel Šimeček, Ph.D.

Abstract

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.

In Czech

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.

Links

GA201/06/1338, research and development project
Name: Automatizovaná verifikace softwaru
Investor: Czech Science Foundation, Automated software verification
GP201/07/P035, research and development project
Name: Automatická analýza modelů pomocí procházení stavového prostoru
Investor: Czech Science Foundation, Automatic model analysis by state space exploration
MSM0021622419, plan (intention)
Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1ET408050503, research and development project
Name: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems