A5046844818- Petri Nets in System Modeling
- Formal Methods in Verification
- Traffic control and management
- Transportation Planning and Optimization
- Distributed systems and fault tolerance
- Traffic Prediction and Management Techniques
- Security and Verification in Computing
- Distributed Control Multi-Agent Systems
- Flexible and Reconfigurable Manufacturing Systems
- Smart Grid Security and Resilience
- Scheduling and Optimization Algorithms
- Stability and Control of Uncertain Systems
- Business Process Modeling and Analysis
- Vehicular Ad Hoc Networks (VANETs)
- Fault Detection and Control Systems
- Advanced Control Systems Optimization
- Autonomous Vehicle Technology and Safety
- Neural Networks Stability and Synchronization
- Manufacturing Process and Optimization
- Physical Unclonable Functions (PUFs) and Hardware Security
- Air Traffic Management and Optimization
- Transportation and Mobility Innovations
- Adaptive Control of Nonlinear Systems
- Advanced Manufacturing and Logistics Optimization
- Aviation Industry Analysis and Trends
Nanyang Technological University
2016-2025
Eindhoven University of Technology
2005-2025
Erasmus MC
2025
Daqing Oilfield General Hospital
2024
National University of Singapore
2017-2024
Shanghai Institute of Optics and Fine Mechanics
2024
China University of Geosciences (Beijing)
2023
Chengdu Normal University
2023
Great Wall Motors (China)
2022
Engineering Systems (United States)
2022
In this paper, we present a unified framework for distributed diagnosis. We first introduce the concepts of global and local consistency in terms supremal supports, then two diagnosis problems based on them. After that, provide algorithms to achieve supports respectively, discuss detail advantages disadvantages each. Finally, an industrial example demonstrate our approach.
This brief is concerned with integrated autonomous takeoff, target search, task assignment, and tracking using multiple fixed-wing unmanned aerial vehicles (UAVs) in urban environments. The problem to design flight autonomy that embedded onboard each UAV enable coordination distributed tasking. Control logic based on a finite state automaton model, integrating four modes of operations, namely, the takeoff mode, fly-to-area operation search presented. Different from state-of-the-art recent...
This article investigates the adaptive resilient event-triggered control for rear-wheel-drive autonomous (RWDA) vehicles based on an iterative single critic learning framework, which can effectively balance frequency/changes in adjusting vehicle’s during running process. According to kinematic equation of RWDA and desired trajectory, tracking error system driving process is first built, where denial-of-service (DoS) attacking signals are injected into networked communication transmission....
A treelike hybrid multi-cluster tool is composed of both single-arm and dual-arm cluster tools with a topology. Scheduling such challenging. For whose bottleneck individual process-bound, this work aims at finding its optimal one-wafer cyclic schedule. It modeled Petri nets that onewafer schedule parameterized as robots' waiting time. Based on the model, proves existence features ease industrial implementation. Then, computationally efficient algorithms are proposed to find minimal cycle...
Dear Editor, This letter addresses the resilient model predictive control (MPC) problems for adaptive cruise (ACC) systems under sensor attacks. In light of vulnerabilities ACC to attacks, an intrusion detection mechanism is proposed at controller side distinguish abnormal data. Then, robust gains are derived design terminal region constraint MPC. Further, improved event-triggered scheme presented, which shows ability relieve computation burden in implementation MPC, by combining...
Cerebrovascular diseases (CVDs) remain a leading cause of global disability and mortality. Digital Subtraction Angiography (DSA) sequences, recognized as the gold standard for diagnosing CVDs, can clearly visualize dynamic flow reveal pathological conditions within cerebrovasculature. Therefore, precise segmentation cerebral arteries (CAs) classification between their main trunks branches are crucial physicians to accurately quantify diseases. However, achieving accurate CA in DSA sequences...
Achieving nonblockingness in supervisory control imposes a major challenge when the number of states target system is large, often owing to synchronous product many relatively small local components. To overcome this difficulty, paper we first present distributed problem, then provide an aggregative synthesis approach that computes nonblocking supervisors. The key success newly developed automaton abstraction technique, removes irrelevant internal transitions at each stage so supervisor can...
A new concept of weighted pair graphs (WPGs) is proposed to represent a reconstructibility definition for Boolean control networks (BCNs), which generalization the given in Definition 4 [E. Fornasini and M. Valcher, IEEE Trans. Automat. Control, 58 (2013), pp. 1390--1401]. Based on WPG representation, an effective algorithm determining notion BCNs designed with help theories finite automata formal languages. We prove that BCN not reconstructible iff its has complete subgraph. In addition, we...
This paper discusses greedy methods for sensor placement in linear inverse problems. We comprehensively review the sense of optimizing mean squared error (MSE), volume confidence ellipsoid, and worst-case variance. show that method an MSE related cost function can find a near-optimal solution. then provide new fast algorithm to optimize MSE. In methods, we select sensing location one by one. this way, searching space is greatly reduced but many valid solutions are ignored. To further improve...
We demonstrate a strategy to stabilize nanoprecipitates in Al–Cu alloys, based on computational design that identifies synergistic solutes (Sc and Fe) simultaneously segregate the θ′-Al2Cu/Al interface strongly bond one another. Furthermore, Sc Fe are predicted each into separate atomic plane, forming sandwiched structure reinforcing interface. This interfacial architecture was realized through simple heat treatment Sc–Fe–Si triple-microalloyed model alloy. Such back-to-back layered...