Discrete abstraction of stochastic nonlinear systems: A bisimulation function approach

Proceedings of the 2010 American Control Conference, ACC 2010

Volumn , Issue , 2010, Pages 1035-1040

  Azuma, Shun Ichi ^a   Pappas, George J ^b  

^a KYOTO UNIVERSITY   (Japan)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CONVEX OPTIMIZATION; NONLINEAR SYSTEMS; STOCHASTIC SYSTEMS;

BISIMULATIONS; CONTINUOUS SYSTEM; DISCRETE ABSTRACTION; FUNCTION APPROACHES; OPTIMIZATION BASED METHODS; STOCHASTIC NONLINEAR SYSTEMS;

STOCHASTIC CONTROL SYSTEMS;

EID: 77957778553     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2010.5530747     Document Type: Conference Paper

References (20)

1. G.J. Pappas, "Bisimilar linear systems," Automatica, Vol. 39, No. 12, pp. 2035-2047, 2003.
2. A.J. van der Schaft, "Equivalence of dynamical systems by bisimulation," IEEE Transactions on Automatic Control, Vol. 49, No. 12, pp. 2160-2172, 2004.
3. A. Girard and G.J. Pappas, "Approximation metrics for discrete and continuous systems," IEEE Transactions on Automatic Control, Vol. 52, No. 5, pp. 782-798, 2007.
4. M.L. Bujorianu, J. Lygeros, and M.C. Bujorianu, "Bisimulation for general stochastic hybrid systems," Hybrid Systems: Computation and Control, M. Morari and L. Thiele, Eds., Lecture Notes in Computer Science 3414, pp. 198-214, 2005. (Pubitemid 41252068)
5. S. Strubbe and A.J. van der Schaft, "Bisimulation for communicating piecewise deterministic Markov processes (CPDPs)," Hybrid Systems: Computation and Control, M. Morari and L. Thiele, Eds., Lecture Notes in Computer Science 3414, pp. 623-639, 2005. (Pubitemid 41252095)
6. J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden, "Metrics for labelled Markov processes," Theoretical Computer Science, Vol. 318, No. 3, pp. 323-354, 2004.
7. G.J. Pappas, G. Lafferriere, and S. Sastry, "Hierarchically consistent control systems," IEEE Transactions on Automatic Control, Vol. 45, No. 6, pp. 1144-1160, 2000.
8. G.J. Pappas and S. Simić, "Consistent abstractions of affine control systems," IEEE Transactions on Automatic Control, Vol. 47, No. 5, pp. 745-756, 2002.
9. A. Girard and G.J. Pappas, "Hierarchical control system design using approximate simulation," Automatica, Vol. 45, No. 2, pp. 566-571, 2009.
10. P. Tabuada, "Symbolic control of linear systems based on symbolic subsystems," IEEE Transactions on Automatic Control, Vol. 51, No. 6, pp. 1003-1013, 2006. (Pubitemid 43997249)
11. A. Girard, "Approximately bisimilar finite abstractions of stable linear systems," 10th International Conference on Hybrid Systems: Computation and Control, pp. 231-244, 2007.
12. P. Tabuada, "An approximate simulation approach to symbolic control," IEEE Transactions on Automatic Control, Vol. 53, No. 6, pp. 1406-1418, 2008.
13. G. Pola, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems," Automatica, Vol. 44, No. 10, pp. 2508-2516, 2008.
14. Y. Tazaki and J. Imura, "Bisimilar finite abstractions of interconnected systems," Hybrid Systems: Computation and Control, M. Egerstedt and B. Mishra, Eds., Lecture Notes in Computer Science 4981, pp. 514- 527, 2008.
15. Y. Tazaki and J. Imura, "Discrete-state abstractions of nonlinear systems using multi-resolution quantizer," Hybrid Systems: Computation and Control, R. Majumdar and P. Tabuada, Eds., Lecture Notes in Computer Science 5469, pp. 351-365, 2009.
16. A.A. Julius and G.J. Pappas, "Approximations of stochastic hybrid systems," IEEE Transactions on Automatic Control, Vol. 54, No. 6, pp. 1193-1203, 2009.
17. A. Abate, A. D'Innocenzo, M.D. Di Benedetto, and S. Sastry, "Markov set-chains as abstractions of stochastic hybrid systems," 11th International Conference on Hybrid Systems: Computation and Control, pp. 1-15, 2008.
18. A. D'Innocenzo, A. Abate, and M.D. Di Benedetto, "Approximate abstractions of discrete-time controlled stochastic hybrid systems," 47th IEEE Conference on Decision and Control, pp. 221-226, 2008.
19. A.A. Julius, A. Halasz, M.S. Sakar, H. Rubin, V. Kumar, and G.J. Pappas, "Stochastic modeling and control of biological systems: the lactose regulation system of Escherichia Coli," IEEE Transactions on Automatic Control & IEEE Transactions on Circuits and Systems I: Regular Papers, Joint Special Issue on Systems Biology, January, pp. 51-65, 2008.
20. P.A. Parrilo, "Semidefinite programming relaxations for semialgebraic problems," Mathematical Programming Ser. B, Vol. 96, No. 2, pp. 293-320, 2003.