Abstract:Software in autonomous systems like autonomous cars, robots or drones is often implemented on resource-constrained embedded systems with heterogeneous architectures. At the heart of such software are multiple feedback control loops, whose dynamics not only depend on the control strategy being used, but also on the timing behavior the control software experiences. But performing timing analysis for safety critical control software tasks, particularly on heterogeneous computing platforms, is challenging. Consequently, a number of recent papers have addressed the problem of stability analysis of feedback control loops in the presence of timing uncertainties ( cf. , deadline misses). In this paper, we address a different class of safety properties, viz. , whether the system trajectory with timing uncertainties deviates too much from the nominal trajectory. Verifying such quantitative safety properties involves performing a reachability analysis that is computationally intractable, or is too conservative. To alleviate these problems we propose to provide statistical guarantees over the behavior of control systems with timing uncertainties. More specifically, we present a Bayesian hypothesis testing method that estimates deviations from a nominal or ideal behavior. We show that our analysis can provide, with high confidence, tighter estimates of the deviation from nominal behavior than using known reachability analysis methods. We also illustrate the scalability of our techniques by obtaining bounds in cases where reachability analysis fails, thereby establishing the practicality of our proposed method.

Sampling-Based Falsification And Verification Of Controllers For Continuous Dynamic Systems

Robust Reliable Control Design For Networked Control System With Sampling Communication

Continuous Robust Tracking Controllers for a Class of Uncertain Nonlinear Dynamical Systems

Sampled-data-based Vibration Control for Structural Systems with Finite-Time State Constraint and Sensor Outage

Controller Verification for Nonlinear Systems

Sampled-Data Control for Time-Delay Uncertain Linear Systems

Robust Sampled-Data Control for Uncertain Nonlinear Systems

Statistical verification of autonomous system controllers under timing uncertainties

DESIGNING OF THE STATE FEEDABACK STABILIZING CONTROLLER OF UNCERTAIN DYNAMIC SYSTEMS WITH TIME-VARYING DELAYS

Safety-Aware Learning-Based Control of Systems with Uncertainty Dependent Constraints (extended version)

Fault-tolerant control under controller-driven sampling using virtual actuator strategy

A Multi-Fidelity Bayesian Approach to Safe Controller Design

Robustness Analysis of a Continuous Higher Order Finite-Time Control System under Sampled-Data Control

Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

Sampling-based Safe Reinforcement Learning for Nonlinear Dynamical Systems

Certainty Equivalent Perception-Based Control

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments

Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis