:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mathiesen, Frederik Baymler, Romao, Licio, Calvert, Simeon C., Laurenti, Luca, Abate, Alessandro
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2410.06662
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scalable control synthesis for stochastic systems via structural IMDP abstractions
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

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

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

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

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

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
by: Banse, Adrien, et al.
Published: (2024)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
by: Mukhi, Karan, et al.
Published: (2025)

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

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

Piecewise Stochastic Barrier Functions
by: Mazouz, Rayan, et al.
Published: (2024)

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers
by: Tzikas, Alexandros E., et al.
Published: (2024)

Bridging conformal prediction and scenario optimization
by: O'Sullivan, Niall, et al.
Published: (2025)

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)

Truthful Production Uncertainty in Electricity Markets: A Two-Stage Mechanism
by: Singhal, Shobhit, et al.
Published: (2026)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
by: Riccardi, Alessandro, et al.
Published: (2026)

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

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

Evaluating randomized smoothing as a defense against adversarial attacks in trajectory prediction
by: Schumann, Julian F., et al.
Published: (2026)

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

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

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

Data-driven mode detection and stabilization of unknown switched linear systems
by: Eising, Jaap, et al.
Published: (2023)

Robustness certificates in data-driven non-convex optimization with additively-uncertain constraints
by: Gallo, Alexander J, et al.
Published: (2026)

StocHy: automated verification and synthesis of stochastic processes
by: Cauchi, Nathalie, et al.
Published: (2019)

Model-free stochastic linear quadratic control for discrete-time systems with multiplicative and additive noises via semidefinite programming
by: Guo, Jing, et al.
Published: (2025)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators
by: Banse, Adrien, et al.
Published: (2025)

Continuous-time Data-driven Barrier Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

Data-driven quantification and visualization of resilience metrics of power distribution system
by: Wang, Dingwei, et al.
Published: (2025)

Decentralized Modeling of Vehicular Maneuvers and Interactions at Urban Junctions
by: Rahmani, Saeed, et al.
Published: (2025)

The impact of modeling approaches on controlling safety-critical, highly perturbed systems: the case for data-driven models
by: Łaszkiewicz, Piotr, et al.
Published: (2025)

Data-driven distributionally robust MPC for systems with multiplicative noise: A semi-infinite semi-definite programming approach
by: Das, Souvik, et al.
Published: (2024)

Risk-Averse Certification of Bayesian Neural Networks
by: Zhang, Xiyue, et al.
Published: (2024)

ARCH-COMP25 Category Report: Stochastic Models
by: Abate, Alessandro, et al.
Published: (2025)

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

Utilization of noise for the control of a class of non-linear systems
by: Stoica, Adrian-Mihail, et al.
Published: (2025)

A PINN approach for the online identification and control of unknown PDEs
by: Alla, Alessandro, et al.
Published: (2024)

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

Realistic Adversarial Attacks for Robustness Evaluation of Trajectory Prediction Models via Future State Perturbation
by: Schumann, Julian F., et al.
Published: (2025)

A survey on robustness in trajectory prediction for autonomous vehicles
by: Hagenus, Jeroen, et al.
Published: (2024)