Trace-based semantics for probabilistic timed I/O automata

Sayan Mitra; Nancy Lynch

doi:10.1007/978-3-540-71493-4_69

Trace-based semantics for probabilistic timed I/O automata

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English (US)
Title of host publication	Hybrid Systems
Subtitle of host publication	Computation and Control - 10th International Conference, HSCC 2007, Proceedings
Publisher	Springer
Pages	718-722
Number of pages	5
ISBN (Print)	9783540714927
DOIs	https://doi.org/10.1007/978-3-540-71493-4_69
State	Published - 2007
Externally published	Yes
Event	10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007 - Pisa, Italy Duration: Apr 3 2007 → Apr 5 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4416 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007
Country/Territory	Italy
City	Pisa
Period	4/3/07 → 4/5/07

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Online availability

10.1007/978-3-540-71493-4_69

Library availability

Discover UIUC Full Text

Cite this

Mitra, S., & Lynch, N. (2007). Trace-based semantics for probabilistic timed I/O automata. In Hybrid Systems: Computation and Control - 10th International Conference, HSCC 2007, Proceedings (pp. 718-722). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4416 LNCS). Springer. https://doi.org/10.1007/978-3-540-71493-4_69

Trace-based semantics for probabilistic timed I/O automata. / Mitra, Sayan; Lynch, Nancy.
Hybrid Systems: Computation and Control - 10th International Conference, HSCC 2007, Proceedings. Springer, 2007. p. 718-722 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4416 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Mitra, S & Lynch, N 2007, Trace-based semantics for probabilistic timed I/O automata. in Hybrid Systems: Computation and Control - 10th International Conference, HSCC 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4416 LNCS, Springer, pp. 718-722, 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, Pisa, Italy, 4/3/07. https://doi.org/10.1007/978-3-540-71493-4_69

Mitra S, Lynch N. Trace-based semantics for probabilistic timed I/O automata. In Hybrid Systems: Computation and Control - 10th International Conference, HSCC 2007, Proceedings. Springer. 2007. p. 718-722. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-71493-4_69

@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",

}

TY - GEN

T1 - Trace-based semantics for probabilistic timed I/O automata

AU - Mitra, Sayan

AU - Lynch, Nancy

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=38049151419&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38049151419&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-71493-4_69

DO - 10.1007/978-3-540-71493-4_69

M3 - Conference contribution

AN - SCOPUS:38049151419

SN - 9783540714927

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 718

EP - 722

BT - Hybrid Systems

PB - Springer

T2 - 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007

Y2 - 3 April 2007 through 5 April 2007

ER -

Trace-based semantics for probabilistic timed I/O automata

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this