English
Related papers

Related papers: Data-Driven Synthesis of Probabilistic Controlled …

200 papers

We consider controller synthesis for stochastic and partially unknown environments in which safety is essential. Specifically, we abstract the problem as a Markov decision process in which the expected performance is measured using a cost…

Software Engineering · Computer Science 2015-10-21 Sebastian Junges , Nils Jansen , Christian Dehnert , Ufuk Topcu , Joost-Pieter Katoen

We compute probabilistic controlled invariant sets for nonlinear systems using Gaussian process state space models, which are data-driven models that account for unmodeled and unknown nonlinear dynamics. We propose a semidefinite…

Systems and Control · Electrical Eng. & Systems 2026-04-21 Paul Griffioen , Bingzhuo Zhong , Murat Arcak , Majid Zamani , Marco Caccamo

Model Predictive Control (MPC) can be applied to safety-critical control problems, providing closed-loop safety and performance guarantees. Implementation of MPC controllers requires solving an optimization problem at every sampling…

Systems and Control · Electrical Eng. & Systems 2025-03-27 Nicolas Chatzikiriakos , Kim P. Wabersich , Felix Berkel , Patricia Pauli , Andrea Iannelli

Safety remains a central challenge in control of dynamical systems, particularly when the boundaries of unsafe sets are complex (e.g., nonconvex, nonsmooth) or unknown. This paper proposes a learning-enabled framework for safety-critical…

Systems and Control · Electrical Eng. & Systems 2025-09-16 Shuo Liu , Zhe Huang , Jun Zeng , Koushil Sreenath , Calin A. Belta

We develop a control algorithm that ensures the safety, in terms of confinement in a set, of a system with unknown, 2nd-order nonlinear dynamics. The algorithm establishes novel connections between data-driven and robust, nonlinear control.…

Systems and Control · Electrical Eng. & Systems 2021-05-17 Christos K. Verginis , Franck Djeumou , Ufuk Topcu

Designing data-driven controllers in the presence of noise is an important research problem, in particular when guarantees on stability, robustness, and constraint satisfaction are desired. In this paper, we propose a data-driven min-max…

Systems and Control · Electrical Eng. & Systems 2023-10-02 Yifan Xie , Julian Berberich , Frank Allgower

Employing model predictive control to systems with unbounded, stochastic disturbances poses the challenge of guaranteeing safety, i.e., repeated feasibility and stability of the closed-loop system. Especially, there are no strict repeated…

Systems and Control · Electrical Eng. & Systems 2024-10-11 Maik Pfefferkorn , Rolf Findeisen

This paper presents a data-driven nonlinear safe control design approach for discrete-time systems under parametric uncertainties and additive disturbances. We first characterize a new control structure from which a data-based…

Systems and Control · Electrical Eng. & Systems 2025-05-13 Amir Modares , Bosen Lian , Hamidreza Modares

Controllers for dynamical systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modeled as process noise in a dynamical system, and common assumptions are that the underlying…

Systems and Control · Electrical Eng. & Systems 2023-01-24 Thom Badings , Licio Romao , Alessandro Abate , David Parker , Hasan A. Poonawala , Marielle Stoelinga , Nils Jansen

In adaptive-sampling control, the control frequency can be adjusted during task execution. Ensuring that these changes do not jeopardize the safety of the system being controlled requires attention. We introduce robust M-step hold model…

Systems and Control · Electrical Eng. & Systems 2026-05-08 Spencer Schutz , Charlott Vallon , Francesco Borrelli

Periodic operation often emerges as the economically optimal mode in industrial processes, particularly under varying economic or environmental conditions. This paper proposes a robust model predictive control (MPC) framework for uncertain…

Systems and Control · Electrical Eng. & Systems 2025-12-23 Filippo Badalamenti , Jose A. Borja-Conde , Sampath Kumar Mulagaleti , Boris Houska , Alberto Bemporad , Mario Eduardo Villanueva

Distributed model predictive control methods for uncertain systems often suffer from considerable conservatism and can tolerate only small uncertainties due to the use of robust formulations that are amenable to distributed design and…

Systems and Control · Electrical Eng. & Systems 2022-03-03 Simon Muntwiler , Kim P. Wabersich , Lukas Hewing , Melanie N. Zeilinger

This paper demonstrates the applicability of the safe model predictive control (SMPC) framework to autonomous driving scenarios, focusing on the design of adaptive cruise control (ACC) and automated lane-change systems. Building on the SMPC…

Systems and Control · Electrical Eng. & Systems 2025-05-12 Francesco Prignoli , Ying Shuai Quan , Mohammad Jeddi , Jonas Sjöberg , Paolo Falcone

Differential privacy (DP) enables safe data release, with synthetic data generation emerging as a common approach in recent years. Yet standard synthesizers preserve all dependencies in the data, including spurious correlations between…

Databases · Computer Science 2026-03-26 Naeim Ghahramanpour , Mostafa Milani

Designing the terminal ingredients of direct data-driven predictive control presents challenges due to its reliance on an implicit, non-minimal input-output data-driven representation. By considering the class of constrained LTI systems…

Systems and Control · Electrical Eng. & Systems 2024-11-04 Mohammad Bajelani , Walter Lucia , Klaske van Heusden

Safety and tracking stability are crucial for safety-critical systems such as self-driving cars, autonomous mobile robots, industrial manipulators. To efficiently control safety-critical systems to ensure their safety and achieve tracking…

Robotics · Computer Science 2020-09-22 Lei Zheng , Jiesen Pan , Rui Yang , Hui Cheng , Haifeng Hu

This note extends a recently proposed algorithm for model identification and robust MPC of asymptotically stable, linear time-invariant systems subject to process and measurement disturbances. Independent output predictors for different…

Systems and Control · Electrical Eng. & Systems 2021-03-02 Enrico Terzi , Lorenzo Fagiano , Marcello Farina , Riccardo Scattolini

This letter proposes a novel sampled-data model predictive control framework for continuous control-affine nonlinear systems that provides rigorous reach-avoid and recursive feasibility guarantees under physical constraints. By propagating…

Optimization and Control · Mathematics 2026-04-07 Jianqiang Ding , Nishant Jayesh Bhave , Shankar A. Deka

Finding a controlled-invariant set for a system with state and control constraints is crucial for safety-critical applications. However, existing methods often produce overly conservative solutions. This paper presents a method for…

Systems and Control · Electrical Eng. & Systems 2025-08-12 Naeim Ebrahimi Toulkani , Reza Ghabcheloo

We establish an algorithm to learn feedback maps from data for a class of robust model predictive control (MPC) problems. The algorithm accounts for the approximation errors due to the learning directly at the synthesis stage, ensuring…

Optimization and Control · Mathematics 2025-10-16 Siddhartha Ganguly , Shubham Gupta , Debasish Chatterjee
‹ Prev 1 3 4 5 6 7 10 Next ›