@inproceedings{d943d96f2fc54cc896a100a6034808d0,
title = "Trace-based semantics for probabilistic timed I/O automata",
abstract = "We describe the main features of the Probabilistic Timed I/O Automata (PTIOA) - a framework for modeling and analyzing discretely communicating probabilistic hybrid systems. A PTIOA can choose the post-state of a discrete transition either nondeterministically or according to (possibly continuous) probability distributions. The framework supports modeling of large systems as compositions of concurrently executing PTIOAs, which interact through shared transition labels. We develop a trace-based semantics for PTIOAs and show that PTIOAs are compositional with respect a new notion of external behavior.",
author = "Sayan Mitra and Nancy Lynch",
year = "2007",
doi = "10.1007/978-3-540-71493-4_69",
language = "English (US)",
isbn = "9783540714927",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "718--722",
booktitle = "Hybrid Systems",
address = "Germany",
note = "10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007 ; Conference date: 03-04-2007 Through 05-04-2007",
}