This paper concerns the risk-aware control of stochastic systems with temporal logic specifications dynamically assigned during runtime. Conventional risk-aware control typically assumes that all specifications are pr...
详细信息
This paper concerns the risk-aware control of stochastic systems with temporal logic specifications dynamically assigned during runtime. Conventional risk-aware control typically assumes that all specifications are predefined and remain unchanged during runtime. In this paper, we propose a novel, provably correct model predictive control scheme for linear systems with additive unbounded stochastic disturbances that dynamically evaluates the feasibility of runtime signal temporal logic specifications and automatically reschedules the control inputs accordingly. The control method guarantees the probabilistic satisfaction of newly accepted specifications without sacrificing the satisfaction of the previously accepted ones. The proposed control method is validated by a robotic motion planning case study.
Identification in interconnected systems requires the handling of phenomena that go beyond the classical open-loop and closed-loop type of identification problems. Over the last decade a comprehensive theory has been ...
详细信息
Identification in interconnected systems requires the handling of phenomena that go beyond the classical open-loop and closed-loop type of identification problems. Over the last decade a comprehensive theory has been developed for addressing identification problems in linear dynamic networks, formulated in a module framework, where the network structure is characterized by a directed graph in which nodes are signals and links are transfer functions. The resulting methods and approaches have been collected in a MATLAB App and Toolbox, supported by an attractive graphical user interface that provides an interactive workflow for manipulating the structural properties of dynamic networks, applying basic network operations like immersion and module invariance testing, and for investigating network/module generic identifiability and selecting appropriate predictor model inputs and outputs. The workflow supports the allocation of external excitation signals (actuation) and measured node signals (sensing) so as to achieve generic identifiability and provide consistent estimation of target modules. The Toolbox includes algorithms for actual network simulation and identification.
By using Typhoon HIL simulator, a simulation research method of data injection attack against secondary control DC microgrid is established, which reveals the important influence of the attack function on the effectiv...
详细信息
This paper focuses on the optimal output synchronization control problem of heterogeneous multiagent systems(HMASs) subject to nonidentical communication delays by a reinforcement learning *** with existing studies as...
详细信息
This paper focuses on the optimal output synchronization control problem of heterogeneous multiagent systems(HMASs) subject to nonidentical communication delays by a reinforcement learning *** with existing studies assuming that the precise model of the leader is globally or distributively accessible to all or some of the followers, the leader's precise dynamical model is entirely inaccessible to all the followers in this paper. A data-based learning algorithm is first proposed to reconstruct the leader's unknown system matrix online. A distributed predictor subject to communication delays is further devised to estimate the leader's state, where interaction delays are allowed to be nonidentical. Then, a learning-based local controller, together with a discounted performance function, is projected to reach the optimal output synchronization. Bellman equations and game algebraic Riccati equations are constructed to learn the optimal solution by developing a model-based reinforcement learning(RL) algorithm online without solving regulator equations, which is followed by a model-free off-policy RL algorithm to relax the requirement of all agents' dynamics faced by the model-based RL algorithm. The optimal tracking control of HMASs subject to unknown leader dynamics and communication delays is shown to be solvable under the proposed RL algorithms. Finally, the effectiveness of theoretical analysis is verified by numerical simulations.
Marine structures like Floating Wind Turbine (FWT) is exposed to the oncoming waves and wind that can cause oscillatory motions within the system. These undesired oscillations can have negative impacts on the efficien...
详细信息
Marine structures like Floating Wind Turbine (FWT) is exposed to the oncoming waves and wind that can cause oscillatory motions within the system. These undesired oscillations can have negative impacts on the efficiency of the system, reduce its lifespan, hinder energy extraction, increase stress levels, and raise maintenance costs. To mitigate these negative impacts, the integration of Wave Energy Converters (WECs) into the FWT system has been proposed. This hybrid system may be capable of extracting coupled wind-wave energy and transferring electrical power to the shared grid. This paper presents an investigation of the use of Oscillating Water Columns (OWCs), a type of WECs, within a FWT system. The purpose of using an OWC is to increase the hydrodynamic damping and reduce the resonant motions of the floating wind turbines under environmental loads, including both wind and wave loads. This is because the wave energy from OWC would be very small as compared to the wind energy. However, OWCs can provide a damping source for reducing the resonant motions of the floater, especially the pitch resonant motions. This would be very beneficial for the power performance of the floating w ind turbine and the structural design of the floater. T he p urpose of this paper is to redesign the original FWT platform to accommodate the additional OWCs by considering the hydrostatic stability and hydrodynamics since the new elements, the OWCs, can significantly change the response of the platform. The redesign of the original FWT involves the integration of OWCs within two out of three columns of an existing semisubmersible platform for a 12 MW FWT. To do this, two moonpools, which are consistent with OWC air chambers, have been created within two columns of the FWT. The water ballast was designed for the columns with and without OWCs. After that the redesign is done hydrostatic stability and hydrodynamics analyses are evaluated. The hydrodynamics properties are discussed in terms o
The present paper deals with data-driven event-triggered control of a class of unknown discrete-time interconnected systems(*** systems).To this end,we start by putting forth a novel distributed event-triggering trans...
详细信息
The present paper deals with data-driven event-triggered control of a class of unknown discrete-time interconnected systems(*** systems).To this end,we start by putting forth a novel distributed event-triggering transmission strategy based on periodic sampling,under which a model-based stability criterion for the closed-loop network system is derived,by leveraging a discrete-time looped-functional *** the model-based criterion with a data-driven system representation recently developed in the literature,a purely data-driven stability criterion expressed in the form of linear matrix inequalities(LMIs)is ***,the data-driven stability criterion suggests a means for co-designing the event-triggering coefficient matrix and the feedback control gain matrix using only some offline collected state-input ***,numerical results corroborate the efficacy of the proposed distributed data-driven event-triggered network system(ETS)in cutting off data transmissions and the co-design procedure.
It is our great pleasure to organize this special issue in control Theory and Technology in honor of the 90th birthday of Professor Huashu *** is one of the pioneers in control theory and applications in China,and has...
详细信息
It is our great pleasure to organize this special issue in control Theory and Technology in honor of the 90th birthday of Professor Huashu *** is one of the pioneers in control theory and applications in China,and has made many truly outstanding contributions to the field including nonlinear dynamics and control,intelligent control,robotics and complex *** is no surprise that she was selected as a representative introduced significantly in“Women in control”of IEEE controlsystems Magazine.
Feature selection holds significant importance in knowledge mining as it plays a pivotal role in selecting and preserving the most informative features within a dataset while discarding irrelevant, redundant, or noisy...
详细信息
Software is a crucial component in the communication systems,and its security is of paramount ***,it is susceptible to different types of attacks due to potential ***,significant time and effort is required to fix suc...
详细信息
Software is a crucial component in the communication systems,and its security is of paramount ***,it is susceptible to different types of attacks due to potential ***,significant time and effort is required to fix such *** propose an automated program repair method based on controlled text generation ***,we utilize a fine-tuned language model for patch generation and introduce a discriminator to evaluate the generation process,selecting results that contribute most to vulnerability ***,we perform static syntax analysis to expedite the patch verification *** effectiveness of the proposed approach is validated using QuixBugs and Defects4J datasets,demonstrating significant improvements in generating correct patches compared to other existing methods.
A critical task in environmental monitoring is the reconstruction of the density function of an event over the mission region. In such tasks, Unmanned Aerial Vehicles (UAVs) are employed as spatially distributed mobil...
详细信息
暂无评论