- Cryptography and Data Security
- Indoor and Outdoor Localization Technologies
- Autonomous Vehicle Technology and Safety
- Robotic Path Planning Algorithms
- Cryptography and Residue Arithmetic
- Ultra-Wideband Communications Technology
- Advanced MIMO Systems Optimization
- Vehicular Ad Hoc Networks (VANETs)
- Petri Nets in System Modeling
- Advanced Malware Detection Techniques
- Cooperative Communication and Network Coding
- Anomaly Detection Techniques and Applications
- Complexity and Algorithms in Graphs
- Microwave Imaging and Scattering Analysis
- Advanced Authentication Protocols Security
- Simulation and Modeling Applications
- Privacy-Preserving Technologies in Data
- Formal Methods in Verification
- Mobile Ad Hoc Networks
- Adversarial Robustness in Machine Learning
- Software Testing and Debugging Techniques
- Advanced Wireless Network Optimization
- Cryptographic Implementations and Security
- Video Coding and Compression Technologies
- Real-Time Systems Scheduling
Beijing Institute of Technology
2013-2024
Nanyang Technological University
2011-2024
Zhejiang Sci-Tech University
2014-2024
Jiangxi Normal University
2024
Tianjin University
2009-2024
Civil Aviation Administration of China
2024
East China Normal University
2011-2023
Utah State University
2023
Cloud Computing Center
2023
Shanghai Key Laboratory of Trustworthy Computing
2023
An asynchronous position measurement system is proposed for indoor localization in this paper. The demonstrated consists of a UWB transmitter and several energy detection receivers whose positions are known. process starts with the locator emitting pulse. Upon arrival, pulse amplified retransmitted by target to be located. Signals from both captured receivers. No synchronization mechanism implemented. Instead, measures differential TOA between direct coupling signal signal. Together...
Autonomous vehicle (AV) systems must be comprehensively tested and evaluated before they can deployed. High-fidelity simulators such as CARLA or LGSVL allow this to done safely in very realistic highly customizable environments. Existing testing approaches, however, fail test simulated AVs systematically, focus on specific scenarios oracles (e.g., lane following scenario with the "no collision" requirement) lack any coverage criteria measures. In paper, we propose <inline-formula...
Testing Autonomous Driving Systems (ADSs) is a critical task for ensuring the reliability and safety of autonomous vehicles. Existing methods mainly focus on searching violations while diversity generated test cases ignored, which may generate many redundant failures. Such failures can reduce testing performance increase failure analysis costs. In this paper, we present novel behavior-guided fuzzing technique (BehAVExplor) to explore different behaviors ego vehi- cle (i.e., vehicle...
Traditional models unable to model adaptive software systems since they deal with fixed requirements only, but cannot handle the behaviors that change at runtime in response environmental changes. In this paper, an Petri net (APN) is proposed a self-adaptive system. It extension of hybrid nets by embedding neural network algorithm into them some special transitions. The has following advantages: 1) it can environment; 2) components collaborate make adaption decisions while system running;...
Collision avoidance is a critical problem in motion planning and control of multirobot systems. Moreover, it may induce deadlocks during the procedure to avoid collisions. In this paper, we study systems where each robot has its own predetermined closed path execute persistent motion. We propose real-time distributed algorithm for both collision deadlock by repeatedly stopping resuming robots. The first modeled as labeled transition system, then controlled collisions deadlocks. Each can...
Several metrics have been proposed in literature to assess the quality of 2D images, but devoted assessment stereoscopic images are very scarce. Therefore, this paper, an objective method is predict level images. This assesses stereo from perspective image and sense. Experiments demonstrate that paper presented gets similar results with general subjective method. And simple, rapid, convenient practical.
The principle of a passive chipless ultrawideband-enabled radio-frequency identification (UWB-RFID) and localization system is firstly introduced. A uniplanar monopole antenna with size only 23 × 0.508 mm then designed. Six tags based on the structure are subsequently developed for application. backscattering characteristics theoretically experimentally studied in both frequency time domain. Following that, simple receiver proposed to simultaneously identify these find their ranges. Results...
The IEEE 802.11ah task group has been formed to develop the specification for sub-1GHz WLAN. Due low operating frequency, it is expected that can support coverage up 1km. Such large well-suited machine-to-machine (M2M) or machine-type communication (MTC) applications like smart grid and sensor networks. These are characterized by number of devices, small data packet size, low-power operation, they pose new problems conventional 802.11 WLAN not capable address. Therefore stimulate significant...
Motion planning is one of the most critical problems in multirobot systems. The basic target to generate a collision-free trajectory for each robot from its initial position position. In this paper, we study systems operating unstructured and changing environments. Each equipped with some sensors limited sensing ranges. We propose fully distributed approach trajectories such It combines model predictive control (MPC) strategy incremental sequential convex programming (iSCP) method. MPC...
A self-adaptive software system is one that can autonomously modify its behavior at runtime in response to changes the and environment. It a challenge model such kind of systems since it hard predict environmental design phase. In this paper, formal called intelligent Petri net (I-PN) proposed system. I-PN formed by incorporating fuzzy rules regular net. The has following advantages. 1) Since express an interpretable way their variables be reconfigured data, environment behavior. 2)...
Accompanying the unceasing progress of integrated circuit manufacturing technology, mainstream production mode current semiconductor wafer fabrication is featured with multi-variety, small batch, and individual customization, which poses a huge challenge to scheduling cluster tools single-wafer-type fabrication. Concurrent processing multiple types in tools, as novel pattern, has drawn increasing attention from industry academia, whereas corresponding research remains insufficient. This...
Automated Driving Systems (ADSs) have seen rapid progress in recent years. To ensure the safety and reliability of these systems, extensive testings are being conducted before their future mass deployment. Testing system on road is closest to real-world desirable approach, but it incredibly costly. Also, infeasible cover rare corner cases using such testing. Thus, a popular alternative evaluate an ADS's performance some well-designed challenging scenarios, a.k.a. scenario-based High-fidelity...
Autonomous Vehicles (AVs) are closely connected in the Cooperative Intelligent Transportation System (C-ITS). They equipped with various sensors and controlled by Driving Systems (ADSs) to provide high-level autonomy. The vehicles exchange different types of real-time data each other, which can help reduce traffic accidents congestion, improve efficiency transportation systems. However, when interacting environment, AVs suffer from a broad attack surface, sensory susceptible anomalies caused...
Modern autonomous vehicles adopt state-of-the-art DNN models to interpret the sensor data and perceive environment. However, are vulnerable different types of adversarial attacks, which pose significant risks security safety passengers. One prominent threat is backdoor attack, where adversary can compromise model by poisoning training samples. Although lots effort has been devoted investigation attack conventional computer vision tasks, its practicality applicability driving scenario rarely...
With the reduction of wafer batch size on account diversification and individuation consumption demands, increasing importance has been attached to schedulability controllability cluster tools with multiple types being concurrently processed, while corresponding research is seldom still open. This paper devoted addressing steady-state scheduling single-arm residency time constraints. Inspired by definition flow pattern for single type, a novel description introduced. For sake efficiency...
Collision avoidance is one of the crucial functions autonomous driving systems (ADSs) to guarantee safety vehicles (AVs). It requires extensive testing before an AV deployed public roads. Most current ADS methods generate test cases either from real traffic data or manually designed for some specific scenarios. There little work on systematic a complete map where operates. Systematic such challenging due enormous In this paper, we propose collision-avoidance method ADSs running map, which...
Abstract-In this paper, an ultra wideband impulse radio (UWB-IR) transmitter and receiver monolithic microwave integrate circuit (MMIC) for precision localization sensor network is presented. Longer range achieved with low power consumption at the by fully exploiting FCC's peak constraint efficiently. The MMIC are fabricated on a commercial cost 2 μm GaAs HBT process. output 20 dBm of 0.8 mW 1 MHz pulse repetitive rate. uses non-coherent detection has 44 dB front-end conversion gain....
Ultra low-power radio-frequency identification (RFID) tag with precision localization is often the enabling technology for location-aware sensor applications. Impulse-Radio Ultra-Wideband (IR-UWB) a promising to fulfill usage requirements in indoor cluttered environment. An ultra precise UWB-RFID system proposed this paper. The RFID transmitter comprising of micro-controller board and UWB impulse radio board. Power saving achieved by optimization circuit design short pulses as well...
In this paper, a new method is proposed to evaluate the performance of concurrent systems. A system consisting multiple processes that communicate via message passing mechanisms modeled by Petri net, which in turn represented set ordinary differential equations (ODEs) restricted type. The describe state changes, and solutions, also called measures, can be used for analysis such as estimating response time, throughput efficiency. This avoid explosion problem encountered conventional methods...
Autonomous vehicles (AVs) play an important role in transforming our transportation systems and relieving traffic congestion. To guarantee their safety, AVs must be sufficiently tested before they are deployed to public roads. Existing testing often focuses on AVs' collision avoidance a given route. There is little work the systematic for route planning tracking map. In this paper, we propose CROUTE, novel method based new AV criterion called coverage. First, map modeled as labeled Petri...
Robot Operating System (ROS) has been the mainstream platform for research and development of robotic applications. This is well-known lacking security features efficiency distributed computations. To address these issues, ROS2 recently developed by utilizing Data Distribution Service (DDS) to provide support. Integrated with DDS, expected establish basis trustworthy ecosystems.