About: A New Data Structure Based on Intervals

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: A New Data Structure Based on Intervals Goto Sponge Distinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Traditional approaches to the verification of real-time systems deal with timed models where time is expressed by variables that are compared with explicite values (e.g., integers). Parametric timed and counter models use parameters to define constraints over clocks or counters. Verification of automata with parameters is generally   undecidable. However, it is decidable for some restricted   classes of parametric systems and moreover many practical system outside of these classes may be successfully verified using semi-algorithms. Analysis  mostly depends on the efficient data structure that is used to express behavior of the system. In this paper we discuss data structures used for representation of timed and  counter automata. We introduce a new data structure based on parametrized intervals for counter automata and operation that are needed for verification. This structure makes operations over  parametric counter automata simple in comparison to other approache  Traditional approaches to the verification of real-time systems deal with timed models where time is expressed by variables that are compared with explicite values (e.g., integers). Parametric timed and counter models use parameters to define constraints over clocks or counters. Verification of automata with parameters is generally   undecidable. However, it is decidable for some restricted   classes of parametric systems and moreover many practical system outside of these classes may be successfully verified using semi-algorithms. Analysis  mostly depends on the efficient data structure that is used to express behavior of the system. In this paper we discuss data structures used for representation of timed and  counter automata. We introduce a new data structure based on parametrized intervals for counter automata and operation that are needed for verification. This structure makes operations over  parametric counter automata simple in comparison to other approache (en)
Title	A New Data Structure Based on Intervals A New Data Structure Based on Intervals (en)
skos:prefLabel	A New Data Structure Based on Intervals A New Data Structure Based on Intervals (en)
skos:notation	RIV/00216305:26230/04:PU49304!RIV11-MSM-26230___
http://linked.open...avai/riv/aktivita	N V Z
http://linked.open...avai/riv/aktivity	N, V, Z(MSM 262200012)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Matoušek, Petr
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	553012
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/04:PU49304
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	parametric verification, symbolic data structure, intervals<br> (en)
http://linked.open.../riv/klicoveSlovo	intervals<br> parametric verification symbolic data structure
http://linked.open...ontrolniKodProRIV	[CAE393BAFD89]
http://linked.open...v/mistoKonaniAkce	Brusel
http://linked.open...i/riv/mistoVydani	Bruxelles
http://linked.open...i/riv/nazevZdroje	Proceedings of MOVEP'04
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...UplatneniVysledku	2004
http://linked.open...iv/tvurceVysledku	Matoušek, Petr
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open.../riv/zahajeniAkce	2004-12-13 (xsd:date)
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20262200012
number of pages	6 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Neuveden
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software