On under-determined dynamical system

Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11

Volumn , Issue , 2011, Pages 89-95

  Maler, Oded ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

Hybrid systems; Simulation; Timed systems; Verification

Indexed keywords

INITIAL CONDITIONS; PARAMETER VALUES; SIMULATION; TIMED SYSTEMS; UNDER-DETERMINED;

EMBEDDED SOFTWARE; HYBRID SYSTEMS; TIME SHARING SYSTEMS;

EMBEDDED SYSTEMS;

EID: 80455164858     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2038642.2038658     Document Type: Conference Paper

References (12)

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(1):3-34, 1995.
2. A. Chutinan. Hybrid System Verification using Discrete Model Approximations. PhD thesis, Carnegie Mellon University, 1999.
3. T. Dang. Verification and Synthesis of Hybrid Systems. PhD thesis, Institut National Polytecnique de Grenoble, 2000.
4. A. Donze. Trajectory-based Verification and Controller Synthesis for Continuous and Hybrid Systems. PhD thesis, Universitfié Grenoble 1 - Joseph Fourier, 2007.
5. G. Frehse. Compositional Verification of Hybrid Systems using Simulation Relations. PhD thesis, Radboud Universiteit Nijmegen, 2005.
6. P.-H. Ho. Automatic Analysis of Hybrid Systems. PhD thesis, Cornell University, 1995.
7. A. A. Kurzhanskyi. Modeling and Software Tools for Freeway Operational Planning. PhD thesis, UC Berkeley, 2007.
8. C. Le Guernic. Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. PhD thesis, Université Grenoble 1 - Joseph Fourier, 2009.
9. C. Le Guernic and A. Girard. Reachability analysis of linear systems using support functions. Nonlinear Analysis: Hybrid Systems, 4(2):250 - 262, 2010.
10. O. Maler. Control from computer science. Annual Reviews in Control, 26(2):175-187, 2002.
11. I. Mitchell. Application of Level Set Methods to Control and Reachability Problems in Continuous and Hybrid Systems. PhD thesis, Stanford University, 2002.
12. F. D. Torrisi. Modeling and Reach-set Computation for Analysis and Optimal Control of Discrete Hybrid Automata. PhD thesis, ETH Zurich, 2003.