Approximation metrics for discrete and continuous systems

IEEE Transactions on Automatic Control

Volumn 52, Issue 5, 2007, Pages 782-798

  Girard, Antoine ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Abstraction; Approximation; Bisimulation; Metrics; Transition systems

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTER SIMULATION; CONTINUOUS TIME SYSTEMS; LYAPUNOV FUNCTIONS;

BISIMULATION; FIXED POINT ALGORITHMS; LANGUAGE INCLUSION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 34249005820     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2007.895849     Document Type: Article

References (36)

1. R. Milner, Communication and Concurrency. Upper Saddle River, NJ: Prentice-Hall, 1989.
2. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cambridge, MA: MIT Press, 2000.
3. 20 states and beyond," in Proc. IEEE Symp. Logic Comp. Sci., 1990, pp. 1-33.
4. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 971-984, Jul. 2000.
5. G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, no. 12, pp. 2035-2047, Dec. 2003.
6. P. Tabuada and G. J. Pappas, "Bisimilar control affine systems," Syst. Control Lett., vol. 52, pp. 49-58, 2004.
7. A. van der Schaft, "Equivalence of dynamical systems by bisimulation," IEEE Trans. Autom. Control, vol. 49, no. 12, pp. 2160-2172, Dec. 2004.
8. E. Haghverdi, P. Tabuada, and G. J. Pappas, "Bisimulation relations for dynamical, control, and hybrid systems," Theor. Comp. Sc., vol. 342, no. 2-3, pp. 229-261, September 2005.
9. A. A. Julius and A. J. van der Schaft, "A behavioral framework for compositionality: Linear systems, discrete event systems and hybrid systems," in Proc. MTNS, 2004.
10. G. Pola, A. J. van der Schaft, and M. D. Di Benedetto, "Bisimulation theory for switching linear systems," in Proc. IEEE Conf. Decision Control, 2004, pp. 555-569.
11. A. C. Antoulas, D. C. Sorensen, and S. Gugercin, "A survey of model reduction methods for large-scale systems," Contemp. Math., vol. 280, pp. 193-219, 2000.
12. P. Caspi and A. Benveniste, "Toward an approximation theory for computerized control," in Embedded Software. New York: Springer-Verlag, 2002, vol. 2491, LNCS, pp. 294-304.
13. A. Di Pierro, C. Hankin, and H. Wiklicky, "Quantitative relations and approximate process equivalences," in Proc. CONCUR 2003, 2003, vol. 2761, LNCS, pp. 508-522.
14. F. van Breugel, M. Mislove, J. Ouaknine, and J. Worrell, "An intrinsic characterization of approximate probabilistic bisintilarity," in Foundations of Software Science and Computation Structures. New York: Springer-Verlag, 2003, vol. 2620, LNCS, pp. 200-215.
15. J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden, "Metrics for labelled markov processes," Theor. Comp. Sci., vol. 318, no. 3, pp. 323-354, June 2004.
16. L. de Alfaro, M. Faella, and M. Stoelinga, "Linear and branching metrics for quantitative transition systems," in Proc. ICALP'04, 2004, vol. 3142, LNCS, pp. 1150-1162.
17. P. C. Kanellakis and S. A. Smolka, "CCS expressions, finite-state processes, and three problems of equivalence," Inform. Comput., vol. 86, pp. 43-68, 1990.
18. R. Alur, T. Dang, and F. Ivancic, "Reachability analysis of hybrid systems via predicate abstraction," in Proc. HSCC, 2002, vol. 2289, LNCS, pp. 35-48.
19. A. Tiwari and G. Khanna, "Series of abstractions for hybrid automata," in Proc. HSCC, 2002, vol. 2289, LNCS, pp. 465-478.
20. E. Asarin, O. Bournez, T. Dang, and O. Maler, "Approximate reachability analysis of piecewise linear dynamical systems," in Proc. HSCC, 2000, vol. 1790, LNCS, pp. 21-31.
21. E. Asarin, T. Dang, and A. Girard, "Reachability of non-linear systems using conservative approximations," in Proc. HSCC, 2003, vol. 2623, LNCS, pp. 22-35.
22. A. Chutinan and B. H. Krogh, "Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations," in Proc. HSCC, 1999, vol. 1569, LNCS, pp. 76-90.
23. A. Kurzhanski and P. Varaiya, "Ellipsoidal tehcniques for reachability analysis," in Proc. HSCC, 2000, vol. 1790, LNCS.
24. I. Mitchell and C. Tomlin, "Level set methods for computation in hybrid systems," in proc. HSCC, 2000, vol. 1790, LNCS.
25. A. Girard, "Reachability of uncertain linear systems using zonotopes," in Proc. HSCC, 2005, vol. 3414, LNCS, pp. 291-305.
26. S. Prajna and A. Jadbabaie, "Safety verification of hybrid systems using barrier certificates," in Proc. HSCC, 2004, vol. 2993, LNCS, pp. 477-492.
27. Z. Han and B. H. Krogh, "Reachability of hybrid control systems using reduced-order models," in Proc. Amer. Control Conf., 2004, pp. 1183-1189.
28. E. Asarin and T. Dang, "Abstraction by projection and application to multi-affine systems," in Proc. HSCC, 2004, vol. 2993, LNCS, pp. 32-47.
29. A. Girard and G. J. Pappas, "Approximate bisimulations for constrained linear systems," in Proc. Conf. Decision Control Euro. Control Conf. 2005, pp. 4700-4705.
30. A. Girard and G. J. Pappas, "Approximate bisimulations for nonlinear dynamical systems," Proc. Conf. Decision Control Euro. Control Conf. 2005, pp. 684-689.
31. A. Girard, A. A. Juluis, and G. J. Pappas, "Approximate simulation relations for hybrid systems," in Proc. ADHS, 2006, pp. 106-111.
32. E. W. Weisstein et al,, " Locally compact," From Math World-A Wolfram Web Resource 2005.
33. J.P. Aubin, Viability Theory. Boston, MA: Birkhäuser, 1991.
34. A. Gerard and G. J. Pappas, Approximation metrics for discrete and continuous systems Dept. CIS, Univ. Pennsylvania, Philadelphia, PA, Techn. Rep. MS-CIS-05-10, May 2005.
35. J.M. Davoren, V. Coulthard, N. Markey, and T. Moor, "Non-deterministic temporal logics for general flow systems," in Proc. HSCC, 2004, vol. 2993, LNCS, pp. 280-295.
36. G. Ewald, Combinatorial Convexity and Algebraic Geometry. New York: Springer-Verlag, 1996.