B. K. Aichernig, H. Brandl, and F. Wotawa, Conformance Testing of Hybrid Systems with Qualitative Reasoning Models, Electronic Notes in Theoretical Computer Science, vol.253, issue.2, pp.53-69, 2009.
DOI : 10.1016/j.entcs.2009.09.051

R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

P. M. Aziz, H. V. Sorensen, and J. Van, An overview of sigma-delta converters, IEEE Signal Processing Magazine, vol.13, issue.1, pp.61-84, 1996.
DOI : 10.1109/79.482138

A. Bhatia and E. Frazzoli, Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems, In HSCC, pp.142-156, 2004.
DOI : 10.1007/978-3-540-24743-2_10

E. Biyik and M. Arcak, Hybrid Newton observer design using the inexact Newton method and GMRES, 2006 American Control Conference, pp.3334-3339, 2006.
DOI : 10.1109/ACC.2006.1657233

T. Dang, Model-based testing of hybrid systems In Model-Based Testing for Embedded Systems, 2010.

T. Dang and T. Nahhal, Coverage-guided test generation for continuous and??hybrid systems, Formal Methods in System Design, vol.32, issue.4, pp.183-213, 2009.
DOI : 10.1007/s10703-009-0066-0

A. David, K. G. Larsen, S. Li, and B. Nielsen, Timed Testing under Partial Observability, 2009 International Conference on Software Testing Verification and Validation, 2009.
DOI : 10.1109/ICST.2009.38
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.204.8788

J. Esposito, J. W. Kim, and V. Kumar, Adaptive RRTs for Validating Hybrid Robotic Control Systems, Proceedings Workshop on Algorithmic Foundations of Robotics, 2004.
DOI : 10.1007/10991541_9

A. Julius, G. E. Fainekos, M. Anand, I. Lee, and G. J. Pappas, Robust Test Generation and Coverage for Hybrid Systems, In HSCC, pp.329-342, 2007.
DOI : 10.1007/978-3-540-71493-4_27

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, 2009.
DOI : 10.1007/s10703-009-0065-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.7098

S. Lavalle and J. Kuffner, Rapidly-exploring random trees: Progress and prospects, Workshop on the Algorithmic Foundations of Robotics, 2000.

D. G. Luenberger, Optimization by Vector Space Methods, 1969.

P. Moraal and J. W. Grizzle, Observer design for nonlinear systems with discretetime measurements, IEEE Transactions on Automatic Control, vol.40, issue.3, 1995.

R. Motowani and P. Raghavan, Randomized Algorithms, 1995.

Y. Nonaka, H. Ono, K. Sadakane, and M. Yamashita, The hitting and cover times of Metropolis walks, Theoretical Computer Science, vol.411, issue.16-18, pp.16-181889, 2010.
DOI : 10.1016/j.tcs.2010.01.032

E. Plaku, L. Kavraki, and M. Vardi, Hybrid Systems: From Verification to Falsification, International Conference on Computer Aided Verification (CAV), pp.468-481, 2007.
DOI : 10.1007/978-3-540-73368-3_48
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.8774