Linear hybrid system falsification through local search

DOI10.1007/978-3-642-24372-1_39MaRDI QIDQ3172941zbMATH OpenOpenAlexFDO

Authors Houssam Abbas, Georgios E. Fainekos

Publication date 7 October 2011

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1105.1733

zbMATH Keywords

simulationrobustnesshybrid systemsmodel validation and analysis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Stochastic programming (90C15)

Abstract: In this paper, we address the problem of local search for the falsification of hybrid automata with affine dynamics. Namely, if we are given a sequence of locations and a maximum simulation time, we return the trajectory that comes the closest to the unsafe set. In order to solve this problem, we formulate it as a differentiable optimization problem which we solve using Sequential Quadratic Programming. The purpose of developing such a local search method is to combine it with high level stochastic optimization algorithms in order to falsify hybrid systems with complex discrete dynamics and high dimensional continuous spaces. Experimental results indicate that indeed the local search procedure improves upon the results of pure stochastic optimization algorithms.

Recommendations

• Combined global and local search for the falsification of hybrid systems
• Stochastic local search for falsification of hybrid systems
• Hybrid systems: From verification to falsification by combining motion planning and discrete search
• Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing
• Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

Cited in

(10)

• Stochastic local search for falsification of hybrid systems
• Multi-armed bandits for Boolean connectives in hybrid system falsification
• Falsification of hybrid systems using adaptive probabilistic search
• Combined global and local search for the falsification of hybrid systems
• Hybrid Systems: From Verification to Falsification
• Extracting counterexamples induced by safety violation in linear hybrid systems
• Hybrid systems: From verification to falsification by combining motion planning and discrete search
• Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
• Solving reachability problems by a scalable constrained optimization method
• Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

Describes a project that uses

Uses Software

• SpaceEx

This page was built for publication: Linear hybrid system falsification through local search

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