4 citations · 8 across the 4 of their papers we have counts for
4 papers
Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network
Gang Chen, Yu Lu, Rong Su +1
Machine learning-based methods have achieved successful applications in machinery fault diagnosis. However, the main limitation that exists for these methods is that they operate a…
Data-Driven Approximate Abstraction for Black-Box Piecewise Affine Systems
Gang Chen, Zhaodan Kong
How to effectively and reliably guarantee the correct functioning of safety-critical cyber-physical systems in uncertain conditions is a challenging problem. This paper presents a…
Correct-by-Construction Approach for Self-Evolvable Robots
Gang Chen, Zhaodan Kong
The paper presents a new formal way of modeling and designing reconfigurable robots, in which case the robots are allowed to reconfigure not only structurally but also functionally…
Active Requirement Mining of Bounded-Time Temporal Properties of Cyber-Physical Systems
Gang Chen, Zachary Sabato, Zhaodan Kong
This paper uses active learning to solve the problem of mining bounded-time signal temporal requirements of cyber-physical systems or simply the requirement mining problem. By util…