Approximate abstraction of stochastic hybrid automata

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

Volumn 3927 LNCS, Issue , 2006, Pages 318-332

  Julius, A Agung ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; AUTOMATION; DYNAMICS; FUNCTIONS; MATRIX ALGEBRA; PROBLEM SOLVING; RANDOM PROCESSES;

JUMP LINEAR STOCHASTIC SYSTEMS (JLSS); LINEAR STOCHASTIC HYBRID AUTOMATA (LSHA); STOCHASTIC BISIMULATION FUNCTION; STOCHASTIC HYBRID AUTOMATON;

AUTOMATA THEORY;

EID: 33745770664     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11730637_25     Document Type: Conference Paper

References (22)

1. Pola, G., Bujorianu, M., Lygeros, J., Benedetto, M.D.: Stochastic hybrid models: an overview. In: Proc, IFAC Conf. Analysis and Design of Hybrid Systems, St. Malo, IFAC (2003)
2. Hespanha, J.P.: Stochastic hybrid systems: applications to communication networks. [21] 387-401
3. Hu, J., Wu, W.C., Sastry, S.: Modeling subtilin production in bacillus subtilis using stochastic hybrid systems. [21] 417-431
4. Glover, W., Lygeros, J.: A stochastic hybrid model for air traffic control simulation. [21] 372-386
5. Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In Lynch, N., Krogh, B.H., eds.: Hybrid Systems: Computation and Control. Volume 1790 of Lecture Notes in Computer Science., Springer Verlag (2000) 160-173
6. Oksendal, B.: Stochastic differential equations: an introduction with applications. Springer-Verlag, Berlin (2000)
7. Ghosh, M.K., Arapostathis, A., Marcus, S.: Ergodic control of switching diffusions. SIAM Journal on Control and Optimization 35(6) (1997) 1952-1988
8. Davis, M.H.A.: Markov models and optimization. Chapman and Hall, London (1993)
9. Bujorianu, M.L., Lygeros, J., Bujorianu, M.C.: Bisimulation for general stochastic hybrid systems. [22] 198-214
10. Strubbe, S., van der Schaft, A.J.: Bisimulation for communicating piecewise deterministic Markov processes. [22] 623-639
11. Ying, M., Wirsing, M.: Approximate bisimilarity. In Rus, T., ed.: AMAST 2000. Volume 1816 of Lecture Notes in Computer Science., Springer Verlag (2000) 309-322
12. Girard, A., Pappas, G.J.: Approximate bisimulation for constrained linear systems, to appear in the Proceedings of the IEEE Conf. Decision and Control (2005)
13. Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Metrics for labelled Markov processes. Theoretical Computer Science 318(3) (2004) 323-354
14. van Breugel, F., Worrell, J.: An algorithm for quantitative verification of probabilistic transition systems. In: Proc. of CONCUR, Aalborg, Springer-Verlag (2001) 336-350
15. Julius, A.A., Girard, A., Pappas, G.J.: Approximate bisimulation for a class of stochastic hybrid systems, submitted to the American Control Conference 2006 (2005)
16. Prajna, S., Jadbabaie, A., Pappas, G.J.: Stochastic safety verification using barrier certificates. In: Proc. 43rd IEEE Conference on Decision and Control, Bahamas, IEEE (2004)
17. Prajna, S., Papachristodoulou, A., Seiler, P., Parillo, P.A.: SOSTOOLS and its control application. In: Positive polynomials in control, Springer - Verlag (2005)
18. Neogi, N.A.: Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis. [21] 463-476
19. Hespanha, J.P.: Polynomial stochastic hybrid systems. [22] 322-338
20. Löfberg, J.: (http://control.ee.ethz.ch/~joloef/yalmip.php)
21. Alur, R., Pappas, G.J., eds.: Hybrid systems: computation and control. Volume 2993 of Lecture Notes in Computer Science., Springer Verlag (2004)
22. Morari, M., Thiele, L., eds.: Hybrid systems: computation and control. Volume 3414 of Lecture Notes in Computer Science., Springer Verlag (2005)