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.
hub
2025.3553096
11 Pith papers cite this work. Polarity classification is still indexing.
11
Pith papers citing it
hub tools
citation-role summary
background 2
citation-polarity summary
verdicts
UNVERDICTED 11roles
background 2polarities
background 2representative citing papers
In generic finite leader-follower games the optimal Strong Stackelberg commitment is with probability one either pure and stable or mixed and unstable.
For finite-dimensional affine logit systems the sharp dimension-free stability threshold is β‖ΠWΠ‖_{T→T}<2, extending the certified regime beyond classical conservative bounds.
SILAS jointly optimizes polynomial ODE vector fields and polynomial Lyapunov functions from data to produce models with provably bounded trajectories via compact absorbing sets.
The observability and controllability Gramians parameterized by sensor and actuator node subsets are determinantal point processes.
Coefficient-level conditions are given for proportional and proportional-derivative output feedback that render linear pH descriptor systems regular, impulse-free, asymptotically stable, and port-Hamiltonian without explicit pH forms.
Internal attention heads in VLA policies localize targets for a CBF safety filter that enables real-time collision avoidance with dynamic obstacles and outperforms init-time oracle identification by 43% on average.
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.
The paper proposes and analyzes a distributed perception mechanism in Friedkin-Johnsen networks that enables convergence to true social power through local interactions in static and reflected-appraisal settings.
Moving horizon estimation stably recovers internal hormone concentrations from irregular samples in pituitary-thyroid models for hypo- and hyperthyroid patients, with lower error at higher sampling rates under model uncertainty.
This survey presents temporal logics as expressive specification languages and outlines formal synthesis techniques from discrete to continuous methods for robot planning and control, while noting real-world deployment challenges.
citing papers explorer
-
Your Model Already Knows: Attention-Guided Safety Filter for Vision-Language-Action Models
Internal attention heads in VLA policies localize targets for a CBF safety filter that enables real-time collision avoidance with dynamic obstacles and outperforms init-time oracle identification by 43% on average.
-
Temporal logics and formal synthesis for robot planning and control
This survey presents temporal logics as expressive specification languages and outlines formal synthesis techniques from discrete to continuous methods for robot planning and control, while noting real-world deployment challenges.