Reachable set computation for uncertain time-varying linear systems
From MaRDI portal
Publication:2986717
DOI10.1145/1967701.1967717zbMath1362.93013OpenAlexW1994826906MaRDI QIDQ2986717
Colas Le Guernic, Matthias Althoff, Bruce H. Krogh
Publication date: 16 May 2017
Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: http://mediatum.ub.tum.de/doc/1287217/document.pdf
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems ⋮ Conservative time discretization: a comparative study ⋮ Control barrier functions for stochastic systems ⋮ Set-based control for disturbed piecewise affine systems with state and actuation constraints ⋮ Formal lumping of polynomial differential equations through approximate equivalences ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes ⋮ Output reachable set estimation for discrete-time switched systems with persistent dwell-time ⋮ Reachability analysis of nonlinear systems using hybridization and dynamics scaling ⋮ Reachability computation for polynomial dynamical systems ⋮ A dynamic game approach to distributionally robust safety specifications for stochastic systems ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
Uses Software
This page was built for publication: Reachable set computation for uncertain time-varying linear systems