Guided Randomized Simulation

  • Tarik Nahhal
  • Thao Dang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4416)

Abstract

The paper presents a simulation-based method for the validation of continuous and hybrid systems, which is built upon the RRT algorithm (Rapidly-exploring Random Trees). We propose a coverage measure, defined as the star discrepancy of the explored points, and use it to guide the simulation towards the behaviors of interest.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dang, T., Nahhal, T.: Randomized simulation of hybrid systems. Technical report, Verimag, IMAG (May 2006)Google Scholar
  2. 2.
    Branicky, M.S., et al.: Sampling-based reachability algorithms for control and verification of complex systems. In: Proc. Thirteenth Yale Workshop on Adaptive and Learning Systems, New Haven, CT (2005)Google Scholar
  3. 3.
    Esposito, J.M., Kim, J., Kumar, V.: Adaptive RRTs for validating hybrid robotic control systems. In: Int. Workshop on Algorithmic Foundations of Robotics (2004)Google Scholar
  4. 4.
    Bhatia, A., Frazzoli, E.: Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 142–156. Springer, Heidelberg (2004)Google Scholar
  5. 5.
    Kuipers, L., Niederreiter, H.: Uniform Distribution of Sequences. John Wiley, New York (1974)MATHGoogle Scholar
  6. 6.
    LaValle, S.M., Kuffner, J.J.: Rapidly-exploring random trees: Progress and prospects. In: Algorithmic and Computational Robotics: New Directions, pp. 293–308. A K Peters, Wellesley (2001)Google Scholar
  7. 7.
    Thiémard, E.: An algorithm to compute bounds for the star discrepancy. J. Complexity 17(4), 850 (2001)CrossRefMathSciNetMATHGoogle Scholar
  8. 8.
    Yershova, A., et al.: Dynamic-domain RRTs: Efficient exploration by controlling the sampling domain. In: Proc. IEEE Int. Conf. on Robotics and Automation, IEEE Computer Society Press, Los Alamitos (2005)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Tarik Nahhal
    • 1
  • Thao Dang
    • 1
  1. 1.VERIMAG, 2 avenue de Vignate, 38610 GièresFrance

Personalised recommendations