Polar: A polynomial arithmetic framework for verifying neural-network controlled systems
We present POLAR (The source code can be found at https://github. com/ChaoHuang2018/
POLAR_Tool. The full version of this paper can be found at https://arxiv …
POLAR_Tool. The full version of this paper can be found at https://arxiv …
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 …
Tae: A semi-supervised controllable behavior-aware trajectory generator and predictor
Trajectory generation and prediction are two in-terwoven tasks that play important roles in
planner evaluation and decision making for intelligent vehicles. Most existing methods focus …
planner evaluation and decision making for intelligent vehicles. Most existing methods focus …
Control performance analysis of automotive cyber-physical systems: A study on efficient formal verification
Automotive cyber-physical systems consist of multiple control subsystems working under
resource limitations, and the trend is to run the corresponding control tasks on a shared …
resource limitations, and the trend is to run the corresponding control tasks on a shared …
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 …