Results 1 to 10 of about 177,844 (169)
A Logic Theory Pattern for Linearized Control Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2021 This paper describes a procedure that system developers can follow to translate typical mathematical representations of linearized control systems into logic theories. These theories are then used to verify system requirements and find constraints on design parameters, with the support of computer-assisted theorem proving.
Domenici A., Bernardeschi C.
openaire +2 more sources
Control Theory for Linear Systems [PDF]
Applied Mechanics Reviews, 2001 Control Theory for Linear Systems deals with the mathematical theory of feedback control of linear systems. It treats a wide range of control synthesis problems for linear state space systems with inputs and outputs. The book provides a treatment of these problems using state space methods, often with a geometric flavour. Its subject matter ranges from
Trentelman, Harry L. +2 more
openaire +5 more sources
Carleman inequality for a class of super strong degenerate parabolic operators and applications
Electronic Journal of Qualitative Theory of Differential Equations, 2023 In this paper, we present a new Carleman estimate for the adjoint equations associated to a class of super strong degenerate parabolic linear problems. Our approach considers a standard geometric imposition on the control domain, which can not be removed
Bruno Sérgio Araújo +2 more
doaj +1 more source
Exponential stability of discrete‐time delayed neural networks with saturated impulsive control
IET Control Theory & Applications, 2021 This paper examines the problem of the locally exponentially stability for impulsive discrete‐time delayed neural networks (IDDNNs) with actuator saturation.
Zhilong He +3 more
doaj +1 more source
IET Control Theory & Applications, 2021 This paper is concerned with necessary and sufficient conditions for stabilisability of time‐varying discrete‐time switched systems. Starting with an asymptotically stable function, an exponentially stable function and a uniformly exponentially stable ...
Junjie Lu, Zhikun She, Fucheng Liao
doaj +1 more source
Stabilizing non‐linear model predictive control using linear parameter‐varying embeddings and tubes
IET Control Theory & Applications, 2021 This paper proposes a model predictive control (MPC) approach for non‐linear systems where the non‐linear dynamics are embedded inside a linear parameter‐varying (LPV) representation. The non‐linear MPC problem is therefore replaced by an LPV MPC problem,
Jurre Hanema, Roland Tóth, Mircea Lazar
doaj +1 more source
Coordination of multi‐agent systems with arbitrary convergence time
IET Control Theory & Applications, 2021 This paper proposes fixed‐time solutions to several problems in multi‐agent systems. First, a fixed‐time consensus protocol is investigated and under the assumption that the lower bound of smallest positive eigenvalue of the Laplacian matrix is known in ...
Thanh Truong Nguyen +4 more
doaj +1 more source
IET Control Theory & Applications, 2021 Mathematical modelings of many electric and mechanical systems involve piecewise linear system. Piecewise linear system can possess a periodic solution called a limit‐cycle oscillation (LCO), which can seriously undermine the system performance ...
Yongeun Yoon, Eric N Johnson
doaj +1 more source
Adaptive stochastic model predictive control of linear systems using Gaussian process regression
IET Control Theory & Applications, 2021 This paper presents a stochastic model predictive control method for linear time‐invariant systems subject to state‐dependent additive uncertainties modelled by Gaussian process (GP).
Fei Li, Huiping Li, Yuyao He
doaj +1 more source
Convex model predictive control for collision avoidance
IET Control Theory & Applications, 2021 This manuscript proposes a model predictive control for collision avoidance for the regulation problem of deterministic linear systems, which provides a priori guarantees of strong system theoretic properties, such as positive invariance and asymptotic ...
Saša V. Raković +4 more
doaj +1 more source