Cover Image

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Riccardi, Alessandro, Badings, Thom, Laurenti, Luca, Abate, Alessandro, De Schutter, Bart
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

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
by: Nazeri, Mahdi, et al.
Published: (2025)

A general partitioning strategy for non-centralized control
by: Riccardi, Alessandro, et al.
Published: (2025)

Partitioning techniques for non-centralized predictive control: A systematic review and novel theoretical insights
by: Riccardi, Alessandro, et al.
Published: (2025)

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

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
by: Badings, Thom, et al.
Published: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
by: Nazeri, Mahdi, et al.
Published: (2025)

A Benchmark for the Application of Distributed Control Techniques to the Electricity Network of the European Economic Area
by: Riccardi, A., et al.
Published: (2024)

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

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

Certified Neural Approximations of Nonlinear Dynamics
by: Mathiesen, Frederik Baymler, et al.
Published: (2025)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
by: Badings, Thom, et al.
Published: (2024)

Iterative Cut-Based PWA Approximation of Multi-Dimensional Nonlinear Systems
by: Gharavi, Leila, et al.
Published: (2024)

Certainty-Equivalence Model Predictive Control: Stability, Performance, and Beyond
by: Liu, Changrui, et al.
Published: (2024)

Uncertainty Partitioning with Probabilistic Feasibility and Performance Guarantees for Chance-Constrained Optimization
by: Cordiano, Francesco, et al.
Published: (2025)

Uniform Feasibility For Smoothed Backup Control Barrier Functions
by: Alan, Anil, et al.
Published: (2025)

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

Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems
by: Souza, Francisco, et al.
Published: (2025)

Distributed Model Predictive Control for Piecewise Affine Systems Based on Switching ADMM
by: Mallick, Samuel, et al.
Published: (2024)

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

Learning-Based Model Predictive Control for Piecewise Affine Systems with Feasibility Guarantees
by: Mallick, Samuel, et al.
Published: (2024)

Efficient MPC for Emergency Evasive Maneuvers, Part I: Hybridization of the Nonlinear Problem
by: Gharavi, Leila, et al.
Published: (2023)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

Stochastic Omega-Regular Verification and Control with Supermartingales
by: Abate, Alessandro, et al.
Published: (2024)

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

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

Sensitivity Analysis for Piecewise-Affine Approximations of Nonlinear Programs with Polytopic Constraints
by: Gharavi, Leila, et al.
Published: (2024)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

A Comparison Benchmark for Distributed Hybrid MPC Control Methods: Distributed Vehicle Platooning
by: Mallick, Samuel, et al.
Published: (2024)

Efficient MPC for Emergency Evasive Maneuvers, Part II: Comparative Assessment for Hybrid Control
by: Gharavi, Leila, et al.
Published: (2023)

Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
by: Adams, Steven, et al.
Published: (2025)

Optimization-based Coordination of Traffic Lights and Automated Vehicles at Intersections
by: Dabiri, Azita, et al.
Published: (2025)

Robust Adaptive Discrete-Time Control Barrier Certificate
by: Liu, Changrui, et al.
Published: (2025)

Model Predictive Control for Cooperative Docking Between Autonomous Surface Vehicles with Disturbance Rejection
by: Battocletti, Gianpietro, et al.
Published: (2025)

Reinforcement Learning with Model Predictive Control for Highway Ramp Metering
by: Airaldi, Filippo, et al.
Published: (2023)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
by: Mukhi, Karan, et al.
Published: (2025)

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

Integrated Online Monitoring and Adaption of Process Model Predictive Controllers
by: Mallick, Samuel, et al.
Published: (2026)