Symbolic models for stochastic control systems without stability assumptions

2013 European Control Conference, ECC 2013

Volumn , Issue , 2013, Pages 4257-4262

  Zamani, Majid ^a   Mohajerin Esfahani, Peyman ^b   Abate, Alessandro ^a   Lygeros, John ^b  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CONTINUOUS TIME SYSTEMS; CONTROLLERS; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

ABSTRACTION TECHNIQUES; CONTINUOUS CONTROL; CONTINUOUS MODELS; CONTINUOUS-TIME CONTROL SYSTEMS; CONVENTIONAL CONTROL; DISCRETE ABSTRACTION; FINITE ABSTRACTION; JET-ENGINE MODELS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 84893209030     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.2013.6669650     Document Type: Conference Paper

References (19)

1. A. Abate. A contractivity approach for probabilistic bisimulations of diffusion processes. in Proceedings of 48th IEEE Conference on Decision and Control, pages 2230-2235, December 2009.
2. A. Abate, S. Amin, M. Prandini, J. Lygeros, and S. Sastry. Computational approaches to reachability analysis of stochastic hybrid systems. In Hybrid Systems: Computation and Control, pages 4-17. Springer Verlag, 2007.
3. A. Abate, A. D'Innocenzo, and M.D. Di Benedetto. Approximate abstractions of stochastic hybrid systems. IEEE Transaction on Automatic Control, 56(11):2688-2694, November 2011.
4. S. I. Azuma and G. J. Pappas. Discrete abstraction of stochastic nonlinear systems: A bisimulation function approach. in Proceedings of American Control Conference, pages 1035-1040, June 2010.
5. C. Belta and L.C.G.J.M. Habets. Controlling a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control, 51(11):1749-1759, 2006.
6. A. Girard and G. J. Pappas. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control, 25(5):782-798, 2007.
7. A. Girard, G. Pola, and P. Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control, 55(1):116-126, January 2009.
8. I. Karatzas and S.E. Shreve. Brownian Motion and Stochastic Calculus, volume 113 of Graduate Texts in Mathematics. Springer- Verlag, New York, 2 edition, 1991.
9. M. Krstic and P. P. Kokotovic. Lean backstepping design for a jet engine compressor model. Proceedings of the 4th IEEE Conference on Control Applications, pages 1047-1052, September 1995.
10. R. Majumdar and M. Zamani. Approximately bisimilar symbolic models for digital control systems. 24th Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science 7358, pages 362-377, July 2012.
11. M. Mazo Jr., A. Davitian, and P. Tabuada. PESSOA: A tool for embedded control software synthesis. In T. Touili, B. Cook, and P. Jackson, editors, Computer Aided Verification (CAV), volume 6174 of LNCS, pages 566-569. Springer-Verlag, July 2010.
12. B. K. Oksendal. Stochastic differential equations: An introduction with applications. Springer, 5th edition, November 2002.
13. G. Pola, A. Girard, and P. Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44(10):2508-2516, 2008.
14. G. Pola and P. Tabuada. Symbolic models for nonlinear control systems: Alternating approximate bisimulations. SIAM Journal on Control and Optimization, 48(2):719-733, February 2009.
15. S. Prajna, A. Papachristodoulou, P. Seiler, and P. A. Parrilo. SOSTOOLS: Control applications and new developments. In Proceedings of IEEE International Symposium on Computer Aided Control Systems Design, pages 315-320, 2004.
16. G. Reißig. Computing abstractions of nonlinear systems. IEEE Transaction on Automatic Control, 56(11):2583-2598, November 2011.
17. P. Tabuada. Verification and Control of Hybrid Systems, A symbolic approach. Springer, 1st edition, June 2009.
18. M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate, and J. Lygeros. Symbolic control of stochastic systems via approximately bisimilar finite abstractions. arXiv: 1302.3868, 2013.
19. M. Zamani, G. Pola, M. Mazo Jr., and P. Tabuada. Symbolic models for nonlinear control systems without stability assumptions. IEEE Transaction on Automatic Control, 57(7):1804-1809, July 2012.