Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
暂无分享,去创建一个
[1] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[2] Antoine Girard. Approximately Bisimilar Finite Abstractions of Stable Linear Systems , 2007, HSCC.
[3] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[4] Robert K. Brayton,et al. Model-checking continuous-time Markov chains , 2000, TOCL.
[5] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[6] E. Helfand. Numerical integration of stochastic differential equations , 1979, The Bell System Technical Journal.
[7] Gerwald Lichtenberg,et al. Using Path integral Short Time Propagators for numerical Analysis of stochastic Hybrid Systems , 2006, ADHS.
[8] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[9] George J. Pappas. Bisimilar linear systems , 2003, Autom..
[10] John Lygeros,et al. Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems , 2006, HSCC.
[11] S. Sastry,et al. Towards a Theory of Stochastic Hybrid Systems , 2000 .
[12] J. Lygeros,et al. Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.
[13] John Lygeros,et al. Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.
[14] Thomas A. Henzinger,et al. Quantifying Similarities Between Timed Systems , 2005, FORMATS.
[15] Bruce E. Hajek,et al. Review of 'Approximation and Weak Convergence Methods for Random Processes, with Applications to Stochastic Systems Theory' (Kushner, H.J.; 1984) , 1985, IEEE Transactions on Information Theory.
[16] Maria Domenica Di Benedetto,et al. Observability of Hybrid Automata by Abstraction , 2006, HSCC.
[17] Darald J. Hartfiel,et al. Markov Set-Chains , 1998 .
[18] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..
[19] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.
[20] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[21] Mark H. Davis. Markov Models and Optimization , 1995 .
[22] C. Cassandras,et al. Stochastic hybrid systems , 2006 .
[23] Maria Domenica Di Benedetto,et al. Approximate timed abstractions of hybrid automata , 2007, 2007 46th IEEE Conference on Decision and Control.
[24] W. Grassman. Approximation and Weak Convergence Methods for Random Processes with Applications to Stochastic Systems Theory (Harold J. Kushner) , 1986 .
[25] John Lygeros,et al. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems , 2008, Autom..
[26] Marta Z. Kwiatkowska,et al. Stochastic Model Checking , 2007, SFM.
[27] Antoine Girard,et al. Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.
[28] John Lygeros,et al. Toward a General Theory of Stochastic Hybrid Systems , 2006 .