Barrier-based test synthesis for safety-critical systems subject to timed reach-avoid specifications
We propose an adversarial, time-varying test-synthesis procedure for safety-critical systems
without requiring specific knowledge of the underlying controller steering the system. From a …
without requiring specific knowledge of the underlying controller steering the system. From a …
Test and evaluation of quadrupedal walking gaits through sim2real gap quantification
In this letter, the authors propose a two-step approach to evaluate and verify a true system's
capacity to satisfy its operational objective. Specifically, whenever the system objective has …
capacity to satisfy its operational objective. Specifically, whenever the system objective has …
[图书][B] Reliable Controller Synthesis: Guarantees for Safety-Critical System Testing and Verification
P Akella - 2023 - search.proquest.com
The well-known quote by George Box states that" All models are wrong, but some are
useful", and the controls and robotics communities alike have followed a similar paradigm to …
useful", and the controls and robotics communities alike have followed a similar paradigm to …