One of the problems of the modern theory of automatic control is the construction of verified mathematical models of objects of regulation. In some cases, obtaining such models is not possible. This paper discusses ap...
详细信息
The proceedings contain 61 papers. The topics discussed include: the process of low-temperature gas separation as an object of modeling;design of a software complex for control of induction equipment of metallurgical ...
ISBN:
(纸本)9798350304664
The proceedings contain 61 papers. The topics discussed include: the process of low-temperature gas separation as an object of modeling;design of a software complex for control of induction equipment of metallurgical manufacture using systems theory;method of uniform optimization for controlled systems with distributed parameters;generalized procedure for synergetic synthesis of vector regulators of electromechanical systems;adaptive robust control of a tricopter with rotary propellers under uncertainty and limited input actions;synergetic synthesis of the autopilot of an amphibious aircraft for the implementation of the ‘landing on water – planing – taking off from the water’ mode;and geoportals in solving the problem of control over spatially distributed systems.
The control of complexsystems is typically designed describing the physical system with differential equations. The standard approach to their verification employs numerical analysis, which is suitable to prove stabi...
详细信息
ISBN:
(纸本)9798350325430
The control of complexsystems is typically designed describing the physical system with differential equations. The standard approach to their verification employs numerical analysis, which is suitable to prove stability properties, but is susceptible to numerical errors. On the other side, symbolic techniques give precise analysis results but typically do not scale to industrial size problems. In this paper, we consider the control design of an aircraft engine. The engine model is represented by a linear state space model of 18 internal state variables, 4 outputs, and 3 inputs. The control switches between two PI controllers, one for thrust control and another for low-pressure compressor spool speed control, based on the engine state and pilot commands. After reformulating the PI controllers in terms of differential equations, we obtain a hybrid system with 21 state variables and two modes, for which we want to prove with symbolic techniques the robustness of the stable states to perturbation. We achieved the verification with standard methods to synthesize quadratic Lyapunov functions and SMT techniques to synthesize neighborhoods of the stable states for which we have symbolic proof of stability.
The equivalent modeling problem of active distribution networks (ADN) has been one of the hot issues in power system-related research. When more and more distributed energy sources are connected to the grid, such prob...
详细信息
The more complex nonlinear feedback in the design of controller for multi-agent systems (MASs), the more chattering is likely to occur in the control input. However, it is difficult for the existing methods to achieve...
详细信息
Number of engineering systems can be characterized as complex since they have a dynamic and nonlinear behaviour incorporating a stochastic uncertainty. On the other hand, as a machine learning method, Gaussian process...
详细信息
For nonlinear interconnected systems against input delay, an observer-based fuzzy adaptive decentralized control strategy is designed. First, different from traditional observers, a novel state observer based on track...
详细信息
Air handling units (AHUs), integral components of HVAC systems, play a crucial role in maintaining indoor air quality. However, implementing AHUs in critical environments poses challenges due to inaccurate modeling of...
详细信息
In the present study we present a numerical modeling of a laminate magnetic material using an homogenization technique which exploit an inverse problem resolution. The laminate magnetic material is consisting of an al...
详细信息
Achieving more precise modeling and control of vehicle dynamics for multi-vehicle collaboration is pivotal in steering vehicles toward cleaner, smarter, and safer de-velopment. This paper proposes a novel zero-gradien...
详细信息
暂无评论