Structured modeling of concurrent stochastic hybrid systems

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

Volumn 3253, Issue , 2004, Pages 309-324

  Bernadsky, Mikhail ^a   Sharykin, Raman ^a   Alur, Rajeev ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS; HYBRID SYSTEMS; MODELING LANGUAGES; REAL TIME SYSTEMS; TIME SHARING SYSTEMS;

HIERARCHICAL DESCRIPTION; HYBRID AUTOMATONS; MODELING ENVIRONMENTS; PARALLEL COMPOSITION; STOCHASTIC DIFFERENTIAL EQUATIONS; STOCHASTIC DYNAMICS; STOCHASTIC HYBRID SYSTEMS; STRUCTURED SPECIFICATION;

STOCHASTIC SYSTEMS;

EID: 33745776093     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30206-3_22     Document Type: Article

References (21)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, 91(1), 2003.
3. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specifications of hybrid systems in CHARON. In Hybrid Systems: Computation and Control, Third Intl. Workshop, LNCS 1790, pages 6-19, 2000.
4. M. Bujorianu. Extended stochastic hybrid systems and their reachability problem. In Hybrid Systems: Computation and Control, 7th Intl. Workshop, LNCS 2993, pages 234-249, 2003.
5. P. D'Argenio, H. Hermanns, J.-P. Katoen, and R. Klaren. Modest - a modeling and description language for stochastic timed systems. In Proc. of the PAPMPROBMIV Joint Intl. Workshop, LNCS 2165, pages 87-104, 2001.
6. M.H.A. Davis. Markov processes and optimization. Chapman & Hall, 1993.
7. Eurocontrol Experimental Centre. User manual for the base of aircraft data (BADA) revision 3.3, 2003.
8. M.K. Ghosh, A. Araposthasis, and S.I. Marcus. Ergodic control of switched diffusions. SIAM Journal on Control Optimization, 35(6):1952-1988, 1997.
9. W. Glover and J. Lygeros. A stochastic hybrid model for air traffic control simulation. In Hybrid Systems: Computation and Control, Seventh Intl. Workshop, LNCS 2993, pages 372-386, 2004.
10. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978.
11. J. Hu, J. Lygeros, and S. Sastry. Towards a theory of stochastic hybrid systems. In Hybrid Systems: Computation and Control, Third Intl. Workshop, LNCS 1790, pages 160-173, 2000.
12. P. Lincoln and A. Tiwari. Symbolic systems biology: Hybrid modeling and analysis of biological networks. In Hybrid Systems: Computation and Control, 7th Intl. Workshop, LNCS 2993, pages 660-672, 2004.
13. G. Lowe. Probabilistic and prioritized models of Timed CSP. Theoretical Computer Science, 138(2):315-332, 1995.
14. N.A. Lynch, R. Segala, and F.W. Vaandrager. Hybrid I/O automata. Information and Computation, 185(1) :105-157, 2003.
15. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 447-484, 1991.
16. P.A. Meyer. Renaissance, recollectments, mélanges, ralentissement de processus de markov. Annales de l'institut Fourier, 25(3-4):465-497, 1975.
17. R. Milner. A Calculus of Communicating Systems. LNCS 92. Springer, 1980.
18. G. Norman, D. Parker, M. Kwiatkowska, S. Shukla, and R. Gupta. Using probabilistic model checking for dynamic power management. In Proc. of Third Workshop on Automated Verification of Critical Systems, 2003.
19. B. Øksendal. Stochastic Differential Equations. Springer-Verlag, 2003.
20. G. Pola, M. Bujorianu, J. Lygeros, and M. Di Benedetto. Stochastic hybrid systems: An overview. In Proc. of the IFAC Conference on Analysis and Design of Hybrid Systems, pages 45-50, 2003.
21. T. Simunic, L. Behini, P. Glynn, and G. De Micheli. Dynamic power management for portable systems. In Mobile computing and networking, 6th Intl. Conference, 2000.