Control Theory Research Articles

Supervisory Control for Dynamic Feature Configuration in Product Lines

In this paper a framework for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is described by a feature model. Behavior of system components is achieved using (extended) finite automata and both behavioral and dynamic configuration constraints are expressed by means of requirements as is common in supervisory control theory. Supervisory controller synthesis is applied to compute a behavioral model in which the requirements are adhered to. For the challenges that arise in this setting, multiple solutions are discussed. The solutions are exemplified in the CIF toolset using a model of a coffee machine. A use case of the much larger Body Comfort System product line is performed to showcase feasibility for industrial-sized systems.

Differentiable programming for gradient-based control and optimization in physical systems

This paper presents an exploration of the application of control theory, particularly utilizing a gradient-based algorithm, to automate and optimize the operation of photovoltaic panels and refrigeration systems in warehouse environments. The study emphasizes achieving coordination between energy generation and consumption, specifically harnessing surplus solar energy for efficient refrigeration. The complex interplay between fluctuating solar irradiance, thermal dynamics of the warehouse, and refrigeration needs underscores the significance of control theory in designing algorithms to dynamically adjust PV panel output and refrigeration system operation. The paper discusses foundational control theory principles, proposes a tailored framework for warehouse operations, and highlights the potential for sustainable energy practices. This paper explores the use of data-driven approaches based on NeuralODEs vs classical ones using physics equations.

When and how perceived control buffers against cognitive declines: A moderated mediation analysis.

Although perceived control is a well-established predictor of cognitive aging, less is known about how and under what developmental circumstances these beliefs about personal influence may protect against cognitive declines. Our study examined light physical activity (LPA) as an unexplored mechanism that may link changes in two facets of perceived control (personal mastery, perceived constraints) to longitudinal trajectories of cognitive functioning. We also examined whether mediated pathways were moderated by age (i.e., differed across the adult lifespan). We analyzed two-wave, 9-year data from the national Midlife in the United States Study (n = 2,456; Mage = 56 years, range = 30-84; 56% female) using autoregressive mediation and moderated mediation models. Mediation models showed that changes in personal mastery and perceived constraints predicted episodic memory and executive functioning via self-reported change in LPA. Only the mediated effects of constraints remained significant in a model that included both mastery and constraints as predictors. Moderated mediation models showed that, for episodic memory, the mediated pathways were strongest in old age and emerged only for constraints: For older but not younger adults, declines in constraints were associated with less decline in episodic memory, as mediated by increases in LPA. Results were consistent in sensitivity analyses that controlled for levels and change in moderate-to-vigorous physical activity. Findings inform lifespan theories of control and provide initial evidence that change in a largely overlooked health behavior (LPA) may underlie the link between perceived constraints and cognitive functioning, with this pathway becoming more pronounced in late life. (PsycInfo Database Record (c) 2024 APA, all rights reserved).

A practically efficient algorithm for identifying critical control proteins in directed probabilistic biological networks

Network controllability is unifying the traditional control theory with the structural network information rooted in many large-scale biological systems of interest, from intracellular networks in molecular biology to brain neuronal networks. In controllability approaches, the set of minimum driver nodes is not unique, and critical nodes are the most important control elements because they appear in all possible solution sets. On the other hand, a common but largely unexplored feature in network control approaches is the probabilistic failure of edges or the uncertainty in the determination of interactions between molecules. This is particularly true when directed probabilistic interactions are considered. Until now, no efficient algorithm existed to determine critical nodes in probabilistic directed networks. Here we present a probabilistic control model based on a minimum dominating set framework that integrates the probabilistic nature of directed edges between molecules and determines the critical control nodes that drive the entire network functionality. The proposed algorithm, combined with the developed mathematical tools, offers practical efficiency in determining critical control nodes in large probabilistic networks. The method is then applied to the human intracellular signal transduction network revealing that critical control nodes are associated with important biological features and perturbed sets of genes in human diseases, including SARS-CoV-2 target proteins and rare disorders. We believe that the proposed methodology can be useful to investigate multiple biological systems in which directed edges are probabilistic in nature, both in natural systems or when determined with large uncertainties in-silico.

Variational time reversal for free-energy estimation in nonequilibrium steady states.

