Abstract
CPDP is a class of automata designed for compositional specification/analysis of certain stochastic hybrid processes. We prove equivalence of the stochastic behaviors of CPDPs (newly defined here) and PDPs. With this result we obtain a clear stochastic processes semantics for CPDPs and we obtain the opportunity to use the powerful PDP analysis techniques in the context of the compositional framework CPDP.
Original language | Undefined |
---|---|
Title of host publication | Proceedings of the 16th IFAC World Congress |
Editors | P Horacek, M Simandl, P Zitek |
Place of Publication | Prague |
Publisher | International Federation of Automatic Control |
Pages | 25-30 |
Number of pages | 6 |
ISBN (Print) | 0-08-045108-X |
Publication status | Published - Jul 2005 |
Event | 16th IFAC World Congress 2005 - Prague, Czech Republic Duration: 3 Jul 2005 → 8 Jul 2005 Conference number: 16 http://www.utia.cas.cz/news/608 |
Publication series
Name | |
---|---|
Publisher | Elsevier |
Volume | 16 |
Conference
Conference | 16th IFAC World Congress 2005 |
---|---|
Country/Territory | Czech Republic |
City | Prague |
Period | 3/07/05 → 8/07/05 |
Internet address |
Keywords
- EWI-16868
- compositional specification
- Hybrid systems
- (Communicating) Piecewise Deterministic Markov Processes
- IR-69169
- METIS-225131