Related papers: Control System Design Using Finite Laplace Transfo…
We consider a terminal control problem for processes governed by a nonlinear system of fractional ODEs. In order to show existence of the control, we first consider the linear counterpart of the system and reprove a number of classical…
Large Language Models (LLMs) are powerful but often too slow and costly for real-world use during inference. Looped transformers save on parameters by reusing the same weights for multiple computational steps, or "loops." However, this…
Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated. We…
In this paper, we propose several set-point control schemes for achieving finite-time regulation in a class of Euler--Lagrange systems with $n$ degrees of freedom and uncertain potential energy. The proposed controllers are based on…
This study presents a non-iterative tuning technique for a linear fractional-order (FO) controller, based on the integral of the time-weighted absolute error (ITAE) criterion. Minimizing the ITAE is a traditional approach for tuning FO…
A solid system consisting of two heat conducting cylinders with a thermoelectric converter (Peltier element) between them is considered. A nonlinear model, which was previously verified by authors, is used to design a constrained control…
Consistent initialization of the Laplace transform has been a fundamental and long-standing issue. The consistency of the L- approach has been questioned, yet it is a popular approach since the L+ approach requires a priori computation of…
We establish a central limit theorem for the fluctuations of the linear statistics in the $\beta$-ensemble of dimension $N$ at a temperature proportional to $N$ and with confining smooth potential. In this regime, the particles do not…
A time integration scheme based on the Laplace Transform (LT) has been implemented in a baroclinic primitive equation model. The LT scheme provides an attractive alternative to the popular semi-implicit (SI) scheme. Analysis shows that it…
This paper focuses on the invariance control problem for discrete-time switched nonlinear systems. The proposed approach computes controlled invariant sets in a finite number of iterations and directly yields a partition-based invariance…
We investigate feedback control of linear quantum systems subject to feedback-loop time delays. In particular, we examine the relation between the potentially achievable control performance and the time delays, and provide theoretical…
We study null controllability for linear heat-type systems in finite dimensions that incorporate both memory and time-delay effects. A strengthened notion of controllability, referred to as delay and memory-type null controllability, is…
The concept of fault-tolerant control has extensively been explored with various mapping of development. It starts from the system characteristic, the robustness of the controller, estimation methods and optimization, to the combination of…
This paper presents a novel load frequency control (LFC) design using integral-based decentralize fixed-order perturbed dynamic output tracking scheme in a delay dependent nonlinear interconnected multi-area power system via LMI approach.…
Recent developments in data-driven control have revived interest in the behavioral approach to systems theory, where systems are defined as sets of trajectories rather than being described by a specific model or representation. However,…
It is an interesting open problem to achieve adaptive prescribed-time control for strict-feedback systems with unknown and fast or even abrupt time-varying parameters. In this paper we present a solution with the aid of several design and…
This paper deals with the finite-time stabilization of a class of nonlinear infinite-dimensional systems. First, we consider a bounded matched perturbation in its linear form. It is shown that by using a set-valued function, both the…
Formal Concept Analysis makes the fundamental observation that any finite lattice $(L, \leq)$ is determined up to isomorphism by the restriction of the relation ${\leq} \subseteq L \times L$ to the set $J(L) \times M(L)$, where $J(L)$ is…
We consider asymptotic behavior of Fourier transforms of stationary ergodic sequences with finite second moments. We establish a central limit theorem (CLT) for almost all frequencies and also an annealed CLT. The theorems hold for all…
This paper proposes a specification-guided framework for control of nonlinear systems with linear temporal logic (LTL) specifications. In contrast with well-known abstraction-based methods, the proposed framework directly characterizes the…