Computational techniques for the verification of hybrid systems

411 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Safety Verification of Hybrid Systems Using Barrier Certificates (2004, methodology): “Such techniques rely on numerical methods for solving the Hamilton Jacobi equations [23], ellipsoidal calculus [13, 6], flow-pipe approximations [9], and polygonal approximations [5, 4, 2].”
The future of risk assessment (2018, background): “, typically those potentially leading to accidents [37,187].”
A tutorial on sum of squares techniques for systems analysis (2005, neutral): “[3], [2], [8], [54]).”
Efficient algorithms for collision avoidance at intersections (2012, background): “Computing this set for systems with large state space is known to be a hard problem, and research has been focusing on calculating approximations [23].”
Cooperative Collision Avoidance at Intersections: Algorithms and Experiments (2013, background): “While this approach i s theoretically appealing because it ensures safety by const ruction and applies overrides only when necessary, its practic al applicability is often limited by the complexity associate d with the computation of the capture set [15, 27].”