Reachability of uncertain linear systems using zonotopes
From MaRDI portal
Recommendations
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
- Reachability analysis of linear systems using support functions
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
Cited in
(95)- Approximately bisimilar symbolic models for nonlinear control systems
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Compositional synthesis of state-dependent switching control
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- A comparison of zonotope order reduction techniques
- Formal verification and quantitative metrics of MPSoC data dynamics
- A dynamic game approach to distributionally robust safety specifications for stochastic systems
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling
- Lagrangian approximations for stochastic reachability of a target tube
- Convergent under-approximations of reachable sets and tubes: a piecewise constant approach
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Set operations and order reductions for constrained zonotopes
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle
- Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming
- Conservative time discretization: a comparative study
- Vertical hierarchical MPC for constrained linear systems
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Numerical invariants through convex relaxation and max-strategy iteration
- On stochastic linear systems with zonotopic support sets
- Model-invariant viability kernel approximation
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
- Approximate bisimulation relations for constrained linear systems
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Comparison of guaranteed state estimators for linear time-invariant systems
- Nonlinear set membership filter with state estimation constraints via consensus-ADMM
- Reachability of weakly nonlinear systems using Carleman linearization
- Reachability analysis of linear systems with stepwise constant inputs
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
- Reachable set computation for uncertain time-varying linear systems
- Verification of Hybrid Systems
- Temporal logic verification for delay differential equations
- Rigorous simulation-based analysis of linear hybrid systems
- Quadratic zonotopes. An extension of zonotopes to quadratic arithmetics
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Trajectory Based Verification Using Local Finite-Time Invariance
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Affine Arithmetic
- scientific article; zbMATH DE number 1066238 (Why is no real title available?)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- A modal characterization of alternating approximate bisimilarity
- Using redundant constraints for refinement
- Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
- Finite-time stability and stabilisation with polyhedral domains for linear systems
- An accurate join for zonotopes, preserving affine input/output relations
- Guaranteed control of switched control systems using model order reduction and state-space bisection
- Reachability computation for polynomial dynamical systems
- Computing reachable states for nonlinear biological models
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- A zonotopic framework for functional abstractions
- Robust constrained control of piecewise affine systems through set‐based reachability computations
- Outlier‐robust set‐membership estimation for discrete‐time linear systems
- Privacy-preserving set-based estimation using partially homomorphic encryption
- Adaptive parameter tuning for reachability analysis of nonlinear systems
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
- Constrained polynomial zonotopes
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
- Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- Safe Self-Triggered Control Based on Precomputed Reachability Sequences
- Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
- Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
- Data-driven verification and synthesis of stochastic systems via barrier certificates
- A model-based approach to testing software control systems described by linear differential equations
- Adaptive directions for Bernstein-based polynomial set evolution
- Polynomial logical zonotope: a set representation for reachability analysis of logical systems
- Sparse intersection checking for sparse polynomial zonotopes
- Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement
- Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes
- Divide and conquer: variable set separation in hybrid systems reachability analysis
- Formal safety verification of non-deterministic systems based on probabilistic reachability computation
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Temporal logic resilience for continuous-time systems
- Set-based monitoring for signal temporal logic with uncertainty mitigation and confidence guarantees
- Constrained adaptive parallelepipedic approximation of the image of a set by a nonlinear function
- Set-valued safety tubes for uncertainty propagation in multi-step AI pipelines
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems
- Verification of continuous dynamical systems by timed automata
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
- Hybridization methods for the analysis of nonlinear systems
- Change-of-bases abstractions for non-linear hybrid systems
- Understanding deadlock and livelock behaviors in hybrid control systems
- Perfect simulation of a class of stochastic hybrid systems with an application to peer to peer systems
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Reachability analysis of linear systems using support functions
- Computing reachable sets for uncertain nonlinear monotone systems
This page was built for publication: Reachability of uncertain linear systems using zonotopes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5703929)
