This HTML5 document contains 52 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n19http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n10http://purl.org/net/nknouf/ns/bibtex#
n9http://localhost/temp/predkladatel/
n6http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F11%3A00049786%21RIV12-GA0-14330___/
n5http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/resource/domain/vavai/subjekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
n21http://linked.opendata.cz/resource/domain/vavai/zamer/
n17https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n23http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n16http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F11%3A00049786%21RIV12-GA0-14330___
rdf:type
skos:Concept n13:Vysledek
dcterms: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.
dcterms:title
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
skos:prefLabel
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
skos:notation
RIV/00216224:14330/11:00049786!RIV12-GA0-14330___
n13:predkladatel
n14:orjk%3A14330
n3:aktivita
n4:P n4:Z
n3:aktivity
P(1M0545), P(GD102/09/H042), P(GP201/08/P459), Z(MSM0021622419)
n3:dodaniDat
n16:2012
n3:domaciTvurceVysledku
n5:9668780 n5:9872655 n5:1762834 n5:8986371 n5:3503054
n3:druhVysledku
n23:D
n3:duvernostUdaju
n12:S
n3:entitaPredkladatele
n15:predkladatel
n3:idSjednocenehoVysledku
211204
n3:idVysledku
RIV/00216224:14330/11:00049786
n3:jazykVysledku
n20:eng
n3:klicovaSlova
semi-Markov processes; timed automata
n3:klicoveSlovo
n18:timed%20automata n18:semi-Markov%20processes
n3:kontrolniKodProRIV
[B6DDF75BE7D1]
n3:mistoKonaniAkce
Chicago, IL, USA
n3:mistoVydani
New York
n3:nazevZdroje
HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control
n3:obor
n22:IN
n3:pocetDomacichTvurcuVysledku
5
n3:pocetTvurcuVysledku
5
n3:projekt
n6:GP201%2F08%2FP459 n6:GD102%2F09%2FH042 n6:1M0545
n3:rokUplatneniVysledku
n16:2011
n3:tvurceVysledku
Kučera, Antonín Krčál, Jan Brázdil, Tomáš Křetínský, Jan Řehák, Vojtěch
n3:typAkce
n19:WRD
n3:wos
000290062600005
n3:zahajeniAkce
2011-04-12+02:00
n3:zamer
n21:MSM0021622419
s:numberOfPages
10
n10:hasPublisher
ACM
n17:isbn
978-1-4503-0629-4
n9:organizacniJednotka
14330