Systematic simulation using sensitivity analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4416 LNCS, Issue , 2007, Pages 174-189

  Donzé, Alexandre ^a   Maler, Oded ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DYNAMICAL SYSTEMS; HYBRID COMPUTERS; SENSITIVITY ANALYSIS; UNCERTAIN SYSTEMS;

ALGORITHMIC METHODOLOGY; HYBRID DYNAMICAL SYSTEMS; SYSTEMATIC SIMULATION;

COMPUTER SIMULATION;

EID: 38049130498     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_16     Document Type: Conference Paper

References (18)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. E. Asarin, T. Dang, and A. Girard. Reachability analysis of nonlinear sys-tems using conservative approximation. In Oded Maler and Amir Pnueli, editors, Hybrid Systems: Computation and Control, LNCS 2623, pages 20-35. Springer-Verlag, 2003.
3. M. S. Branicky, M. M. Curtiss, J. Levine, and S. Morgan. Sampling-based reachability algorithms for control and verification of complex systems. In Proc. Thirteenth Yale Workshop on Adaptive and Learning Systems, June 2005.
4. M.S. Branicky, M.M. Curtiss, J. Levine, and S. Morgan. Sampling-based planning, control and verification of hybrid systems. Control Theory and Applications, IEE Proceedings, 153:575-590, Sept. 2006.
5. A. Bhatia and E. Frazzoli. Incremental search methods for reachability analysis of continuous and hybrid systems. In R. Alur and G. J. Pappas, editors, Hybrid Systems: Computation and Control, volume 2993 of LNCS, pages 142-156. Springer, 2004.
6. P. I. Barton and C. Kun Lee. Modeling, simulation, sensitivity analysis, and optimization of hybrid systems. ACM Trans. Model. Comput. Simul, 12(4):256-289, 2002.
7. A. Chutinan and B.H. Krogh. Computing polyhedral approximations to dynamic flow pipes. In Proc. of the 37th Annual International Conference on Decision and Control, CDC'98. IEEE, 1998.
8. T. Dang and O. Maler. Reachability analysis via face lifting. In T.A. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, LNCS 1386, pages 96-109. Springer-Verlag, 1998.
9. G. Frehse, B. H. Krogh, and R. A. Rutenbar. Verifying analog oscillator circuits using forward/backward abstraction refinement. In DATE 2006: Design, Automation and Test in Europe, March 2006.
10. A. Girard. Reachability of uncertain linear systems using zonotopes. In Hybrid Systems : Computation and Control, LNCS 3414, pages 291-305. Springer, 2005.
11. A. Girard and G. J. Pappas. Verification using simulation. In Hybrid Sys-tems : Computation and Control, volume 3927 of LNCS, pages 272-286. Springer-Verlag, 2006.
12. I.A. Hiskens and M.A. Pai. Trajectory sensitivity analysis of hybrid systems. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 47(2):204-220, February 2000.
13. M.W. Hirsch and S. Smale. Differential Equations, Dynamical Systems and Linear Algebra. Academic Press, 1974.
14. J. Kapinski, B. H. Krogh, O. Maler, and O. Stursberg. On systematic simulation of open continuous systems. In HSCC, pages 283-297, 2003.
15. S. M. LaValle. Planning Algorithms, chapter 5. Cambridge University Press, Cambridge, U.K., 2006. Available at http://planning.cs.uiuc. edu/.
16. S. R. Lindemann, A. Yershova, and S. M. LaValle. Incremental grid sampling strategies in robotics. In Proceedings Workshop on Algorithmic Foundations of Robotics, pages 297-312, 2004.
17. A. B. Singer and P. I. Barton. Bounding the solutions of parameter dependent nonlinear ordinary differential equations. SIAM Journal on Scientific Computing, 27(6):2167-2182, 2006.
18. R. Serban and A. C. Hindmarsh. Cvodes: the sensitivity-enabled ode solver in sundials. In Proceedings of IDETC/CIE 2005, Long Beach, CA., Sept. 2005.