Heuristic optimization and dynamical system safety verification

DOI10.1007/3-540-49163-5_14MaRDI QIDQ4246823zbMATH OpenFDO

Authors Todd W. Neller

Publication date 2 September 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49163-5_14

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Reliability, availability, maintenance, inspection in operations research (90B25) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Combined global and local search for the falsification of hybrid systems
• Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
• Heuristic reliability optimization by tabu search
• scientific article; zbMATH DE number 2068066
• Applied heuristic optimal control

Cited in

(1)

• Application of heuristic programming to dynamic system stabilization

Describes a project that uses

Uses Software

• ASA

This page was built for publication: Heuristic optimization and dynamical system safety verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246823)