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.
Non- linear Analysis: Hybrid Systems53, 101491 (2024)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
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.