Symbolic Data Structure Based on Intervals for Parametric Verification

Czech title

Symbolické datové struktury založené nad intervaly pro parametrickou verifikaci

Type

lecture

Language

English

Authors

Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)

URL

http://www.fit.vutbr.cz/~matousp/doc/2005/phcubes2005.pdf

Keywords

symbolic data structure, parametric verification, intervals

Abstract

Successful analysis of timed systems with parameters depends mostly on the efficiency of data representation. Traditional approaches are based on parametric DBMs (TReX) or polyhedra (Hytech). Here, we introduce a new data structure based on intervals and operation over it. This structure reduces the space needed for data, simplifies some operations and extends expressivity of constraints on transitions in comparison to other approaches. The design and implemention of this structure is the core of author's PhD. thesis.

Annotation

Successful analysis of timed systems with parameters depends mostly on the efficiency of data representation. Traditional approaches are based on parametric DBMs (TReX) or polyhedra (Hytech). Here, we introduce a new data structure based on intervals and operation over it. This structure reduces the space needed for data, simplifies some operations and extends expressivity of constraints on transitions in comparison to other approaches. The design and implemention of this structure is the core of author's PhD. thesis.

Published

2005

Pages

30

Place

Seminary UIFS, FIT VUT Brno

BibTeX

@misc{BUT64635,
  author="Petr {Matoušek}",
  title="Symbolic Data Structure Based on Intervals for Parametric Verification",
  year="2005",
  pages="30",
  address="Seminary UIFS, FIT VUT Brno",
  url="http://www.fit.vutbr.cz/~matousp/doc/2005/phcubes2005.pdf",
  note="lecture"
}