In today’s scenario, computer vision is one of the fundamental research areas of artificial intelligence including object detection and object tracking which are the upcoming trends. In the present work, the TransTra...
详细信息
The improvement of 5G networks started in 2019 and is commonly accepted to bring changes not restricted to individuals' day-by-day life. The interconnection between the nodes of 5G network is realized through the ...
详细信息
The classic adversarial samples of black-box attacks are all aimed at the models of Convolutional neural networks (CNNs), but they do not perform well on the new recognition networks based on Transformer. In this pape...
详细信息
In robotics, control barrier function (CBF)–based safety filters are commonly used to enforce state constraints. A critical challenge arises when the relative degree of the CBF varies across the state space. This var...
The C language, traditionally used in developing safety-critical systems, often faces memory management issues, leading to potential vulnerabilities. Rust emerges as a safer and secure alternative, aiming to mitigate ...
详细信息
ISBN:
(数字)9783982674100
ISBN:
(纸本)9798331534646
The C language, traditionally used in developing safety-critical systems, often faces memory management issues, leading to potential vulnerabilities. Rust emerges as a safer and secure alternative, aiming to mitigate these risks with its robust memory protection features, making it suitable for producing reliable code in critical environments, such as the automotive industry. This study proposes employing Rust code hardened by control Flow Checking (CFC) in real-time embedded systems, which software is traditionally developed by Assembly and C languages. The methods have been implemented at the application level, i.e., in the Rust source code, to make them platform-agnostic. A methodology for leveraging the Rust advantages is presented, such as stronger security guarantees and modern features, to implement these methods more effectively. Highlighting a use case in the automotive sector, our research demonstrates the Rust capacity to enhance system reliability through CFC, especially against Random Hardware Faults. Two CFC algorithms from the literature, YACCA, and RACFED, have been implemented in the Rust language to assess their effectiveness, obtaining 46.5% Diagnostic Coverage for the YACCA method and 50.1% for RACFED. The proposed approach is aligned with functional safety standards, showcasing how Rust can balance safety requirements and cost considerations in industries reliant on software solutions for critical functionalities.
Collaboration of agents in a natural swarm enables the accomplishment of tasks that would be difficult or impossible for a single agent to complete alone. For example, a swarm of autonomous Unmanned Aerial Vehicles (U...
Collaboration of agents in a natural swarm enables the accomplishment of tasks that would be difficult or impossible for a single agent to complete alone. For example, a swarm of autonomous Unmanned Aerial Vehicles (UAVs) enables the collaborative sensing of bulky loads for transportation over impassable terrains when the load weighs several times more than each UAV. In this work, we propose a hierarchical algorithmic architecture that supports the search and coverage of various unknown payload profiles for subsequent transportation. The grasping formation of UAVs over the payload emerges from the synthetic behaviours in the architecture without any path planning. Experiments show that our proposed design can be successfully applied in searching and coverage of various loads and has been validated in the real world through the use of Crazyflie micro-UAVs. Furthermore, the proposed grasping formation satisfies static equilibrium thereby reducing orientation changes in the load-swarm system during transportation.
We present a methodology for designing a dynamic controller with delayed output feedback for achieving non-collocated vibration suppression with a focus on the multi-frequency case. To synthesize the delay-based contr...
详细信息
We present a methodology for designing a dynamic controller with delayed output feedback for achieving non-collocated vibration suppression with a focus on the multi-frequency case. To synthesize the delay-based controller, we first remodel the system of equations as a delay-differential algebraic equation (DDAE) in such a way that existing tools for design of a static output feedback controller can be easily adapted. The problem of achieving non-collocated vibration suppression with sufficient damping is formulated as a constrained optimization problem of minimizing the spectral abscissa in the presence of zero-location constraints, with the constraints exhibiting polynomial dependence on its parameters. We transform the problem into an unconstrained one using elimination, following which we solve the resulting non-convex, non-smooth optimization problem.
control barrier functions (CBFs) have been widely used for synthesizing controllers in safety-critical applications. When used as a safety filter, it provides a simple and computationally efficient way to obtain safe ...
详细信息
In this paper, the consensus control problem for multi-agent systems (MASs) suffering hybrid attacks is discussed, in which the hybrid attacks include randomly occurring deception attacks on system dynamic behavior an...
In this paper, the consensus control problem for multi-agent systems (MASs) suffering hybrid attacks is discussed, in which the hybrid attacks include randomly occurring deception attacks on system dynamic behavior and denial-of-service attacks (DoS). An event-triggered robust model predictive control (RMPC) method is presented to achieve the consensus of MASs under hybrid attacks. It can be proved that the consensus errors can be asymptotic with prescribed H ∞ performance, the sufficient condition for stability can be given in terms of linear matrix inequalities (LMIs), and the controller gains are obtained by solving an optimization problem involving some LMIs. Employing the event-triggered mechanism with maximum trigger interval, not only can not only save computation time and facilitate the efficiency of the shared resources but also can effectively be responsible for the negative impact of cyber-attacks on system performance. Finally, simulation results are given to illustrate the validity and effectiveness of the proposed method.
In addition to increasing the output current, an interleaved buck converter can significantly reduce the current ripple at the output. However, the bottleneck of the interleaved buck converter application is the unbal...
In addition to increasing the output current, an interleaved buck converter can significantly reduce the current ripple at the output. However, the bottleneck of the interleaved buck converter application is the unbalanced inductor current. In order to achieve the current balance in the entire section of the duty cycle, this paper proposes a control architecture with interleaved alignment, using the adjustment of the duty cycle and phase offset, to analyze and realize a high output current and current balanced in three-arm series capacitor interleaved buck converters (SCIBCs) in this work. By analyzing and modeling the SCIBC and using a single-loop control architecture that feedbacks the output voltage, the proposed current-balancing method balances all inductors’ current within the full duty cycle without any current sensor. In addition, the small-signal transfer function of the control signal to the output voltage and design of the controller parameters are derived according to the specification, and the SCIBC with the proposed current-balancing control with PI controller of the alignment of interleaved phase angle is constructed. The high output current and current-balancing characteristics of the proposed circuit control architecture are validated in the simulation tool SIMPLIS.
暂无评论