Abstract:Recent progress in autonomous vehicle technology has led to the development of accurate and efficient tools for ensuring safety, which is crucial for verifying the reliability and security of vehicles. These vehicles operate under diverse conditions, necessitating the analysis of varying initial conditions and parameter values. Ensuring the safe operation of the vehicle under all these varying conditions is essential. Reachability analysis is an important tool to certify the safety and stability of the vehicle dynamics. We propose a reachability analysis approach for evaluating the response of the vehicle dynamics, specifically addressing uncertainties in the initial states and model parameters. Reachable sets illustrate all the possible states of a dynamical system that can be obtained from a given set of uncertain initial conditions. The analysis is crucial for understanding how variations in initial conditions or system parameters can lead to outcomes such as vehicle collisions or deviations from desired paths. By mapping out these reachable states, it is possible to design systems that maintain safety and reliability despite uncertainties. These insights help to ensure the stability and reliability of the vehicles, even in unpredictable conditions, by reducing accidents and optimizing performance. The nonlinearity of the model complicates the computation of reachable sets in vehicle dynamics. This paper proposes a Koopman theory-based approach that utilizes the Koopman principal eigenfunctions and the Koopman spectrum. By leveraging the Koopman principal eigenfunction, our method simplifies the computational process and offers a formal approximation for backward and forward reachable sets. First, our method effectively computes backward and forward reachable sets for a nonlinear quarter-car model with fixed parameter values. Furthermore, we applied our approach to analyze the uncertainty response for cases with uncertain parameters of the vehicle model. When compared to time-domain simulations, our proposed Koopman approach provided accurate results and also reduced the computational time by half in most cases. This demonstrates the efficiency and reliability of our proposed approach in dynamic systems uncertainty analysis using the reachable sets.

Measurement Uncertainty Impact on Koopman Operator Estimation of Power System Dynamics

Dynamic Equivalents of Power Systems with Online Measurements. Part 1: Theory

Propagating Parameter Uncertainty in Power System Nonlinear Dynamic Simulations Using a Koopman Operator-Based Surrogate Model

Data-driven transient stability analysis using the Koopman operator

A Data-Driven Koopman Approach for Power System Nonlinear Dynamic Observability Analysis

Propagation of Uncertainty with the Koopman Operator

Estimation of Power System Inertia Using Nonlinear Koopman Modes

Data-driven Identification and Prediction of Power System Dynamics Using Linear Operators

The Koopman Expectation: An Operator Theoretic Method for Efficient Analysis and Optimization of Uncertain Hybrid Dynamical Systems

Data-Driven Optimal PMU Placement for Power System Nonlinear Dynamics Using Koopman Approach

Online Real-time Learning of Dynamical Systems from Noisy Streaming Data: A Koopman Operator Approach

Data-driven Estimation for a Region of Attraction for Transient Stability Using the Koopman Operator

Uncertainty Modelling and Robust Observer Synthesis using the Koopman Operator

Nonintrusive Uncertainty Quantification of Dynamic Power Systems Subject to Stochastic Excitations

A Koopman Reachability Approach for Uncertainty Analysis in Ground Vehicle Systems

Utility of the Koopman operator in output regulation of disturbed nonlinear systems

Equivariance and partial observations in Koopman operator theory for partial differential equations

Numerical methods to evaluate Koopman matrix from system equations

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems

Uncertainty Propagation and Filtering via the Koopman Operator in Astrodynamics

Auxiliary Functions as Koopman Observables: Data-Driven Analysis of Dynamical Systems via Polynomial Optimization