Image de couverture de livre

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Riccardi, Alessandro, Badings, Thom, Laurenti, Luca, Abate, Alessandro, De Schutter, Bart
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
par: Badings, Thom, et autres
Publié: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
par: Nazeri, Mahdi, et autres
Publié: (2025)

A general partitioning strategy for non-centralized control
par: Riccardi, Alessandro, et autres
Publié: (2025)

Partitioning techniques for non-centralized predictive control: A systematic review and novel theoretical insights
par: Riccardi, Alessandro, et autres
Publié: (2025)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
par: Badings, Thom, et autres
Publié: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
par: Vertovec, Nikolaus, et autres
Publié: (2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
par: Nazeri, Mahdi, et autres
Publié: (2025)

A Benchmark for the Application of Distributed Control Techniques to the Electricity Network of the European Economic Area
par: Riccardi, A., et autres
Publié: (2024)

Scenario Reduction with Guarantees for Stochastic Optimal Control of Linear Systems
par: Cordiano, Francesco, et autres
Publié: (2024)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
par: Cauchi, Nathalie, et autres
Publié: (2019)

Certified Neural Approximations of Nonlinear Dynamics
par: Mathiesen, Frederik Baymler, et autres
Publié: (2025)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
par: Badings, Thom, et autres
Publié: (2024)

Iterative Cut-Based PWA Approximation of Multi-Dimensional Nonlinear Systems
par: Gharavi, Leila, et autres
Publié: (2024)

Certainty-Equivalence Model Predictive Control: Stability, Performance, and Beyond
par: Liu, Changrui, et autres
Publié: (2024)

Uncertainty Partitioning with Probabilistic Feasibility and Performance Guarantees for Chance-Constrained Optimization
par: Cordiano, Francesco, et autres
Publié: (2025)

Uniform Feasibility For Smoothed Backup Control Barrier Functions
par: Alan, Anil, et autres
Publié: (2025)

Piecewise Control Barrier Functions for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2025)

Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems
par: Souza, Francisco, et autres
Publié: (2025)

Distributed Model Predictive Control for Piecewise Affine Systems Based on Switching ADMM
par: Mallick, Samuel, et autres
Publié: (2024)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

Learning-Based Model Predictive Control for Piecewise Affine Systems with Feasibility Guarantees
par: Mallick, Samuel, et autres
Publié: (2024)

Efficient MPC for Emergency Evasive Maneuvers, Part I: Hybridization of the Nonlinear Problem
par: Gharavi, Leila, et autres
Publié: (2023)

Neural Proofs for Sound Verification and Control of Complex Systems
par: Abate, Alessandro
Publié: (2025)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Stochastic Omega-Regular Verification and Control with Supermartingales
par: Abate, Alessandro, et autres
Publié: (2024)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
par: Laurenti, Luca, et autres
Publié: (2023)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2026)

Sensitivity Analysis for Piecewise-Affine Approximations of Nonlinear Programs with Polytopic Constraints
par: Gharavi, Leila, et autres
Publié: (2024)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
par: Delimpaltadakis, Giannis, et autres
Publié: (2022)

A Comparison Benchmark for Distributed Hybrid MPC Control Methods: Distributed Vehicle Platooning
par: Mallick, Samuel, et autres
Publié: (2024)

Efficient MPC for Emergency Evasive Maneuvers, Part II: Comparative Assessment for Hybrid Control
par: Gharavi, Leila, et autres
Publié: (2023)

Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
par: Adams, Steven, et autres
Publié: (2025)

Optimization-based Coordination of Traffic Lights and Automated Vehicles at Intersections
par: Dabiri, Azita, et autres
Publié: (2025)

Robust Adaptive Discrete-Time Control Barrier Certificate
par: Liu, Changrui, et autres
Publié: (2025)

Model Predictive Control for Cooperative Docking Between Autonomous Surface Vehicles with Disturbance Rejection
par: Battocletti, Gianpietro, et autres
Publié: (2025)

Reinforcement Learning with Model Predictive Control for Highway Ramp Metering
par: Airaldi, Filippo, et autres
Publié: (2023)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
par: Mukhi, Karan, et autres
Publié: (2025)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
par: Figueiredo, Eduardo, et autres
Publié: (2024)

Integrated Online Monitoring and Adaption of Process Model Predictive Controllers
par: Mallick, Samuel, et autres
Publié: (2026)