About: Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

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

About: Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata Goto Sponge NotDistinct 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	We propose deterministic timed automata (DTA) as a model-independent language for specifying performance and dependability measures over continuous-time stochastic processes. Technically, these measures are dened as limit frequencies of locations (control states) of a DTA that observes computations of a given stochastic process. Then, we study the properties of DTA measures over semi-Markov processes in greater detail. We show that DTA measures over semi-Markov processes are well-defined with probability one, and there are only finitely many values that can be assumed by these measures with positive probability. We also give an algorithm which approximates these values and the associated probabilities up to an arbitrarily small given precision. Thus, we obtain a general and effective framework for analysing DTA measures over semi-Markov processes. We propose deterministic timed automata (DTA) as a model-independent language for specifying performance and dependability measures over continuous-time stochastic processes. Technically, these measures are dened as limit frequencies of locations (control states) of a DTA that observes computations of a given stochastic process. Then, we study the properties of DTA measures over semi-Markov processes in greater detail. We show that DTA measures over semi-Markov processes are well-defined with probability one, and there are only finitely many values that can be assumed by these measures with positive probability. We also give an algorithm which approximates these values and the associated probabilities up to an arbitrarily small given precision. Thus, we obtain a general and effective framework for analysing DTA measures over semi-Markov processes. (en)
Title	Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata (en)
skos:prefLabel	Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata (en)
skos:notation	RIV/00216224:14330/11:00049786!RIV12-GA0-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1M0545), P(GD102/09/H042), P(GP201/08/P459), Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Brázdil, Tomáš Kučera, Antonín Křetínský, Jan Řehák, Vojtěch Krčál, Jan
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	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	211204
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/11:00049786
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	semi-Markov processes; timed automata (en)
http://linked.open.../riv/klicoveSlovo	semi-Markov processes timed automata
http://linked.open...ontrolniKodProRIV	[B6DDF75BE7D1]
http://linked.open...v/mistoKonaniAkce	Chicago, IL, USA
http://linked.open...i/riv/mistoVydani	New York
http://linked.open...i/riv/nazevZdroje	HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	5 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...vavai/riv/projekt	Institute for Theoretical Computer Science Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems New possibilities in automatic verification of network protocols
http://linked.open...UplatneniVysledku	2011
http://linked.open...iv/tvurceVysledku	Brázdil, Tomáš Krčál, Jan Kučera, Antonín Křetínský, Jan Řehák, Vojtěch
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open...ain/vavai/riv/wos	000290062600005
http://linked.open.../riv/zahajeniAkce	2011-04-12 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
number of pages	10 (xsd:int)
http://purl.org/ne...btex#hasPublisher	ACM
https://schema.org/isbn	978-1-4503-0629-4
http://localhost/t...ganizacniJednotka	14330

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, 24 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software