Reachability Analysis of Nonlinear Differential-Algebraic Systems
From MaRDI portal
Publication:2983261
DOI10.1109/TAC.2013.2285751zbMath1360.93082OpenAlexW1999016870MaRDI QIDQ2983261
Matthias Althoff, Bruce H. Krogh
Publication date: 16 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2013.2285751
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (13)
Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ Verification of Hybrid Systems ⋮ Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities ⋮ A dynamic quantized state system execution framework for hybrid automata ⋮ Probabilistic performance validation of deep learning‐based robust NMPC controllers ⋮ Symbolic control for stochastic systems via finite parity games ⋮ New conditions on finite-time stability of linear discrete-time system ⋮ Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration ⋮ Solving non-linear constraint satisfaction problems involving time-dependent functions ⋮ Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis ⋮ A zonotopic framework for functional abstractions ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis ⋮ Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
Uses Software
This page was built for publication: Reachability Analysis of Nonlinear Differential-Algebraic Systems
