Towards sensitivity analysis of hybrid systems using simulink

HSCC 2013 - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Part of CPSWeek 2013

Volumn 1, Issue , 2012, Pages 95-100

  Han, Zhi ^a   Mosterman, Pieter J ^a  

^a MathWorks ^*  (United States)

Author keywords

Sensitivity analysis; Simulation; Verification

Indexed keywords

COMPUTATIONAL SEMANTICS; ENGINEERED SYSTEMS; HYBRID DYNAMIC SYSTEMS; ORDINARY DIFFERENTIAL EQUATION SOLVER; PROTOTYPE IMPLEMENTATIONS; SENSITIVITY EQUATIONS; SIMULATION; SIMULATION-BASED METHOD;

DESIGN; HYBRID SYSTEMS; ORDINARY DIFFERENTIAL EQUATIONS; SEMANTICS; SENSITIVITY ANALYSIS; VERIFICATION;

COMPUTER SIMULATION;

EID: 84876781907     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2461328.2461345     Document Type: Conference Paper

References (31)

1. M. Althoff, O. Stursberg, and M. Buss. Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In IEEE Conference on Decision and Control (CDC), pages 4042-4048, 2008.
2. R. Alur, A. Kanade, K. C. Shashidhar, and S. Ramesh. Generating and analyzing symbolic traces of Simuink/Stateflow models. In International Conference on Computer-Aided Verification, pages 430-445, 2009.
3. AppEdge Consulting and Engineering. DiffEdge: Differentiation, sensitivity analysis and identification of hybrid models under simulink. http://pagesperso-orange.fr/appedge/diffedge-intro.htm.
4. T. Dang, A. Donzé, O. Maler, and N. Shalev. Sensitive state-space exploration. In Proceedings of the IEEE Conference on Decision and Control, pages 4049-4054, 2008.
5. A. Donzé, B. Krogh, and A. Rajhams. Parameter synthesis for hybrid systems with an application to simulink models. In HSCC, pages 165-179, 2009.
6. A. Donzé and O. Maler. Systematic simulation using sensitivity analysis. In Hybrid Systems: Computation and Control (HSCC 2007), pages 174-189, 2007.
7. A. Donzé and O. Maler. Robust satisfaction of temporal logic over real-valued signals. In Formal modeling and analysis of timed systems, pages 92-106, 2010.
8. P. M. Frank. Introduction to System Sensitivity Theory. Academic Press Inc., 1978.
9. G. Frehse. PHAVer: Algorithmic verification of hybrid systems past HYTECH. In Hybrid Systems: Computation and Control (HSCC'05), pages 258-273, 2005.
10. G. Frehse, B. H. Krogh, and R. A. Rutenbar. Verifying analog oscillator circuits using forward/backward abstraction refinement. In Design, Automation and Test in Europe (DATE), pages 257-262, 2006.
11. A. Girard. Reachability of uncertain linear systems using zonotopes. In Hybrid Systems: Computation and Control (HSCC'05), pages 291-305, March 2005.
12. A. Griewank and A. Walther. Evaluating Derivatives: Principle and Techniques of Algorithmic Differentiation. SIAM, 2008.
13. Z. Han and B. H. Krogh. Reachability analysis of nonlinear systems using trajectory piecewise linearized models. In American Control Conference, pages 1505-1510, 2006.
14. I. A. Hiskens and M. A. Pai. Trajectory sensitivity analysis of hybrid systems. IEEE Transaction on Circuits and Systems, 47(2): 204-220, 2000.
15. M. Jackson. Some complexities in computer-based systems and their implications for system development. In Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering, pages 344-351, Tel-Aviv, Israel, May 1990.
16. K. Manamcheri, S. Mitra, S. Bak, and M. Caccamo. A step towards verification and synthesis from Simuink/Stateflow models. In Hybrid systems computation and control (HSCC), pages 317-318, 2011.
17. MathWorks. Real-Time Workshop. MathWorks, Inc., Natick, MA, Mar. 2009.
18. MathWorks. SimMechanics. MathWorks, Inc., Natick, MA, Sept. 2012.
19. MathWorks. Simulink Control Design. MathWorks, Inc., Natick, MA, Sept. 2012.
20. MathWorks. Simulink User's Guide. The MathWorks, Inc., Natick, MA, Sept. 2012.
21. P. J. Mosterman and H. Vangheluwe. Computer automated multi-paradigm modeling: An introduction. SIMULATION: Transactions of The Society for Modeling and Simulation International, 80(9): 433-450, Sept. 2004.
22. P. J. Mosterman and J. Zander. Advancing model-based design by modeling approximations of computational semantics. In Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, pages 3-7, Zürich, Switzerland, Sept. 2011.
23. P. J. Mosterman, J. Zander, G. Hamon, and B. Denckla. A computational model of time for stiff hybrid systems applied to control synthesis. Control Engineering Practice, 20(1): 2-13, 2012.
24. T. B. Nguyen, M. A. Pai, and I. A. Hiskens. Computation of critical values of parameters in power systems using trajectory sensitivities. In Power System Computation Conference (PSCC), pages 24-28, 2002.
25. D. A. Pope. An exponential method of numerical integration of ordinary differential equations. Communications of the ACM, 6(8): 491-493, 1963.
26. R. Serban and A. C. Hindmarsh. CVODES: An ODE solver with sensitivity analysis capabilities. Technical Report UCRL-JP-200039, LLNL, 2003.
27. B. I. Silva, K. Richeson, B. H. Krogh, and A. Chutinan. Modeling and verifying hybrid dynamic systems using CheckMate. In ADPM 2000 Conference Proceedings: The 4th International Conference on Automation of Mixed Processes - Hybrid Dynamic Systems, 2000.
28. P. Varaiya. Reach set computation using optimal control. Available online at http://paleale.eecs.berkeley.edu/~varaiya/pa-pers-ps.dir/reachset.ps, 1998.
29. K. Wijbrans. Twente Hierarchical Embedded Systems Implementation by Simulation: a structured method for controller realization. PhD dissertation, University of Twente, Enschede, The Netherlands, 1993. ISBN 90-9005933-4.
30. F. Zhang, M. Yeddanapudi, and P. J. Mosterman. Zero-crossing location and detection algorithm for hybrid system simulation. In IFAC World Congress, pages 7967-7972, 2008.
31. K. Zhou and J. C. Doyle. Essentials of Robust Control. Prentice Hall, 1998.