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 introduce MLLO-IQ and MLLO-RIQ, two new information-based optimization algorithms. After demonstrating their strengths and weaknesses, we describe the class of problems for which different optimization methods are best-suited.
The transformation of an initial safety problem for dynamical systems into a global optimization problem is accomplished through construction of a heuristic function which simulates a system trajectory and returns a heuristic evaluation of the relative safety of that trajectory. Since each heuristic function evaluation may be computationally expensive, it becomes desirable to invest more computational efFort in intelligent use of function evaluation information to reduce the average number of evaluations needed. To this end, we've developed MLLO-IQ and MLLO-RIQ, information-based methods which approximate optimal optimization decision procedures.
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“.
Preview
Unable to display preview. Download preview PDF.
References
Todd W. Neller. Heuristic optimization and dynamical system safety verification. In M. Lemmon, editor, Proceedings of Hybrid Systems V (HS '97), pages 51–59, South Bend, IN, USA, 1997. Center for Continuing Education, University of Notre Dame. (available at URL http://www.kst.stanford.edu/people/neller/pubs.html).
Albert C. Leenhouts. Step Motor System Design Handbook. Litchfield Engineering, Kingman, Arizona, USA, 1991.
Bart Selman, Hector Levesque, and David Mitchell. A new method for solving hard satisfiability problems. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pages 440–446, Menlo Park, CA, USA, 1992. AAAI Press.
Jonas Mockus. Bayesian Approach to Global Optimization: theory and applications. Kluwer Academic, Dordrecht, The Netherlands, 1989.
Jonas Mockus. Application of bayesian approach to numerical methods of global and stochastic optimization. J. Global Optimization, 4:347–365, 1994.
Yaroslav D. Sergeyev. An information global optimization algorithm with local tuning. SIAM J. Optimization, 5(4):858–870, 1995.
Roman G. Strongin. The information approach to multiextremal optimization problems. Stochastics and Stochastics Reports, 27:65–82, 1989.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Neller, T.W. (1998). Information-based optimization approaches to dynamical system safety verification. In: Henzinger, T.A., Sastry, S. (eds) Hybrid Systems: Computation and Control. HSCC 1998. Lecture Notes in Computer Science, vol 1386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64358-3_50
Download citation
DOI: https://doi.org/10.1007/3-540-64358-3_50
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64358-6
Online ISBN: 978-3-540-69754-1
eBook Packages: Springer Book Archive