Image de couverture de livre

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mathiesen, Frederik Baymler, Romao, Licio, Calvert, Simeon C., Laurenti, Luca, Abate, Alessandro
Format:	Preprint
Publié:	2024
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

Scalable control synthesis for stochastic systems via structural IMDP abstractions
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

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

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

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
par: Mazouz, Rayan, et autres
Publié: (2026)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
par: Banse, Adrien, et autres
Publié: (2024)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
par: Mukhi, Karan, et autres
Publié: (2025)

Data-driven Interval MDP for Robust Control Synthesis
par: Coppola, Rudi, 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)

Data-Driven Permissible Safe Control with Barrier Certificates
par: Mazouz, Rayan, et autres
Publié: (2024)

Piecewise Stochastic Barrier Functions
par: Mazouz, Rayan, et autres
Publié: (2024)

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers
par: Tzikas, Alexandros E., et autres
Publié: (2024)

Bridging conformal prediction and scenario optimization
par: O'Sullivan, Niall, et autres
Publié: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
par: Riccardi, Alessandro, et autres
Publié: (2026)

Safety Certification is Classification
par: Schön, Oliver, et autres
Publié: (2026)

Truthful Production Uncertainty in Electricity Markets: A Two-Stage Mechanism
par: Singhal, Shobhit, et autres
Publié: (2026)

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

Principles and Framework for the Operationalisation of Meaningful Human Control over Autonomous Systems
par: Calvert, Simeon C.
Publié: (2025)

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

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

Data-driven mode detection and stabilization of unknown switched linear systems
par: Eising, Jaap, et autres
Publié: (2023)

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

Robustness certificates in data-driven non-convex optimization with additively-uncertain constraints
par: Gallo, Alexander J, et autres
Publié: (2026)

Model-free stochastic linear quadratic control for discrete-time systems with multiplicative and additive noises via semidefinite programming
par: Guo, Jing, et autres
Publié: (2025)

Evaluating randomized smoothing as a defense against adversarial attacks in trajectory prediction
par: Schumann, Julian F., et autres
Publié: (2026)

StocHy: automated verification and synthesis of stochastic processes
par: Cauchi, Nathalie, et autres
Publié: (2019)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators
par: Banse, Adrien, et autres
Publié: (2025)

Data-driven quantification and visualization of resilience metrics of power distribution system
par: Wang, Dingwei, et autres
Publié: (2025)

Continuous-time Data-driven Barrier Certificate Synthesis
par: Rickard, Luke, et autres
Publié: (2025)

The impact of modeling approaches on controlling safety-critical, highly perturbed systems: the case for data-driven models
par: Łaszkiewicz, Piotr, et autres
Publié: (2025)

Data-driven distributionally robust MPC for systems with multiplicative noise: A semi-infinite semi-definite programming approach
par: Das, Souvik, et autres
Publié: (2024)

Utilization of noise for the control of a class of non-linear systems
par: Stoica, Adrian-Mihail, et autres
Publié: (2025)

Decentralized Modeling of Vehicular Maneuvers and Interactions at Urban Junctions
par: Rahmani, Saeed, et autres
Publié: (2025)

A PINN approach for the online identification and control of unknown PDEs
par: Alla, 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)

Global-in-time optimal control of stochastic third-grade fluids with additive noise
par: Kinra, Kush, et autres
Publié: (2025)

Iterative distributed moving horizon estimation of linear systems with penalties on both system disturbances and noise
par: Li, Xiaojie, et autres
Publié: (2024)

Data-driven sliding mode control for partially unknown nonlinear systems
par: Lan, Jianglin, et autres
Publié: (2024)

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

A Koopman-backstepping approach to data-driven robust output regulation for linear parabolic systems
par: Deutscher, Joachim, et autres
Publié: (2025)