Studying the structure of systems in nonequilibrium steady states necessitates tools that quantify population shifts and associated deformations of equilibrium free-energy landscapes under persistent currents. Within the framework of stochastic thermodynamics, we establish a variant of the Kawasaki-Crooks equality that relates nonequilibrium free-energy corrections in overdamped Langevin systems to heat dissipation statistics along time-reversed relaxation trajectories computable with molecular simulation. Using stochastic control theory, we arrive at a general variational approach to evaluate the Kawasaki-Crooks equality and use it to estimate distribution functions of order parameters in specific models of driven and active matter, attaining substantial improvement in accuracy over simple perturbative methods.

An MPPT Control Strategy Based on Current Constraint Relationships for a Photovoltaic System with a Battery or Supercapacitor

When the battery or supercapacitor is connected to the output of a PV system, the conventional voltage equation expressing its mathematical model usually must be replaced by the current relationship to study the maximum power point tracking (MPPT) control theory. However, hitherto, there is a lack of an attempt to disclose the current constraint relationships at the maximum power point (MPP), which leads to the potential risk of MPPT failure. To solve this problem, in this paper, the MPPT constraint conditions on the basis of currents are built and then a new MPPT control strategy is proposed. In this strategy, a linearized model parameter of a PV cell is used as the bridge to find the current relationships. On the basis of them, some expressions involving the duty cycle are built to directly calculate the control signal of the MPPT controller. Meanwhile, an implementation method is designed to match this proposed MPPT strategy. Finally, some simulation experiments are conducted. The simulation results verify that the proposed MPPT constraint expressions are accurate and workable and that the proposed MPPT strategy and its implementation process are feasible and available. In addition, the simulation results also show that the proposed MPPT strategy has a better MPPT speed and the same MPPT accuracy when the P&O method and fuzzy algorithm are compared. By this work, the MPPT constraint conditions based on current relationships are first found, representing a breakthrough in disclosing the inherent relationships between different currents when the PV system is operating around the MPP.

РАЗРАБОТКА МОБИЛЬНОГО КОЛЕСНОГО РОБОТА ДЛЯ ДОСТАВКИ ПОСЫЛОК

The study objective is to develop approaches to the design of a mobile wheeled robot for transporting small-sized goods, operating autonomously without the participation of a human operator. At the same time, the main task is to develop a mathematical model of a wheeled robot that takes into account the moments of rolling friction and sliding of the driving wheels on the support surface, and which allows to study the starting operation modes of the electromechanical drive of a mobile device. The increase in the speed of the mobile robot is achieved by minimizing the acceleration time to the required speed values through the use of a 2-stage algorithm for changing the control voltage. The development of a mathematical model of a robotic system is carried out on the basis of methods of analytical mechanics and the theory of automatic control. Using the Laplace transforms, an analytical solution of differential equations describing the dynamics of a mobile robot is obtained. Numerical solution of the obtained equations is carried out in Mathcad interface. The novelty of the work consists in obtaining time dependencies for the speed and current in the circuit of the electric motor of the mobile robot wheeled drive and finding out the basic patterns of movement at its launch. The results of the conducted research can be used in the development of motion control systems for mobile robots with feedback, ensuring the stabilization of a set value of the movement speed in steady-state modes. Conclusions: a mathematical model of a mobile robotic system is developed, the starting modes of its operation and the method of combined motion control are studied, the speed of a mobile wheeled device is increased when moving along a given trajectory.

Closed Loop Ultrafiltration Feedback Control in Hemodialysis: A Narrative Review.

While life-sustaining, hemodialysis is a non-physiological treatment modality that exerts stress on the patient, primarily due to fluid shifts during ultrafiltration. Automated feedback control systems, integrated with sensors that continuously monitor bio-signals such as blood volume, can adjust hemodialysis treatment parameters, e.g., ultrafiltration rate, in real-time. These systems hold promise to mitigate hemodynamic stress, prevent intradialytic hypotension, and improve the removal of water and electrolytes in chronic hemodialysis patients. However, robust evidence supporting their clinical application remains limited. Based on an extensive literature research, we assess feedback-controlled ultrafiltration systems that have emerged over the past three decades in comparison to conventional hemodialysis treatment. We identified 28 clinical studies. Closed loop ultrafiltration control demonstrated effectiveness in 23 of them. No adverse effects of closed loop ultrafiltration control were reported across all trials. Closed loop ultrafiltration control represents an important advancement towards more physiological hemodialysis. Its development is driven by innovations in real-time bio-signals monitoring, advancement in control theory, and artificial intelligence. We expect these innovations will lead to the prevalent adoption of ultrafiltration control in the future, provided its clinical value is substantiated in adequately randomized controlled trials.

