Cover Image

Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Madabushi, Varun, Dietrich, Elizabeth, Krasowski, Hanna, Tucker, Maegan
Format:	Preprint
Published:	2026
Subjects:	Systems and Control Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Differentiable Invariant Sets for Hybrid Limit Cycles with Application to Legged Robots
by: Madabushi, Varun, et al.
Published: (2026)

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
by: Dietrich, Elizabeth, et al.
Published: (2026)

NaviGait: Navigating Dynamically Feasible Gait Libraries using Deep Reinforcement Learning
by: Janwani, Neil, et al.
Published: (2025)

Importance Sampling for Statistical Certification of Viable Initial Sets
by: Dietrich, Elizabeth, et al.
Published: (2026)

Intelligent Sailing Model for Open Sea Navigation
by: Krasowski, Hanna, et al.
Published: (2025)

Dense Fixed-Wing Swarming using Receding-Horizon NMPC
by: Madabushi, Varun, et al.
Published: (2025)

Predictive Safety Shield for Dyna-Q Reinforcement Learning
by: Pin, Jin, et al.
Published: (2025)

Kinodynamic Motion Retargeting for Humanoid Locomotion via Multi-Contact Whole-Body Trajectory Optimization
by: Zhang, Xiaoyu, et al.
Published: (2026)

Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
by: Killer, Matthias, et al.
Published: (2023)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
by: Omidi, Saber, et al.
Published: (2025)

Encirclement Guaranteed Finite-Time Capture against Unknown Evader Strategies
by: Patra, Dinesh, et al.
Published: (2026)

Staggered Integral Online Conformal Prediction for Safe Dynamics Adaptation with Multi-Step Coverage Guarantees
by: Cherenson, Daniel M., et al.
Published: (2026)

Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers
by: Doering, Andreas, et al.
Published: (2023)

From Singleton Obstacles to Clutter: Translation Invariant Compositional Avoid Sets
by: Solanki, Prashant, et al.
Published: (2026)

Receding-Constraint Model Predictive Control using a Learned Approximate Control-Invariant Set
by: Lunardi, Gianni, et al.
Published: (2023)

Guarantees on Robot System Performance Using Stochastic Simulation Rollouts
by: Vincent, Joseph A., et al.
Published: (2023)

Bayesian Safety Guarantees for Port-Hamiltonian Systems with Learned Energy Functions
by: Leung, Chi Ho, et al.
Published: (2025)

Robust Direct Data-Driven Control for Probabilistic Systems
by: von Rohr, Alexander, et al.
Published: (2023)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
by: Mazouz, Rayan, et al.
Published: (2022)

Towards Fast and Safety-Guaranteed Trajectory Planning and Tracking for Time-Varying Systems
by: Siriya, Seth, et al.
Published: (2024)

Density-Driven Optimal Control: Convergence Guarantees for Stochastic LTI Multi-Agent Systems
by: Lee, Kooktae
Published: (2026)

Tensor Invariant Data-Assisted Control and Dynamic Decomposition of Multibody Systems
by: Eslami, Mostafa, et al.
Published: (2025)

Safe Guaranteed Exploration for Non-linear Systems
by: Prajapat, Manish, et al.
Published: (2024)

Guaranteed Rejection-free Sampling Method Using Past Behaviours for Motion Planning of Autonomous Systems
by: Enevoldsen, Thomas T., et al.
Published: (2021)

A Safe Hybrid Control Framework for Car-like Robot with Guaranteed Global Path-Invariance using a Control Barrier Function
by: Wang, Nan, et al.
Published: (2025)

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
by: Krasowski, Hanna, et al.
Published: (2024)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
by: Chung, Long Kiu, et al.
Published: (2024)

Efficient Path Generation with Curvature Guarantees by Mollification
by: González-Calvin, Alfredo, et al.
Published: (2025)

Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward
by: Xuan, Zetong, et al.
Published: (2024)

Learning Robust Agile Flight Control with Stability Guarantees
by: Pries, Lukas, et al.
Published: (2025)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
by: Vaisi, Goli, et al.
Published: (2025)

An Algorithm for Distributed Computation of Reachable Sets for Multi-Agent Systems
by: Thapliyal, Omanshu, et al.
Published: (2024)

Guaranteed Robust Nonlinear MPC via Disturbance Feedback
by: Leeman, Antoine P., et al.
Published: (2025)

Hybrid System Planning using a Mixed-Integer ADMM Heuristic and Hybrid Zonotopes
by: Robbins, Joshua A., et al.
Published: (2026)

Quadrotor Stabilization with Safety Guarantees: A Universal Formula Approach
by: Li, Ming, et al.
Published: (2024)

Scenario-aware Uncertainty Quantification for Trajectory Prediction with Statistical Guarantees
by: Shu, Yiming, et al.
Published: (2025)

Data-fused MPC with Guarantees: Application to Flying Humanoid Robots
by: Gorbani, Davide, et al.
Published: (2025)

Cooperative Nonlinear Guidance Strategies for Guaranteed Pursuit-Evasion
by: Kumar, Saurabh, et al.
Published: (2024)

Trajectory Tracking Control Design for Autonomous Helicopters with Guaranteed Error Bounds
by: Schitz, Philipp, et al.
Published: (2026)

Reachability-Guaranteed Optimal Control for the Interception of Dynamic Targets under Uncertainty
by: Faraci, Tommaso, et al.
Published: (2025)