:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kong, Chun-Wei, McMahon, Jay, Lahijanian, Morteza
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2509.04708
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs
by: Kong, Chun-Wei, et al.
Published: (2026)

Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
by: Kong, Chun-Wei, et al.
Published: (2024)

A Control Framework for CUBESAT Rendezvous and Proximity Operations using Electric Propulsion
by: Lin, Bo-Chuan, et al.
Published: (2024)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
by: Amorese, Peter, et al.
Published: (2025)

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
by: Amorese, Peter, et al.
Published: (2026)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
by: Gracia, Ibon, et al.
Published: (2025)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
by: Gracia, Ibon, et al.
Published: (2025)

On the Optimality of Uncertain MDP Abstractions
by: Gracia, Ibon, et al.
Published: (2026)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
by: Laurenti, Luca, et al.
Published: (2023)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
by: Amorese, Peter, et al.
Published: (2025)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
by: Amorese, Peter, et al.
Published: (2026)

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
by: Reed, Robert, et al.
Published: (2024)

Optimal Rank-1 Directional State Transition Tensors
by: Calkins, Grace E., et al.
Published: (2025)

Piecewise Control Barrier Functions for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2025)

Improved Directional State Transition Tensors for Accurate Aerocapture Performance Analysis
by: Calkins, Grace E., et al.
Published: (2025)

Batch Estimation of a Steady, Uniform, Flow-Field from Ground Velocity and Heading Measurements
by: Wolek, Artur, et al.
Published: (2024)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2026)

Promises of Deep Kernel Learning for Control Synthesis
by: Reed, Robert, et al.
Published: (2023)

Risk-Aware Aerocapture Guidance Through a Probabilistic Indicator Function
by: Calkins, Grace E., et al.
Published: (2025)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
by: Mazouz, Rayan, et al.
Published: (2026)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
by: Figueiredo, Eduardo, et al.
Published: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
by: Skovbekk, John, et al.
Published: (2021)

Provably Safe Motion Planning Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2026)

Interval Markov Decision Processes with Continuous Action-Spaces
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Falsification of Autonomous Systems in Rich Environments
by: Elimelech, Khen, et al.
Published: (2024)

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

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
by: Gracia, Ibon, et al.
Published: (2022)

Active Fault Identification and Robust Control for Unknown Bounded Faults via Volume-Based Costs
by: Daniels, Annalena, et al.
Published: (2025)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
by: Cauchi, Nathalie, et al.
Published: (2019)

Observer-Based Active Fault/Disturbance Compensation Control for Fully Actuated Systems
by: Ren, Weijie, et al.
Published: (2026)

Data-Driven Permissible Safe Control with Barrier Certificates
by: Mazouz, Rayan, et al.
Published: (2024)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

Active Islanding Detection Using Pulse Compression Probing
by: Piaquadio, Nicholas, et al.
Published: (2024)

Active Estimation of Multiplicative Faults in Dynamical Systems
by: Gleizer, Gabriel de Albuquerque, et al.
Published: (2025)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
by: Graebener, Josefine B., et al.
Published: (2025)

NMPC-based Unified Posture Manipulation and Thrust Vectoring for Fault Recovery
by: Salagame, Adarsh, et al.
Published: (2025)

Enhancing Fault Detection in CO2 Refrigeration Systems: Optimal Sensor Selection and Robustness Analysis Using Tree-Based Machine Learning
by: Farahani, Masoud Kishani, et al.
Published: (2025)