The proceedings contain 24 papers. The topics discussed include: SAT-based distributed reactive control protocol synthesis for Boolean networks;fast control using homotopy properties for obstacle-avoidance of systems ...
ISBN:
(纸本)9781509007592
The proceedings contain 24 papers. The topics discussed include: SAT-based distributed reactive control protocol synthesis for Boolean networks;fast control using homotopy properties for obstacle-avoidance of systems with input constraints;control of discrete-time piecewise affine probabilistic systems using reachability analysis;Lyapunov function synthesis - algorithm and software;computing maximal invariant sets for switched nonlinear systems;on the computation of Lyapunov functions for interconnected systems;controlled contractive sets for low-complexity constrained control;a software to design decentralized controllers for time-delay systems;real-time control platform based on free software and USB communication;on the H-two norm of switched systems via homogeneous rational Lyapunov functions;safety verification of refrigeration containers using barrier certificates;follower distribution algorithms for leader-follower networks;LPV filter design for discrete-time systems with time-domain IQCs;and robust H2filtering for discrete-time uncertain systems with auxiliary past output measurements.
Correcting the controlsystem’s frequency response to meet requirements such as stability, steady-state and dynamic performance is a crucial part in the course Automatic control Principle. To help students better und...
详细信息
Modern GPUs have integrated multilevel cache hierarchy to provide high bandwidth and mitigate the memory wall problem. However, the benefit of on-chip cache is far from achieving optimal performance. In this article, ...
详细信息
Modern GPUs have integrated multilevel cache hierarchy to provide high bandwidth and mitigate the memory wall problem. However, the benefit of on-chip cache is far from achieving optimal performance. In this article, we investigate existing cache architecture and find that the cache utilization is imbalanced and there exists serious data duplication among L1 cache *** order to exploit the duplicate data, we propose an intergroup cache cooperation (ICC) method to establish the cooperation across L1 cache groups. According the cooperation scope, we design two schemes of the adjacent cache cooperation (ICC-AGC) and the multiple cache cooperation (ICC-MGC). In ICC-AGC, we design an adjacent cooperative directory table to realize the perception of duplicate data and integrate a lightweight network for communication. In ICC-MGC, a ring bi-directional network is designed to realize the connection among multiple groups. And we present a two-way sending mechanism and a dynamic sending mechanism to balance the overhead and efficiency involved in request probing and *** results show that the proposed two ICC methods can reduce the average traffic to L2 cache by 10% and 20%, respectively, and improve overall GPU performance by 19% and 49% on average, respectively, compared with the existing work.
Continuum robots, which often rely on interdisciplinary and multimedia collaborations, have been increasingly recognized for their potential to revolutionize the field of human-computer interaction (HCI) in varied app...
详细信息
Brain tumors are a major concern, being the leading cause of cancer-related deaths. computer-aided diagnosis significantly reduces the workload on physicians and improves cancer diagnosis and treatment. Brain tumor se...
详细信息
ISBN:
(纸本)9798350330991;9798350331004
Brain tumors are a major concern, being the leading cause of cancer-related deaths. computer-aided diagnosis significantly reduces the workload on physicians and improves cancer diagnosis and treatment. Brain tumor segmentation is a computationally intensive image-processing task. In this paper, we propose an FPGA-based Hardware-Software Co-design to accelerate this task using Watershed and Otsu thresholding algorithms. The FPGA handles parallel components, while the CPU manages sequential tasks in the same system -on-Chip (SoC). Using PolarFire Icicle FPGA platform, we process 20 MRI brain scan images (128x128) from the Kaggle dataset. Implementing both algorithms in parallel on the FPGA results in a 1.97x acceleration compared to a CPU -only implementation, mainly achieved by a 1973x reduction in latency when moving the Otsu algorithm from the CPU to the FPGA. This optimization employs DSP/MATH blocks, loop unrolling, and pipelining techniques.
With the continuous improvement of automation level in modern production lines, the application of robotic arms is becoming more and more widespread, greatly reducing the labor intensity of workers and also lowering l...
详细信息
This paper presents the design and implementation of a pocket-sized electronic system for quantifying glucose levels in diabetic patients by measuring a byproduct of the chemical reaction of glucose oxidation, such as...
详细信息
ISBN:
(纸本)9798350384734;9798350384727
This paper presents the design and implementation of a pocket-sized electronic system for quantifying glucose levels in diabetic patients by measuring a byproduct of the chemical reaction of glucose oxidation, such as hydrogen peroxide. A novel Nano Wire sensor obtained the current versus the hydrogen peroxide (H202) concentration relationship. The system utilizes a modified amperometric electrochemical sensor circuit topology named "Strong Follower" (SF) to measure current signals from 1 A to 11 A accurately. The SF circuit includes active control loop feedback to maintain the output voltage in line with the input voltage, ensuring accurate and stable measurements. Simulation and experimental results demonstrate the effectiveness of the proposed system in quantifying H202 concentrations. Experimental tests were conducted using currents of 1, 5, 10, and 15 A. Additionally, using general-purpose electronic components helps reduce the overall implementation cost, making it more accessible for diabetes healthcare applications.
The paper deals with an approach to creation robust systems for stabilizing data measuring sensors operating on vehicles in operating conditions. The structure of computer-aidedsystem for designing above-mentioned sy...
详细信息
Most of the existing computer-aided industrial design focuses on the functional development of industrial design, with less attention paid to the coordination of various design stages, which leads to designers being u...
详细信息
The integration of renewable energy sources necessitates assessment of dynamic system performance due to their inherent variability, requiring analyses of grid stability, control strategies, and economic implications....
详细信息
暂无评论