Attributes | Values |
---|
rdf:type
| |
Description
| - In the paper the idea of timed automata simulator is introduced. The proposed simulator is an extension of the UPPAAL tool simulator. Instead of choosing transition to be performed randomly or manually, the simulator calculates transition times according to transition guard and state invariant for each transition. A probability density function, which is needed for such calculation, is formally added to each edge of the automaton. Described procedure can reveal realistic behavior of the system modeled by the automaton. Within the paper the concept of a state-space tracing is shown on a case-study.
- In the paper the idea of timed automata simulator is introduced. The proposed simulator is an extension of the UPPAAL tool simulator. Instead of choosing transition to be performed randomly or manually, the simulator calculates transition times according to transition guard and state invariant for each transition. A probability density function, which is needed for such calculation, is formally added to each edge of the automaton. Described procedure can reveal realistic behavior of the system modeled by the automaton. Within the paper the concept of a state-space tracing is shown on a case-study. (en)
|
Title
| - Stochastic Timed Automata Simulator
- Stochastic Timed Automata Simulator (en)
|
skos:prefLabel
| - Stochastic Timed Automata Simulator
- Stochastic Timed Automata Simulator (en)
|
skos:notation
| - RIV/00216305:26220/10:PU86649!RIV10-MSM-26220___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GD102/09/H081), Z(MSM0021630503)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26220/10:PU86649
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Timed automata, Probabilistic simulation, Simulator, UPPAAL PRO, UPPAAL extension (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Proceedings of the 4th European Computing Conference
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Bradáč, Zdeněk
- Kaczmarczyk, Václav
- Šír, Michal
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |