中文
相关论文

相关论文: Formally Verified Neural Network Controllers for I…

200 篇论文

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…

系统与控制 · 电气工程与系统科学 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…

最优化与控制 · 数学 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…

系统与控制 · 电气工程与系统科学 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…

系统与控制 · 电气工程与系统科学 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…

系统与控制 · 电气工程与系统科学 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…

系统与控制 · 电气工程与系统科学 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…

机器学习 · 计算机科学 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…

量子物理 · 物理学 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.…

最优化与控制 · 数学 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…

系统与控制 · 电气工程与系统科学 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…

系统与控制 · 电气工程与系统科学 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…

系统与控制 · 电气工程与系统科学 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…

系统与控制 · 电气工程与系统科学 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,…

系统与控制 · 电气工程与系统科学 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…

最优化与控制 · 数学 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…

系统与控制 · 电气工程与系统科学 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…

机器学习 · 计算机科学 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…

最优化与控制 · 数学 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…

系统与控制 · 电气工程与系统科学 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…

系统与控制 · 电气工程与系统科学 2021-08-18 Isaac A Spiegel , Nard Strijbosch , Tom Oomen , Kira Barton