A property-driven adaptive time-step reachability algorithm for linear continuous systems that uses safety properties to enable larger steps and fewer iterations than error-driven or fixed-step methods, with optimizations for matrix exponentials and error balancing.
Reachability of Uncertain Linear Systems Using Zonotopes
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
background 1
method 1
citation-polarity summary
years
2026 4verdicts
UNVERDICTED 4representative citing papers
Orthogonal transformations before order reduction in matrix zonotopes produce order-of-magnitude smaller reachable set volumes while keeping generator counts comparable.
Optimizing blended-wing-body aircraft wing half-spans via reachable sets of linear longitudinal dynamics yields up to 30% lower angle-of-attack tracking error on the resulting nonlinear model under reference tracking control.
A new matrix zonotope perturbation method with coefficient-space approximation enables faster and less conservative data-driven reachability analysis than prior CMZ or MZ approaches.
citing papers explorer
-
Scalable Reachability Analysis of Linear Continuous Systems with Property-Driven Time-Step Adaptation
A property-driven adaptive time-step reachability algorithm for linear continuous systems that uses safety properties to enable larger steps and fewer iterations than error-driven or fixed-step methods, with optimizations for matrix exponentials and error balancing.
-
Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
Orthogonal transformations before order reduction in matrix zonotopes produce order-of-magnitude smaller reachable set volumes while keeping generator counts comparable.
-
Reachability-Based Design Optimization for Aircraft Maneuverability
Optimizing blended-wing-body aircraft wing half-spans via reachable sets of linear longitudinal dynamics yields up to 30% lower angle-of-attack tracking error on the resulting nonlinear model under reference tracking control.
-
Data-Driven Reachability Analysis Using Matrix Perturbation Theory
A new matrix zonotope perturbation method with coefficient-space approximation enables faster and less conservative data-driven reachability analysis than prior CMZ or MZ approaches.