Property-Guided Cyber-Physical Reduction and Surrogation for Safety Analysis in Robotic Vehicles
We propose a methodology for falsifying safety properties in robotic vehicle systems through property-guided reduction and surrogate execution. By isolating only the control logic and physical dynamics relevant to a given specification, we construct lightweight surrogate models that preserve property-relevant behaviors while eliminating unrelated system complexity. This enables scalable falsification via trace analysis and temporal logic oracles. We demonstrate the approach on a drone control system containing a known safety flaw. The surrogate replicates failure conditions at a fraction of the simulation cost, and a property-guided fuzzer efficiently discovers semantic violations. Our results suggest that controller reduction, when coupled with logic-aware test generation, provides a practical and scalable path toward semantic verification of cyber-physical systems.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Limitations of Physics-Informed Neural Networks: a Study on Smart Grid Surrogation
Physics-Informed Neural Networks (PINNs) present a transformative approach for smart grid modeling by integrating physical laws directly into learning frameworks, addressing critical challenges of data scarcity and physi…
Trajectory PredictionVerification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
Diagnosability is a system theoretical property characterizing whether fault occurrences in a system can always be detected within a finite time. In this paper, we investigate the verification of diagnosability for cyber…
GenerativeMPC: VLM-RAG-guided Whole-Body MPC with Virtual Impedance for Bimanual Mobile Manipulation
Bimanual mobile manipulation requires a seamless integration between high-level semantic reasoning and safe, compliant physical interaction - a challenge that end-to-end models approach opaquely and classical controllers…
Scene UnderstandingLearning From High-Dimensional Cyber-Physical Data Streams for Diagnosing Faults in Smart Grids
The performance of fault diagnosis systems is highly affected by data quality in cyber-physical power systems. These systems generate massive amounts of data that overburden the system with excessive computational costs.…
DiagnosticDimensionality ReductionFault DiagnosisFeature Engineering+1ConAML: Constrained Adversarial Machine Learning for Cyber-Physical Systems
Recent research demonstrated that the superficially well-trained machine learning (ML) models are highly vulnerable to adversarial examples. As ML techniques are becoming a popular solution for cyber-physical systems (CP…
BIG-bench Machine Learning