Overcoming toxicity: why boom-and-bust cycles are good for non-antagonistic microbes.

Antagonistic interactions are critical determinants of microbial community stability and composition, offering host benefits such as pathogen protection and providing avenues for antimicrobial control. While the ability to eliminate competitors confers an advantage to antagonistic microbes, it often incurs a fitness cost. Consequently, many microbes only produce toxins or engage in antagonistic behavior in response to specific cues like population density or environmental stress. In laboratory settings, antagonistic microbes typically dominate over sensitive ones, raising the question of why both antagonistic and non-antagonistic microbes are found in natural environments and host microbiomes. Here, using both theoretical models and experiments with killer strains of Saccharomyces cerevisiae , we show that boom-and-bust dynamics caused by temporal environmental fluctuations can favor non-antagonistic microbes that do not incur the growth rate cost of toxin production. Additionally, using control theory, we derive bounds on the competitive performance and identify optimal regulatory toxin-production strategies in various boom-and-bust environments where population dilutions occur either deterministically or stochastically over time. Our findings offer a new perspective on how both antagonistic and non-antagonistic microbes can thrive under varying environmental conditions.

Eigenstructure assignment of constrained second-order linear systems: an optimised positively-invariant set control approach

Second-order systems constitute a mathematical model class used to represent a variety of physical processes to be controlled, such as vehicle damping systems, hydraulic pump flow, and robot manipulators. Due to the practical limitation inherent to physical systems (or their mathematical representation) and constraints on the input variables, the constrained control theory became an important research field. In this work, based on set-invariance theory, we propose an eigenstructure assignment optimisation using a state-feedback control law that guarantees the respect of state and control constraints for second-order systems. Positive invariance is the property of keeping the trajectory of the system states inside the set. This characteristic is incorporated into the analysis and design of the control law to ensure local stability and constraint fulfilment.

Application of fuzzy logic control theory combined with target tracking algorithm in unmanned aerial vehicle target tracking

This paper aims to increase the Unmanned Aerial Vehicle's (UAV) capacity for target tracking. First, a control model based on fuzzy logic is created, which modifies the UAV's flight attitude in response to the target's motion status and changes in the surrounding environment. Then, an edge computing-based target tracking framework is created. By deploying edge devices around the UAV, the calculation of target recognition and position prediction is transferred from the central processing unit to the edge nodes. Finally, the latest Vision Transformer model is adopted for target recognition, the image is divided into uniform blocks, and then the attention mechanism is used to capture the relationship between different blocks to realize real-time image analysis. To anticipate the position, the particle filter algorithm is used with historical data and sensor inputs to produce a high-precision estimate of the target position. The experimental results in different scenes show that the average target capture time of the algorithm based on fuzzy logic control is shortened by 20% compared with the traditional proportional-integral-derivative (PID) method, from 5.2 s of the traditional PID to 4.2 s. The average tracking error is reduced by 15%, from 0.8 m of traditional PID to 0.68 m. Meanwhile, in the case of environmental change and target motion change, this algorithm shows better robustness, and the fluctuation range of tracking error is only half of that of traditional PID. This shows that the fuzzy logic control theory is successfully applied to the UAV target tracking field, which proves the effectiveness of this method in improving the target tracking performance.

Parameterized evasion strategy for hypersonic glide vehicles against two missiles based on reinforcement learning

In practical combat scenarios, Hypersonic Glide Vehicles (HGV) face the challenge of evading Successive Pursuers from the Same Direction while satisfying the Homing Constraint (SPSDHC). To address this problem, this paper proposes a parameterized evasion guidance algorithm based on reinforcement learning. The three-player optimal evasion strategy is firstly analyzed and approximated by parametrization. The switching acceleration command of HGV optimal evasion strategy considering the upper limit of missile acceleration command is analyzed based on the optimal control theory. The terminal miss of HGV in the case of evading two missiles is analyzed, which means that the three-player optimal evasion strategy is a linear combination of two one-to-one strategies. Then, a velocity control algorithm is proposed to increase the terminal miss by actively controlling the flight speed of the HGV based on the parametrized evasion strategy. The reinforcement learning method is used to implement the strategy in real time and a reward function is designed by deducing homing strategy for the HGV to approach the target, which ensures that the HGV satisfies the homing constraint. Experimental results demonstrate the feasibility and robustness of the proposed parameterized evasion strategy, which enables the HGV to generate maximum terminal miss and satisfy homing constraint when facing single or double missiles.

Conflict Detection in Language Processing: Using Affect Control Theory to Predict Neural Correlates of Affective Incongruency in Social Interactions

Affect control theory (ACT) is a sociological theory of meaning processing in social interactions. Meaning, according to ACT, derives from cultural institutions and situational affordances, having denotative (declarative) as well as connotative (affective) properties. Mathematical formalizations of ACT allow predictions of affective incongruency (in the terminology of ACT, deflection), which arises from conflicting institutional and situational meanings in a given interaction context. Although ACT is theoretically consistent, its propositions regarding cognitive and affective processing have rarely been tested. The present study fills this gap by investigating the neural processing of affective incongruency in linguistic descriptions of social interactions. Following a neurosociological paradigm, the study draws on neurocognitive evidence on the effects of words’ affective content on word processing as well as on a previous electroencephalography study that investigated processing of affective incongruency using event-related brain potentials. We hypothesized that affective incongruency is associated with activation in the anterior cingulate cortex (ACC), a brain area known for conflict processing. To test this hypothesis, we replicated the electroencephalography study using functional magnetic resonance imaging: We visually presented sentences describing social interactions to 23 participants in a silent reading task while measuring differences in the hemodynamic response in two conditions of affective congruency. Results show expected increases in neural activity for affectively incongruent sentences in the left ACC, supporting the assumption that affective language content influences meaning-making at very early semantic processing stages. The results also add to the emerging neuroscientific evidence for ACT’s mathematical model of impression formation.

Deciphering the enigma of Lassa virus transmission dynamics and strategies for effective epidemic control through awareness campaigns and rodenticides

This study aims to formulate a mathematical framework to examine how the Lassa virus spreads in humans of opposite genders. The stability of the model is analyzed at an equilibrium point in the absence of the Lassa fever. The model’s effectiveness is evaluated using real-life data, and all the parameters needed to determine the basic reproduction number are estimated. Sensitivity analysis is performed to pinpoint the crucial parameters significantly influencing the spread of the infection. The interaction between threshold parameters and the basic reproduction number is simulated. Control theory is employed to devise and evaluate strategies, such as awareness campaigns, advocating condom usage, and deploying rodenticides to reduce the possibility of virus transmission efficiently.

Differential games in the supply chain of innovative products with consumer purchase regret induced returns.

Innovative products entering the market will cause dynamic changes in market demand, and consumers' purchase regret and their return behavior make the market environment more and more complex, which in turn affects the dynamic decision-making in the supply chain. In this paper, under the situation of discrete decision time, combining with the objective reality, we make discrete modification to the classical Bass diffusion model (Bass model), construct a manufacturer-led, retailer-followed supply chain differential game model, analyze the optimal decision-making of the manufacturer and the retailer by combining with the theory of discrete optimal control, and then verify the conclusions by numerical simulation. The results show that: when retailers purchase directly from the manufacturer and sell in the market, the optimal pricing of the innovative product can make the supply chain as a whole, realizing Pareto optimality; consumer's purchase regret will increase the amount of returns, which will lead to the decrease of product sales and the profits of the manufacturer and the retailer; when the innovative product accounts for a different share of the market, the impact of purchase regret on the wholesale price and the retail price are also different. Therefore, manufacturers need to have an extensive comprehension of the market to minimize the negative effects of consumer regret and returns, and to formulate a reasonable pricing strategy for their products to gain as much profit as possible.

Splitting probabilities as optimal controllers of rare reactive events.

The committor constitutes the primary quantity of interest within chemical kinetics as it is understood to encode the ideal reaction coordinate for a rare reactive event. We show the generative utility of the committor in that it can be used explicitly to produce a reactive trajectory ensemble that exhibits numerically exact statistics as that of the original transition path ensemble. This is done by relating a time-dependent analog of the committor that solves a generalized bridge problem to the splitting probability that solves a boundary value problem under a bistable assumption. By invoking stochastic optimal control and spectral theory, we derive a general form for the optimal controller of a bridge process that connects two metastable states expressed in terms of the splitting probability. This formalism offers an alternative perspective into the role of the committor and its gradients in that they encode force fields that guarantee reactivity, generating trajectories that are statistically identical to the way that a system would react autonomously.

A novel fuzzy-type zeroing neural network for dynamic matrix solving and its applications

Solving dynamic matrix problems has always been an important research topic in the field of science and engineering, for this, we design a method to solve time-varying problems through a novel fuzzy-type zeroing neural network (NFTZNN) model. A new activation function is proposed to construct zeroing neural network model and ensure fast convergence in predefined-time. In addition, combined with the fuzzy control theory, convergence parameters are replaced by fuzzy parameters to enhance the adaptability of the model as well as its robustness in the presence of external noise perturbations. Furthermore, the convergence and robustness of this neural network system are analyzed theoretically, ensuring the effectiveness. Finally, the feasibility of the model is further verified by the simulation experiments including matrix inversion, circuit solution, encryption transmission and dual-arm robot control.

A Finite-Time Control Design for the Discrete-Time Chaotic Logistic Equations

Finite-time control theory has been widely used as a mathematical tool to design robust controllers. By manipulating the finite-time convergence proof of this theory, we developed a new control design appropriately tuned for the finite-time control of the chaotic logistics system. In this experimental setup, the logistic equation is programmed into a PIC microcontroller, and a part of the controller was conceived using analog electronics. Because the system to be controlled is in the discrete-time domain, and the finite-time stability proof is stated in the continuous-time representation, our finite-time control approach is a good example for designing control algorithms in both time domain schemes. Hence, our experimental results support our main contribution. Pulse width modulation (PWM) is the format used to translate digital signals into the continuous-time field. Therefore, the main contribution of this article is the theoretical foundations for creating a recent controller that satisfies the convergence criterion in finite time and its construction using an 8-bit microcontroller. All this contributes to the chaotic logistical map.

Analytical design of modified Smith predictor for second-order stable time delay plants incorporating a zero

Simplified control tuning not only enhances engineers' proficiency in control theory and its application but also contributes to their skill development. This study focuses on the control of stable second-order plus time delay (SOPTD) plants incorporating a zero, by employing a modified Smith predictor structure. A forward path PID controller and a PID controller with a lead/lag filter in the feedback path contribute to the proposed control system. The PID controller determines the set-point tracking. The load disturbance rejection is influenced by both the PID and lead/lag filter. Each controller is simply designed using pole placement, while considering a tuning parameter to make a balance between performance and robustness. Filtering of the set-point signal is implemented to enhance its response. To assess the effectiveness of the proposed technique, the study involves examining a SOPTD plant and either a negative or a positive zero. Simulation and comparison analysis show that the proposed controller is appropriate for industrial usage since it quickly tracks the set-point and efficiently rejects disturbances, resulting in a smooth control signal. Furthermore, robustness tests reveal its satisfactory degree of robustness against model parameter uncertainties. In summary, the proposed approach is straightforward and outperforms recently published design methodologies in terms of both performance and robustness.

Intentional action, knowledge, and cognitive extension

Intentional actions exhibit control in a way that mere lucky successes do not. A longstanding tradition in action theory characterizes actional control in terms of the knowledge with which one acts when acting intentionally. Given that action theorists, no less than epistemologists, typically take for granted the orthodox thesis that knowledge is in the head (viz., realized exclusively by brainbound cognition), the idea that intentional action is controlled in virtue of knowledge is tantamount to the idea that the knowledge by which intentional actions exhibit control supervenes intracranially. We raise some challenges for this idea, and in doing show, we show how epistemic theories of actional control are naturally aligned moreso than has been appreciated with cognitive extension in the theory of mind.