An Intrinsic Characterization of Approximate Probabilistic Bisimilarity (2003)

Cached

Download Links

by Franck Van Breugel , Michael Mislove , Joël Ouaknine , James Worrell
Venue:In: Proceedings of FOSSACS 03. LNCS
Citations:13 - 2 self

Documents Related by Co-Citation

45 Metrics for Labelled Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2003
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
64 Reachability of uncertain linear systems using zonotopes – A Girard - 2005
20 Linear and Branching Metrics for Quantitative Transition Systems – Luca De Alfaro, Marco Faella, Mariëlle Stoelinga - 2004
7 Reachability of hybrid control systems using reduced-order models – Z Han, B H Krogh - 2004
25 Bisimulation relations for dynamical, control, and hybrid systems – Esfandiar Haghverdi , Paulo Tabuada , G.J. Pappas - 2005
44 Bisimilar Linear Systems – George J. Pappas - 2001
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
52 A survey of model reduction methods for large-scale systems – A. C. Antoulas, D. C. Sorensen, S. Gugercin - 2001
17 der Schaft, “Equivalence of dynamical systems by bisimulation – A J van - 2004
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
3219 Communication and Concurrency – R Milner - 1990
27 Universal construction of feedback laws achieving ISS and integral-ISS disturbance attenuation – Daniel Liberzon, Eduardo D. Sontag, Yuan Wang - 2002
736 Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones – Jos F. Sturm - 1998
47 Towards quantitative verification of probabilistic transition systems – F van Breugel, J Worrell - 2001
57 Series of Abstractions for Hybrid Automata – Ashish Tiwari, Gaurav Khanna - 2002
42 Approximation metrics for discrete and continuous systems – Antoine Girard, George J. Pappas - 2005
4 Abstractions of constrained linear systems – Herbert G. Tanner - 2003
47 Inverse optimality in robust stabilization – R A Freeman, P V Kokotovic - 1996