Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey

[1]  Alessandro Abate,et al.  On infinite-horizon probabilistic properties and stochastic bisimulation functions , 2011, IEEE Conference on Decision and Control and European Control Conference.

[2]  Maria Prandini,et al.  Approximate abstractions of stochastic systems: A randomized method , 2011, IEEE Conference on Decision and Control and European Control Conference.

[3]  Alessandro Abate,et al.  Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

[4]  Vasu Alagar,et al.  Calculus of Communicating Systems , 2011 .

[5]  Alessandro Abate,et al.  Probabilistic bisimulations of switching and resetting diffusions , 2010, 49th IEEE Conference on Decision and Control (CDC).

[6]  Frank Noé,et al.  On the Approximation Quality of Markov State Models , 2010, Multiscale Model. Simul..

[7]  E. Klavins,et al.  Approximating stochastic biochemical processes with Wasserstein pseudometrics. , 2010, IET systems biology.

[8]  Bernd Becker,et al.  Correctness Issues of Symbolic Bisimulation Computation for Markov Chains , 2010, MMB/DFT.

[9]  Paulo Tabuada,et al.  Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems , 2008, IEEE Transactions on Automatic Control.

[10]  Joost-Pieter Katoen,et al.  Approximate Model Checking of Stochastic Hybrid Systems , 2010, Eur. J. Control.

[11]  Alessandro Abate,et al.  A contractivity approach for probabilistic bisimulations of diffusion processes , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[12]  George J. Pappas,et al.  Approximations of Stochastic Hybrid Systems , 2009, IEEE Transactions on Automatic Control.

[13]  Nicolas Tabareau,et al.  A Contraction Theory Approach to Stochastic Incremental Stability , 2007, IEEE Transactions on Automatic Control.

[14]  Maria Prandini,et al.  The scenario approach for systems and control design , 2009, Annu. Rev. Control..

[15]  John Lygeros,et al.  Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems , 2008, Autom..

[16]  François Laviolette,et al.  Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games , 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

[17]  Christel Baier,et al.  Principles of Model Checking (Representation and Mind Series) , 2008 .

[18]  Christel Baier,et al.  Principles of model checking , 2008 .

[19]  Quang-Cuong Pham,et al.  Analysis of discrete and hybrid stochastic systems by nonlinear contraction theory , 2008, 2008 10th International Conference on Control, Automation, Robotics and Vision.

[20]  Paulo Tabuada,et al.  Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..

[21]  L. M. Bujorianu,et al.  Approximate Abstractions of Stochastic Hybrid Systems , 2008 .

[22]  Jianghai Hu,et al.  A numerical approximation scheme for reachability analysis of stochastic hybrid systems with state-dependent switchings , 2007, 2007 46th IEEE Conference on Decision and Control.

[23]  Antoine Girard,et al.  Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.

[24]  C. Cassandras,et al.  Stochastic hybrid systems , 2006 .

[25]  John Lygeros,et al.  Stochastic hybrid systems: Theory and safety critical applications , 2006 .

[26]  Christel Baier,et al.  Comparative branching-time semantics for Markov chains , 2005, Inf. Comput..

[27]  Doina Precup,et al.  Metrics for Markov Decision Processes with Infinite State Spaces , 2005, UAI.

[28]  X. Koutsoukos.  Optimal Control of Stochastic Hybrid Systems Based on Locally Consistent Markov Decision Processes , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[29]  Arjan van der Schaft,et al.  Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs) , 2005, HSCC.

[30]  John Lygeros,et al.  Bisimulation for General Stochastic Hybrid Systems , 2005, HSCC.

[31]  B. Nordstrom.  FINITE MARKOV CHAINS , 2005 .

[32]  Giuseppe Carlo Calafiore,et al.  Uncertain convex programs: randomized solutions and confidence levels , 2005, Math. Program..

[33]  Doina Precup,et al.  Metrics for Finite Markov Decision Processes , 2004, AAAI.

[34]  Radha Jagadeesan,et al.  Metrics for labelled Markov processes , 2004, Theor. Comput. Sci..

[35]  Thomas Brihaye,et al.  On O-Minimal Hybrid Systems , 2004, HSCC.

[36]  George J. Pappas.  Bisimilar linear systems , 2003, Autom..

[37]  Robert Givan,et al.  Equivalence notions and model minimization in Markov decision processes , 2003, Artif. Intell..

[38]  Vincent Danos,et al.  Labeled Markov processes: stronger and faster approximations , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[39]  Prakash Panangaden,et al.  Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes , 2003, J. Log. Algebraic Methods Program..

[40]  George J. Pappas,et al.  Bisimilar control affine systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[41]  Alison L Gibbs,et al.  On Choosing and Bounding Probability Metrics , 2002, math/0209021.

[42]  Radha Jagadeesan,et al.  The metric analogue of weak bisimulation for probabilistic processes , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[43]  Holger Hermanns,et al.  Interactive Markov Chains , 2002, Lecture Notes in Computer Science.

[44]  J. Worrell,et al.  Towards Quantitative Verification of Probabilistic Transition Systems , 2001, ICALP.

[45]  Jos C. M. Baeten,et al.  Abstraction in Probabilistic Process Algebra , 2001, TACAS.

[46]  Insup Lee,et al.  Weak Bisimulation for Probabilistic Systems , 2000, CONCUR.

[47]  Radha Jagadeesan,et al.  Approximating labeled Markov processes , 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).

[48]  H. Kushner.  Numerical Methods for Stochastic Control Problems in Continuous Time , 2000 .

[49]  Winfried Stefan Lohmiller,et al.  Contraction analysis of nonlinear systems , 1999 .

[50]  Jean-Jacques E. Slotine,et al.  On Contraction Analysis for Non-linear Systems , 1998, Autom..

[51]  Tomomichi Hagiwara,et al.  Popov-Type Criterion for Stability of Nonlinear Sampled-Data Systems , 1998, Autom..

[52]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[53]  Erik P. de Vink,et al.  Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach , 1997, Theor. Comput. Sci..

[54]  Christel Baier,et al.  Weak Bisimulation for Fully Probabilistic Processes , 1997, FBT.

[55]  Abbas Edalat,et al.  Bisimulation for labelled Markov processes , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

[56]  R. Blute,et al.  Bisimulation for Labeled Markov Processes , 1997 .

[57]  Mark H. Davis.  Markov Models and Optimization , 1995 .

[58]  P. Florchinger.  Lyapunov-like techniques for stochastic stability , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[59]  Nancy A. Lynch,et al.  Probabilistic Simulations for Probabilistic Processes , 1994, Nord. J. Comput..

[60]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[61]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[62]  P. Buchholz.  Exact and ordinary lumpability in finite Markov chains , 1994, Journal of Applied Probability.

[63]  Richard L. Tweedie,et al.  Markov Chains and Stochastic Stability , 1993, Communications and Control Engineering Series.

[64]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[65]  Kim Guldstrand Larsen,et al.  Specification and refinement of probabilistic processes , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[66]  Scott A. Smolka,et al.  Algebraic Reasoning for Probabilistic Concurrent Systems , 1990, Programming Concepts and Methods.

[67]  W. Grassman.  Approximation and Weak Convergence Methods for Random Processes with Applications to Stochastic Systems Theory (Harold J. Kushner) , 1986 .

[68]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[69]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[70]  John G. Kemeny,et al.  Finite Markov chains , 1960 .