Approximate equivalence and approximate synchronization of metric transition systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2006, Pages 905-910

  Julius, A Agung ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; RELAXATION PROCESSES; SYNCHRONIZATION; TELECOMMUNICATION LINKS;

APPROXIMATE SYNCHRONIZATION; SYNCHRONIZATION LABELS;

APPROXIMATION THEORY;

EID: 39549109695     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2006.377763     Document Type: Conference Paper

References (19)

1. G. J. Pappas and S. Simic, "Consistent abstractions of affine control systems," IEEE Transactions on Automatic Control, vol. 47, pp. 745-756, May 2002.
2. P. Tabuada and G. J. Pappas, "Abstraction of hamiltonian control systems," Automatica, vol. 39, pp. 2025-2033, December 2003.
3. P. Tabuada, G. J. Pappas, and P. Lima, "Compositional abstractions of hybrid control systems," Discrete event dynamic systems, vol. 14, pp. 203-238, April 2005.
4. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstraction of hybrid systems," Proc. of the IEEE, vol. 88, pp. 971-984, July 2000.
5. G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, pp. 2035-2047, December 2003.
6. A. J. van der Schaft, "Equivalence of dynamical systems by bisimulation," IEEE Trans. Automatic Control, vol. 49, pp. 2160-2172, December 2004.
7. G. Pola, A. J. van der Schaft, and M. Di Benedetto, "Achievable bisimilar behaviour of abstract systems," in Proc. 44th IEEE Conf. Decision and Control, (Seville), IEEE, 2005.
8. M. Ying and M. Wirsing, "Approximate bisimilarity," in AMAST 2000 (T. Rus, ed.), vol. 1816 of Lecture Notes in Computer Science, pp. 309-322, Springer Verlag, 2000.
9. M. Ying, Topology in process calculus. New York: Springer-Verlag, 2001.
10. L. de Alfaro, M. Faella, and M. Stoelinga, "Linear and branching system metrics," UCSC-CRL-05-01, School of Engineering, University of California at Santa Cruz, 2005.
11. A. Girard and G. J. Pappas, "Approximation metrics for discrete and continuous systems," MS-CIS-05-10, Dept. Computer and Information Science, University of Pennsylvania, Philadelphia, USA, May 2005.
12. A. Girard and G. J. Pappas, "Approximate bisimulation for constrained linear systems," in Proc. of the IEEE Conf. Decision and Control, (Seville, Spain), 2005.
13. A. Girard and G. J. Pappas, "Approximate bisimulations for nonlinear dynamical systems," in Proc. of the IEEE Conf. Decision and Control, (Seville, Spain), 2005.
14. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer, 1999.
15. A. A. Julius, "http://www.seas.upenn.edu/~agung.
16. P. Caspi and A. Benveniste, "Toward an approximation theory for computerised control," in Proc. 2nd International Workshop on Embedded Software, (Grenoble), Springer, 2002.
17. R. Alur et. al., "The algorithmic analysis of hybrid systems," Theoretical Computer Science, vol. 138, pp. 3-34, 1995.
18. A. A. Julius, A. Girard, and G. J. Pappas, "Approximate bisimulation for a class of stochastic hybrid systems," in Proc. American Control Conference, (Minneapolis, USA), 2006.
19. A. A. Julius, "Approximate abstraction of stochastic hybrid automata," in HSCC, pp. 318-332, 2006.