Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

DOI10.1016/j.nahs.2021.101093zbMath1479.90044OpenAlexW3198670034MaRDI QIDQ2060886

Rajarshi Ray, Goran Frehse, Amit Gurung, Sergiy Bogomolov, Georg Martius, Dong-Xu Li

Publication date: 13 December 2021

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2021.101093

zbMATH Keywords

linear programmingnonlinear optimizationhybrid systemreachability analysissafety verificationfalsificationtrajectory splicing

Mathematics Subject Classification ID

Nonlinear programming (90C30) Linear programming (90C05) Reliability, availability, maintenance, inspection in operations research (90B25) Deterministic network models in operations research (90B10)

Cites Work

• Unnamed Item
• The algorithmic analysis of hybrid systems
• Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
• Reachability analysis of linear systems using support functions
• Extracting counterexamples induced by safety violation in linear hybrid systems
• Template polyhedra and bilinear optimization
• COLIN: Planning with Continuous Linear Numeric Change
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
• Reachability Analysis of Hybrid Systems Using Support Functions
• The method of moving asymptotes—a new method for structural optimization
• Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
• Interval-Based Relaxation for General Numeric Planning.
• Falsification of hybrid systems using symbolic reachability and trajectory splicing
• Hybrid Systems: Computation and Control
• Combined Global and Local Search for the Falsification of Hybrid Systems
• Computer Aided Verification

This page was built for publication: Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing