Property-Guided Cyber-Physical Reduction and Surrogation for Safety Analysis in Robotic Vehicles
The methodology reduces complex robotic vehicle systems by focusing only on parts relevant to a specific safety property. It uses static condensation and hybrid dynamical systems to create a simplified, yet behaviorally equivalent, surrogate model of the system. This allows for fast testing and falsification of safety properties using trace analysis rather than slow full simulations.