Efficient global robustness certification of neural networks via interleaving twin-network encoding
The robustness of deep neural networks has received significant interest recently, especially
when being deployed in safety-critical systems, as it is important to analyze how sensitive …
when being deployed in safety-critical systems, as it is important to analyze how sensitive …
Physics-aware safety-assured design of hierarchical neural network based planner
Neural networks have shown great promises in planning, control, and general decision
making for learning-enabled cyber-physical systems (LE-CPSs), especially in improving …
making for learning-enabled cyber-physical systems (LE-CPSs), especially in improving …
Design-while-verify: correct-by-construction control learning with verification in the loop
In the current control design of safety-critical cyber-physical systems, formal verification
techniques are typically applied after the controller is designed to evaluate whether the …
techniques are typically applied after the controller is designed to evaluate whether the …
Cross-Layer Design and Adaptation of Safety-Critical Cyber-Physical Systems
Z Wang - 2022 - search.proquest.com
With growing system complexity and closer cyber-physical interaction, there are stronger
needs for cyber-physical systems to adapt to the dynamic environment and improve their …
needs for cyber-physical systems to adapt to the dynamic environment and improve their …