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

Keywords

Bisimulation, Probabilistic logic, Metric (unit), State space, Mathematics

References

• Principles of Model Checking (Representation and Mind Series)Christel Baier, Joost-Pieter Katoen — 2008
• Stochastic hybrid systems: Theory and safety critical applicationsH.A.P. Blom, John Lygeros — 2006
• Algebraic Reasoning for Probabilistic Concurrent SystemsAlessandro Giacalone, Chi-Chang Jou, Scott A. Smolka — 1990
• Bisimulation through Probabilistic TestingKim G. Larsen, Arne Skou — 1991
• Stochastic Hybrid Systems: Research Issues and AreasChristos G. Cassandras, John Lygeros — 2006
• Principles of model checkingChristel Baier, Joost-Pieter Katoen — 2008
• On Contraction Analysis for Non-linear SystemsWinfried Lohmiller, JEAN-JACQUES E. SLOTINE — 1998
• Interactive Markov ChainsHolger Hermanns — 2002
• Metrics for Markov Decision Processes with Infinite State SpacesNorm Ferns, Prakash Panangaden, Doina Precup — 2005
• Labeled Markov processes: stronger and faster approximationsVincent Danos, Josée Desharnais — 2003
• Numerical Methods for Stochastic Control Problems in Continuous TimeHarold J. Kushner — 2000
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processesJosée Desharnais, Prakash Panangaden — 2003
• Popov-Type Criterion for Stability of Nonlinear Sampled-Data SystemsTomomichi Hagiwara, GO KURODA, Mituhiko Araki — 1998
• On the Approximation Quality of Markov State ModelsMarco Sarich, Frank Noé, Christof Schütte — 2010
• Approximate Model Checking of Stochastic Hybrid SystemsAlessandro Abate, Joost-Pieter Katoen, John Lygeros — 2010
• Markov Chains and Stochastic StabilitySean Meyn, Richard L. Tweedie — 1993
• Approximate abstractions of stochastic systems: A randomized methodAlessandro Abate, Maria Prandini — 2011
• Approximation Metrics for Discrete and Continuous SystemsAntoine Girard, George J. Pappas — 2006
• Metrics for labelled Markov processesJosée Desharnais, Vineet Gupta, Radha Jagadeesan — 2004
• Approximation and Weak Convergence Methods for Random Processes with Applications to Stochastic Systems Theory (Harold J. Kushner)Winfried K. Grassman — 1986

Cited by

• Finite Abstractions of Max-Plus-Linear Systems: Theory and AlgorithmsDieky Adzkiya — 2014
• Quantitative Analysis of Software Approximate CorrectnessYanfang Ma — 2015
• Quantitative Approximation of the Probability Distribution of a Markov Process by Formal AbstractionsSadegh Soudjani, Alessandro Abate — 2015
• On approximation metrics for linear temporal model-checking of stochastic systemsIlya Tkachev, Alessandro Abate — 2014
• Observer-based correct-by-design controller synthesisSofie Haesaert, Paul M.J. Van den Hof, Alessandro Abate — 2015
• Correct-by-design output feedback of LTI systemsSofie Haesaert, Alessandro Abate, Paul M.J. Van den Hof — 2015
• Formal Verification of Stochastic Max-Plus-Linear SystemsSadegh Soudjani, Dieky Adzkiya, Alessandro Abate — 2016
• Linear Distances between Markov ChainsPrzemysław Daca, Thomas A. Henzinger, Jan Křetínský — 2016
• Bisimulation Metrics are Optimal Value FunctionsNorm Ferns, Doina Precup — 2014
• Controller Synthesis for Probabilistic Safety Specifications using ObserversKendra Lesser, Alessandro Abate — 2015
• On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic ContextGaoang Bian, Alessandro Abate — 2017
• Abstraction Based Reachability Analysis for Finite Branching Stochastic Hybrid SystemsWenji Zhang, Pavithra Prabhakar, Balasubramaniam Natarajan — 2017
• A Probabilistic Calculus of Cyber-Physical SystemsRuggero Lanotte, Massimo Merro, Simone Tini — 2017
• Data-driven and model-based methods for verification and control of physical systemsSofie Haesaert — 2017
• A Generalized Framework For Kullback–Leibler Markov AggregationRana Ali Amjad, Clemens Blochl, Bernhard C. Geiger — 2017
• Temporal logic control of general Markov decision processes by approximate policy refinementSofie Haesaert, Sadegh Soudjani, Alessandro Abate — 2017
• Context-Specific Validation of Data-Driven ModelsSomil Bansal, Shromona Ghosh, Alberto Sangiovanni‐Vincentelli — 2018
• Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithmMehran Alidoost Nia, Fathiyeh Faghih — 2018
• Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic RelationsAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani — 2019
• Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy RefinementSofie Haesaert, Sadegh Soudjani, Alessandro Abate — 2016

Related papers

• Bisimulation for Higher-Order Process CalculiDavide Sangiorgi — 1994
• Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition SystemMasaki Murakami — 2013
• Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approachKuize Zhang, Majid Zamani — 2017
• On Context Bisimulation for Parameterized Higher-order ProcessesXian Xu — 2013
• Non‐Markovian State‐Space Models in Dependability EvaluationSalvatore Distefano, Kishor S. Trivedi — 2013