We consider the control design of stochastic discrete-time linear multi-agent systems (MASs) under a global signal temporal logic (STL) specification to be satisfied at a predefined probability. By decomposing the dyn...
详细信息
ISBN:
(数字)9798350316339
ISBN:
(纸本)9798350316346
We consider the control design of stochastic discrete-time linear multi-agent systems (MASs) under a global signal temporal logic (STL) specification to be satisfied at a predefined probability. By decomposing the dynamics into deterministic and error components, we construct a probabilistic reachable tube (PRT) as the Cartesian product of reachable sets of the individual error systems driven by disturbances lying in confidence regions (CRs) with a fixed probability. By bounding the PRT probability with the specification probability, we tighten all state constraints induced by the STL specification by solving tractable optimization problems over segments of the PRT, and relax the underlying stochastic problem with a deterministic one. This approach reduces conservatism compared to tightening guided by the STL structure. Additionally, we propose a recursively feasible algorithm to attack the resulting problem by decomposing it into agent-level subproblems, which are solved iteratively according to a scheduling policy. We demonstrate our method on a ten-agent system, where existing approaches are impractical.
In this paper, an adaptive decentralized controller is presented to attenuate the transversal vibration of a flexible cablestayed bridge induced by seismic excitation, in which only local sensor information has been u...
详细信息
Many modern robotics applications require robots to function autonomously in dynamic environments including other decision making agents, such as people or other robots. This calls for fast and scalable interactive mo...
详细信息
Many modern robotics applications require robots to function autonomously in dynamic environments including other decision making agents, such as people or other robots. This calls for fast and scalable interactive motion planning. This requires models that take into consideration the other agent's intended actions in one's own planning. We present a real-time motion planning framework that brings together a few key components including intention inference by reasoning counterfactually about potential motion of the other agents as they work towards different goals. By using a light-weight motion model, we achieve efficient iterative planning for fluid motion when avoiding pedestrians, in parallel with goal inference for longer range movement prediction. This inference framework is coupled with a novel distributed visual tracking method that provides reliable and robust models for the current belief-state of the monitored environment. This combined approach represents a computationally efficient alternative to previously studied policy learning methods that often require significant offline training or calibration and do not yet scale to densely populated environments. We validate this framework with experiments involving multi-robot and human-robot navigation. We further validate the tracker component separately on much larger scale unconstrained pedestrian data sets.
The escalating challenges faced by the agricultural industry, characterized by labor shortages, and rising costs, underscore the imperative for innovative solutions. This study explores the transformative potential of...
The escalating challenges faced by the agricultural industry, characterized by labor shortages, and rising costs, underscore the imperative for innovative solutions. This study explores the transformative potential of Intelligent Harvesting Systems in revolutionizing fruit harvesting, with a focus on assessing feasibility and understanding implications within the fruit industry. The integration of cutting-edge technologies, specifically 5G communication and artificial intelligence (AI), plays a pivotal role in the design and evaluation of a control module for an agricultural picking robot. The feasibility assessment encompasses an in-depth exploration of the technological, economic, operational, and environmental. Experimental evaluations conducted in controlled environments and real-world settings showcase the system's high picking speed, accuracy, and adaptability to diverse produce sizes. The outcomes of this research not only align with the initial objectives of enhancing harvesting efficiency and reducing labor costs but also hold promise for a sustainable and resource-efficient agricultural future. The positive synergy between 5G communication and AI technology emerges as a driving force behind the system's exceptional performance. This study not only contributes to the immediate advancements in intelligent harvesting but also lays a robust foundation for continued innovation, setting the stage for further exploration and refinement in this dynamic field.
With the rapid development of China's economy, and with metal plates being widely used in aerospace, the national defence industry, shipbuilding industry, high-speed railway and so on, the domestic demand for meta...
详细信息
With the rapid development of China's economy, and with metal plates being widely used in aerospace, the national defence industry, shipbuilding industry, high-speed railway and so on, the domestic demand for metal plates is increasing. However, in sheet metal processing and production processes, due to the influence of the environment, there will inevitably be a variety of different types of defects. As a result, it is of great significance to choose a reliable method to carry out a large area detection of the metal plate. The electromagnetic ultrasonic guided wave transducer, because of possessing the advantages of both the Electromagnetic Ultrasonic Transducer(EMAT) and the ultrasonic guided wave, which is namely non-contact, large detection area, high sensitivity, small attenuation, and long distance transmission, is very suitable for non-destructive testing of large areas of sheet metal. However, its energy-change efficiency is not high. In order to improve the non-destructive testing of the electromagnetic ultrasonic Lamb wave transducer, this paper studies the optimisation method of the Lamb wave transducer in the detection of metal plate, carries out simulation calculations of the Lamb wave transducer after optimisation, and applies the optimised Lamb wave transducer in the detection of sheet metal defects. Simulation and experimental results show that for the Lamb wave, in the face of defect mode conversion, as the defect depth increases, the received echo signal amplitude increases, which characterises the defect echo size.
The algebraic relationship between the transfer function and the state space representations of Linear Active Disturbance Rejection control (LADRC) is derived, upon which the unique frequency response characteristics ...
详细信息
The algebraic relationship between the transfer function and the state space representations of Linear Active Disturbance Rejection control (LADRC) is derived, upon which the unique frequency response characteristics of LADRC can be seen and understood. The transfer function form of LADRC for arbitrary order plant is derived from its state space representation and this allows that the open loop frequency characteristics of the LADRC based control system to be conveniently obtained and analyzed. The frequency response of LADRC not only shows excellent loop gain shape but also validates the original ADRC design concept: that the internal and external disturbances can be estimated in real time and cancelled. This time, the evidence comes not from simulation, or test, or time-domain analysis, but in the language of practicing engineers: frequency response.
Accurate online mass flow rate measurement of pneumatically conveyed particles is desirable to convert a conventional pulverized fuel fired power station into a smart thermal power plant. This paper presents a novel m...
ISBN:
(数字)9781728144603
ISBN:
(纸本)9781728144610
Accurate online mass flow rate measurement of pneumatically conveyed particles is desirable to convert a conventional pulverized fuel fired power station into a smart thermal power plant. This paper presents a novel method for the online measurement of the mass flow rate of pulverized fuel through acoustic emission (AE) detection and electrostatic sensing. An integrated sensing head with an AE probe and three arc-shaped three-electrode electrostatic sensor arrays is developed. The proposed method determines the particle velocity by multiple-channel cross correlation of the sensor signals and extracts the information about mass flow rate from the AE signal arising from impacts of particles with a waveguide protruding into the flow. A theoretical model that relates the energy of the AE signals, the particle velocity and the mass flow rate is established. The sensing head was mounted on a vertical section of a 72-mm bore laboratory-scale test rig conveying fine silica particles. Experimental tests were conducted under a range of flow conditions to assess the performance of the developed measurement system. The results demonstrate that the instrumentation system is capable of measuring the mass flow rate of particles with a relative error within ±6.5% over the mass flow rate from 7 kg/h to 25 kg/h.
Iterative learning control can be applied to systems that repeat the same task over a finite duration with resetting to the starting point once each one is complete. The idea of iterative learning control is to make u...
详细信息
Three kinds of air-cooling systems and their technical features have been described in this paper. Combined with the energy policy in our country, the perspective of air-cooling unit is discussed mainly in terms of co...
详细信息
Three kinds of air-cooling systems and their technical features have been described in this paper. Combined with the energy policy in our country, the perspective of air-cooling unit is discussed mainly in terms of coal-fired unit applied status, air cooling unit's development and our country's energy policy etc. And the matters needing attention and the needed taken measures in the conscientions improvement of air-cooling unit by the power enterprises are put forward.
Differential linear repetitive processes are a distinct class of 2D systems where information propagation in one of the two directions only occurs over a finite duration, termed the pass length. Information propagatio...
详细信息
Differential linear repetitive processes are a distinct class of 2D systems where information propagation in one of the two directions only occurs over a finite duration, termed the pass length. Information propagation in one direction of information propagation is governed by a linear differential equation, and in the second by a linear difference equation. Moreover, the output, or pass profile, produced on any pass acts as a forcing function on, and hence contributes to, the dynamics of the next one. The exact sequence of operation is that a pass is completed and then the process is reset to the original location for the start of the next one and so on, and the result can be oscillations that increase in amplitude in the pass-to-pass direction. In this paper, the general problem considered is where the along the pass dynamics switch at the end of each pass. In particular, stability tests are developed which extend to allow control law design for this property and can be computed using Linear Matrix Inequality (LMI) methods.
暂无评论