Cover Image

Verification of Autonomous Systems with Optimal Controllers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Le, Dylan, McCandless, Joel, Varela, Carlos, Ivanov, Radoslav
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
by: Waite, Thomas, et al.
Published: (2025)

Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction
by: Geng, Yuang, et al.
Published: (2025)

Magnetic Ball Chain Robots for Cardiac Arrhythmia Treatment
by: Pittiglio, Giovanni, et al.
Published: (2024)

The Invisible User: A User Needs Assessment for Library Public Services.
by: McCandless, Patricia, et al.
Published: (1984)

University of Illinois Library. The Invisible User: User Needs Assessment for Library Public Services. Final Report from the Public Services Research Projects.
by: McCandless, Patricia, et al.
Published: (1985)

Carbon Neutral Greenhouse: Economic Model Predictive Control Framework for Education
by: Wadinger, Marek, et al.
Published: (2024)

Supervised Learning for Stochastic Optimal Control
by: Kurtz, Vince, et al.
Published: (2024)

Handling Control System Optimality
by: Li, Hao
Published: (2026)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

A Convex Optimal Control Framework for Autonomous Vehicle Intersection Crossing
by: Pan, Xiao, et al.
Published: (2022)

Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
by: Galarza-Jimenez, Felipe, et al.
Published: (2026)

Bellman Value Decomposition for Task Logic in Safe Optimal Control
by: Sharpless, William, et al.
Published: (2026)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
by: Wang, Han, et al.
Published: (2023)

A Minimax Optimal Controller for Positive Systems
by: Gurpegui, Alba, et al.
Published: (2025)

A Semi-smooth Newton Method for the Constrained Optimal Control of Continuous-Time Linear Systems
by: Jones, Simon J., et al.
Published: (2026)

Optimal Task and Motion Planning for Autonomous Systems Using Petri Nets
by: He, Zhou, et al.
Published: (2025)

Robust Optimal Lane-changing Control for Connected Autonomous Vehicles in Mixed Traffic
by: Li, Anni, et al.
Published: (2024)

Learning Hierarchical Control Systems for Autonomous Systems with Energy Constraints
by: Vallon, Charlott, et al.
Published: (2024)

Optimal Control of ODE Car-Following Models: Applications to Mixed-Autonomy Platoon Control via Coupled Autonomous Vehicles
by: Alanqary, Arwa, et al.
Published: (2025)

Efficient Safety Verification of Autonomous Vehicles with Neural Network Operator
by: Fan, Lingxiang, et al.
Published: (2025)

Distributed Safe Navigation of Multi-Agent Systems using Control Barrier Function-Based Optimal Controllers
by: Mestres, Pol, et al.
Published: (2024)

Optimal Unpredictable Control for Linear Systems
by: Qu, Chendi, et al.
Published: (2025)

RL-Guided MPC for Autonomous Greenhouse Control
by: Msaad, Salim, et al.
Published: (2025)

Optimal Control of Multi-Agent Systems with Processing Delays
by: Kashyap, Mruganka, et al.
Published: (2022)

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

Regret Optimal Control for Uncertain Stochastic Systems
by: Martin, Andrea, et al.
Published: (2023)

A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
by: Tayal, Manan, et al.
Published: (2025)

Optimal Control of Switched Systems Governed by Logical Switching Dynamics
by: Zhang, Xiao, et al.
Published: (2026)

A Path-Complete Approach for Optimal Control of Switched Systems
by: Ninite, Léa, et al.
Published: (2026)

Robust Nonlinear Optimal Control via System Level Synthesis
by: Leeman, Antoine P., et al.
Published: (2023)

Quadratic Optimal Control of Graphon Q-noise Linear Systems
by: Dunyak, Alex, et al.
Published: (2024)

Dynamics and Optimal Control of State-Triggered Affine Hybrid Systems
by: Clark, William A.
Published: (2024)

Scenario Reduction with Guarantees for Stochastic Optimal Control of Linear Systems
by: Cordiano, Francesco, et al.
Published: (2024)

Hierarchical Control for Vehicle Repositioning in Autonomous Mobility on Demand Systems
by: Zhu, Pengbo, et al.
Published: (2024)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)

Hybrid Metaheuristic Optimization of Distributed Control System Hardware Architecture with Model-Based Verification
by: Zakirzyanov, Ruslan
Published: (2026)

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
by: Akella, Prithvi, et al.
Published: (2024)

Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
by: Zhang, Hongchao, et al.
Published: (2026)

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
by: Agrawal, Devansh R, et al.
Published: (2022)

On Dynamic Mode Decomposition of Control-affine Systems
by: Abudia, Moad, et al.
Published: (2025)