Skip to main content
SpringerLink
Log in

Heuristic Optimization and Dynamical System Safety Verification

  • Conference paper
  • First Online:
Hybrid Systems V (HS 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1567))

Included in the following conference series:

  • 473 Accesses

Abstract

Given a heuristic estimate of the relative safety of a hybrid dynamical system trajectory, we transform the initial safety problem for dynamical systems into a global optimization problem. We compare untuned performance of several Simulated Annealing and Multi Level Single Linkage method variants, and discuss the dynamic use of knowledge gained during optimization.

This work was supported by the Defense Advanced Research Projects Agency and the National Institute of Standards and Technology under Cooperative Agreement 70NANB6H0075, “Model-Based Support of Distributed Collaborative Design”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Albert C. Leenhouts. Step Motor System Design Handbook. Litchfield Engineering, Kingman, Arizona, USA, 1991.

    Google Scholar 

  2. N. Metropolis, A.W. Rosenbluth, M.N. Rosenbluth, A.H. Teller, and E. Teller. Equation of state calculations by fast computing machines. J. Chem. Phys., 21(6):1087–1092, 1953.

    Article  Google Scholar 

  3. S. Kirkpatrick, C.D. Gelatt, and M.P. Vecchi. Optimization by simulated annealing. Science, 220:671–680, 1983.

    Article  MathSciNet  Google Scholar 

  4. William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery. Numerical Recipes in C: the art of scientific computing-2nd Ed. Cambridge University Press, Cambridge, 1992.

    MATH  Google Scholar 

  5. William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery. Numerical Recipes Example Book (C)-2nd Ed. Cambridge University Press, Cambridge, 1992.

    MATH  Google Scholar 

  6. Lester Ingber. Adaptive simulated annealing (ASA): Lessons learned. Control and Cybernetics, 25(1):33–54, 1996.

    MATH  Google Scholar 

  7. Rutvik Desai and Rajendra Patil. SALO: combining simulated annealing and local optimization for efficient global optimization. In J.H. Stewman, editor, Proceedings of the 9th Florida AI Research Symposium (FLAIRS-’96), pages 233–237, St. Petersburg, FL, USA, 1996. Eckerd Coll.

    Google Scholar 

  8. A.H.G. Rinnooy Kan and G.T. Timmer. Stochastic global optimization methods; part II: clustering methods. Mathematical Programming, 39:57–78,000 1987.

    Article  MathSciNet  Google Scholar 

  9. Andrew Grace. Optimization Toolbox. The Mathworks Inc., 24 Prime Park Way, Natick, MA 01760-1500 USA.

    Google Scholar 

  10. Dinez Yuret. From genetic algorithms to efficient optimization. Master’s thesis, Massachusetts Institute of Technology, May 1994.

    Google Scholar 

  11. F.H. Branin. Widely convergent method for_nding multiple solutions of simultaneous nonlinear equations. I.B.M. J.R&D., Sept 1972.

    Google Scholar 

  12. A. Corana, M. Marchesi, C. Martini, and S. Ridella. Minimizing multimodal functions of continuous variables with the “simulated annealing” algorithm. ACM Trans. Mathl. Software, 13(3):262–279, 1987.

    Article  MathSciNet  Google Scholar 

  13. A.H.G. Rinnooy Kan and G.T. Timmer. Stochastic global optimization methods; part I: multi level methods. Mathematical Programming, 39:27–56, 1987.

    Article  MathSciNet  Google Scholar 

  14. C. Guus E. Boender and H. Edwin Romeijn. Stochastic methods. In Horst and Pardalos [15], pages 829–869.

    Google Scholar 

  15. Reiner Horst and Ranos M. Pardalos, editors. Handbook of Global Optimization. Kluwer Academic, Dordrecht, Netherlands, 1995.

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Knowledge Systems Laboratory, Stanford University, Gates Building 2A, Stanford, CA, 94305-9020, USA

    Todd W. Neller

Authors
  1. Todd W. Neller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 46556, USA

    Panos Antsaklis  & Michael Lemmon  & 

  2. Hynomics Corporation, 10632 NE 37th Circle, Building 23, Kirkland, WA, 98033, USA

    Wolf Kohn

  3. Department of Mathematics, Cornell University, 217, White Hall, Ithaca, NY, 14853, USA

    Anil Nerode

  4. Electronic Research Laboratory, University of California at Berkeley, 253 Cory Hall, Berkeley, CA, 94720, USA

    Shankar Sastry

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Neller, T.W. (1999). Heuristic Optimization and Dynamical System Safety Verification. In: Antsaklis, P., Lemmon, M., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems V. HS 1997. Lecture Notes in Computer Science, vol 1567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49163-5_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-49163-5_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65643-2

  • Online ISBN: 978-3-540-49163-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation