Markov set-chains as abstractions of stochastic hybrid systems

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

Volumn 4981 LNCS, Issue , 2008, Pages 1-15

  Abate, Alessandro ^a   D'innocenzo, Alessandro ^b   Di Benedetto, Maria D ^b   Sastry, Shankar S ^c  

^a 496 Lomita Mall   (United States)

^b UNIVERSITY OF L'AQUILA   (Italy)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; DYNAMICS; ERROR ANALYSIS; HYBRID SYSTEMS; SOLAR BUILDINGS; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS;

ASYMPTOTIC BEHAVIORS; CARDINALITIES; CONTROLLABLE PARAMETERS; EXPLICIT ERROR BOUNDS; GENERAL CLASS; MARKOV SET-CHAIN; STOCHASTIC HYBRID SYSTEMS; TRANSITION PROBABILITIES;

MARKOV CHAINS;

EID: 62949166956     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_1     Document Type: Conference Paper

References (11)

1. Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica (accepted, 2007).
2. Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE 88(2), 971-984 (2000).
3. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous time markov chains. ACM Trans. on Comp. Logic 1(1), 162-170 (2000).
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2002).
5. Davis, M.H.A.: Markov Models and Optimization. Chapman & Hall/CRC Press, London (1993).
6. D'Innocenzo, A., Julius, A.A., Di Benedetto, M.D., Pappas, G.J.: Approximate timed abstractions of hybrid automata. In: Proceedings of the 46th IEEE Conference on Decision and Control. New Orleans, Louisiana, USA, 12-14 December (2007).
7. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control 52(5), 782-798 (2007).
8. Hartfiel, H.J.: Markov Set-Chains. Lecture Notes in Mathematics, vol.1695. Springer, Heidelberg (1998).
9. Julius, A.A., Pappas, G.J.: Approximate abstraction of stochastic hybrid systems. IEEE Trans. Automatic Control (provisionally accepted).
10. Kushner, H.J.: Approximation and Weak Convergence Methods for Random Processes with Applications to Stochastic Systems Theory. MIT Press, Cambridge (1984).
11. Øksendal, B.: Stochastic Differential Equations: An Introduction with Applications, 6th edn. Springer, Heidelberg (2003).