:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kötz, Lasse, Åkesson, Knut
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2605.07541
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Optimal Control-Based Falsification of Learnt Dynamics via Neural ODEs and Symbolic Regression
by: Kötz, Lasse, et al.
Published: (2026)

Falsification of Cyber-Physical Systems using Bayesian Optimization
by: Ramezani, Zahra, et al.
Published: (2022)

Gradient Field-Based Dynamic Window Approach for Collision Avoidance in Complex Environments
by: Zhang, Ze, et al.
Published: (2025)

Combining High Level Scheduling and Low Level Control to Manage Fleets of Mobile Robots
by: Roselli, Sabino Francesco, et al.
Published: (2025)

Collision-Free Navigation of Mobile Robots via Quadtree-Based Model Predictive Control
by: Ali, Osama Al Sheikh, et al.
Published: (2025)

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
by: Ren, Dejin, et al.
Published: (2025)

Future-Oriented Navigation: Dynamic Obstacle Avoidance with One-Shot Energy-Based Multimodal Motion Prediction
by: Zhang, Ze, et al.
Published: (2025)

Falsification of Autonomous Systems in Rich Environments
by: Elimelech, Khen, et al.
Published: (2024)

Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach
by: Shahrooei, Zahra, et al.
Published: (2024)

Falsification-driven reinforcement learning for maritime motion planning
by: Müller, Marlon, et al.
Published: (2025)

RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
by: Tsujio, Kohei, et al.
Published: (2025)

Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection
by: Tsujio, Kohei, et al.
Published: (2024)

The Epistemic Support-Point Filter: Jaynesian Maximum Entropy Meets Popperian Falsification
by: Jah, Moriba Kemessia
Published: (2026)

Explicit Ensemble Learning Surrogate for Joint Chance-Constrained Optimal Power Flow
by: Javadi, Amir Bahador, et al.
Published: (2025)

SOLIS: Physics-Informed Learning of Interpretable Neural Surrogates for Nonlinear Systems
by: Mansur, Murat Furkan, et al.
Published: (2026)

Data-driven Learning of LPV Surrogate Models of Fuel Sloshing
by: Olucha, E. Javier, et al.
Published: (2026)

Assumed Density Filtering and Smoothing with Neural Network Surrogate Models
by: Kuang, Simon, et al.
Published: (2025)

Surrogate Modeling and Control of Medical Digital Twins
by: Fonseca, Luis L., et al.
Published: (2024)

Optimal Parameter Design for Power Electronic Converters Using a Probabilistic Learning-Based Stochastic Surrogate Model
by: Mahajan, Akash, et al.
Published: (2025)

High-Dimensional Surrogate Modeling for Closed-Loop Learning of Neural-Network-Parameterized Model Predictive Control
by: Hirt, Sebastian, et al.
Published: (2025)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
by: Zhang, Hang, et al.
Published: (2023)

Learning Constraint Surrogate Model for Two-stage Stochastic Unit Commitment
by: Javadi, Amir Bahador, et al.
Published: (2025)

Autonomous Underground Freight Transport Systems -- The Future of Urban Logistics?
by: Bienzeisler, Lasse, et al.
Published: (2024)

Enhanced Optimal Power Flow Using a Trained Neural Network Surrogate for Distribution Grid Constraints
by: Panagi, Savvas, et al.
Published: (2026)

Acceleration of Power System Dynamic Simulations using a Deep Equilibrium Layer and Neural ODE Surrogate
by: Bossart, Matthew, et al.
Published: (2024)

A software framework for stochastic model predictive control of nonlinear continuous-time systems (GRAMPC-S)
by: Landgraf, Daniel, et al.
Published: (2024)

Occupancy Prediction for Building Energy Systems with Latent Force Models
by: Wietzke, Thore, et al.
Published: (2024)

State Forecasting in an Estimation Framework with Surrogate Sensor Modeling
by: Narayanan, Sriram, et al.
Published: (2026)

Learning a Non-linear Surrogate Model for Multistage Stochastic Transmission Planning
by: Schmitt, Victor, et al.
Published: (2026)

Sample-Efficient Learning for a Surrogate Model of Three-Phase Distribution System
by: Nguyen, Hoang Tien, et al.
Published: (2023)

On-the-fly Surrogation for Complex Nonlinear Dynamics
by: Olucha, E. Javier, et al.
Published: (2025)

ReLU Surrogates in Mixed-Integer MPC for Irrigation Scheduling
by: Agyeman, Bernard T., et al.
Published: (2024)

Offset-free Nonlinear MPC with Koopman-based Surrogate Models
by: Schimperna, Irene, et al.
Published: (2025)

Koopman-Based Surrogate Models for Multi-Objective Optimization of Agent-Based Systems
by: Niemann, Jan-Hendrik, et al.
Published: (2023)

Parametric Nonconvex Optimization via Convex Surrogates
by: Wang, Renzi, et al.
Published: (2026)

Multivariable Gradient-Based Extremum Seeking Control with Saturation Constraints
by: Silva, Enzo Ferreira Tomaz, et al.
Published: (2025)

Gradient- and Newton-Based Unit Vector Extremum Seeking Control
by: Luo, Roberto, et al.
Published: (2025)

Learning Surrogate LPV State-Space Models with Uncertainty Quantification
by: Olucha, E. Javier, et al.
Published: (2026)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
by: Schön, Oliver, et al.
Published: (2025)

Optimisation of Structured Neural Controller Based on Continuous-Time Policy Gradient
by: Cho, Namhoon, et al.
Published: (2022)