English
Related papers

Related papers: Formally Verified Neural Network Controllers for I…

200 papers

This paper proposes a reinforcement learning-based approach for optimal transient frequency control in power systems with stability and safety guarantees. Building on Lyapunov stability theory and safety-critical control, we derive…

Systems and Control · Electrical Eng. & Systems 2024-02-22 Zhenyi Yuan , Changhong Zhao , Jorge Cortes

This paper presents a constraint-enforcing control framework for a class of discrete-time strict-feedback nonlinear systems. The objective is to guarantee closed-loop stability while ensuring forward invariance of a prescribed safe set…

Optimization and Control · Mathematics 2026-04-29 Jhon Manuel Portella Delgado , Ankit Goel

This paper deals with the tracking control problem for a very simple class of unknown nonlinear systems. In this paper, we presents a design strategy for tracking control of time-varying state constrained nonlinear systems in an adaptive…

Systems and Control · Electrical Eng. & Systems 2022-10-12 Pankaj Kumar Mishra , Nishchal K Verma

This article presents an adaptive nonlinear delayed feedback control scheme for stabilizing the unstable periodic orbit of unknown fractional-order chaotic systems. The proposed control framework uses the Lyapunov approach and sliding mode…

Systems and Control · Electrical Eng. & Systems 2023-11-10 Bahram Yaghooti , Kaveh Safavigerdini , Reza Hajiloo , Hassan Salarieh

Practical stabilization of input-affine systems in the presence of measurement errors and input constraints is considered in this brief note. Assuming that a Lyapunov function and a stabilizing control exist for an input-affine system, the…

Systems and Control · Electrical Eng. & Systems 2025-01-16 Patrick Schmidt , Pavel Osinenko , Stefan Streif

This paper proposes a novel control architecture for state and input constrained Euler-Lagrange (E-L) systems with parametric uncertainties. A simple saturated controller is strategically coupled with a Barrier Lyapunov Function (BLF) based…

Systems and Control · Electrical Eng. & Systems 2022-12-19 Poulomee Ghosh , Shubhendu Bhasin

This work primarily focuses on an operator inference methodology aimed at constructing low-dimensional dynamical models based on a priori hypotheses about their structure, often informed by established physics or expert insights. Stability…

Machine Learning · Computer Science 2024-03-04 Igor Pontes Duff , Pawan Goyal , Peter Benner

We develop a model-free framework for stabilizing quantum states using only empirical finite-difference evaluations of a measurement-derived Lyapunov observable. The controller requires no knowledge of the Hamiltonian, dissipative…

Quantum Physics · Physics 2026-04-14 Robert Vrabel

In this paper, we show that an infinite network of input-to-state stable (ISS) subsystems, admitting ISS Lyapunov functions, itself admits an ISS Lyapunov function, provided that the couplings between the subsystems are sufficiently weak.…

Optimization and Control · Mathematics 2022-02-16 Christoph Kawan , Andrii Mironchenko , Majid Zamani

Some recent papers have extended the concept of finite-time stability (FTS) to the context of 2D linear systems, where it has been referred to as finite-region stability (FRS). FRS methodologies make even more sense than the classical FTS…

Systems and Control · Electrical Eng. & Systems 2024-12-20 Chao Liang , Carlo Cosentino , Alessio Merola , Maria Romano , Francesco Amato

Modern control systems must operate in increasingly complex environments subject to safety constraints and input limits, and are often implemented in a hierarchical fashion with different controllers running at multiple time scales. Yet…

Systems and Control · Electrical Eng. & Systems 2022-04-04 Noel Csomay-Shanklin , Andrew J. Taylor , Ugo Rosolia , Aaron D. Ames

Large-scale interconnected networks, composed of multiple low-dimensional subsystems, serve as a crucial framework for modeling a wide range of real-world applications. Despite offering computational scalability, the inherent…

Systems and Control · Electrical Eng. & Systems 2025-02-28 Behrad Samari , Gian Paolo Incremona , Antonella Ferrara , Abolfazl Lavaei

This note proposes a data-driven output-feedback stabilizing policy iteration for unknown linear discrete-time systems with unmeasurable states. Existing policy iteration methods for optimal control must start from a stabilizing control…

Systems and Control · Electrical Eng. & Systems 2025-12-01 Dongdong Li , Jiuxiang Dong

There are recent shifts in demand for design controllers from simplified to complex model-based. Although simplification approaches are successful in many areas of engineering control systems, high-fidelity simulation-based control design,…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Jongrae Kim

In this paper, a linear hyperbolic system of balance laws with boundary disturbances in one dimension is considered. An explicit candidate Input-to-State Stability (ISS)-Lyapunov function in $ L^2- $norm is considered and discretised to…

Optimization and Control · Mathematics 2020-06-05 Gediyon Yemane Weldegiyorgis , Mapundi Kondwani Banda

In this paper, a method is presented to synthesize neural network controllers such that the feedback system of plant and controller is dissipative, certifying performance requirements such as L2 gain bounds. The class of plants considered…

Systems and Control · Electrical Eng. & Systems 2024-04-12 Neelay Junnarkar , Murat Arcak , Peter Seiler

When neural networks are used to model dynamics, properties such as stability of the dynamics are generally not guaranteed. In contrast, there is a recent method for learning the dynamics of autonomous systems that guarantees global…

Machine Learning · Computer Science 2022-03-21 Kenji Kashima , Ryota Yoshiuchi , Yu Kawano

Stochastic uncertainties in complex dynamical systems lead to variability of system states, which can in turn degrade the closed-loop performance. This paper presents a stochastic model predictive control approach for a class of nonlinear…

Optimization and Control · Mathematics 2016-11-18 Edward A. Buehler , Joel A. Paulson , Ali Akhavan , Ali Mesbah

The study proposes new results on the set input-to-state stability (ISS) subject to a small input time delay for compact, invariant sets that contains the origin. First, using the nonlinear small-gain theory, we prove a Razumikhin-type…

Systems and Control · Electrical Eng. & Systems 2022-11-24 Pallavi Sinha , Irinel-Constantin Morărescu , Sukumar Srikant

Output reference tracking can be improved by iteratively learning from past data to inform the design of feedforward control inputs for subsequent tracking attempts. This process is called iterative learning control (ILC). This article…

Systems and Control · Electrical Eng. & Systems 2021-08-18 Isaac A Spiegel , Nard Strijbosch , Tom Oomen , Kira Barton