14 citations · 40 across the 12 of their papers we have counts for
12 papers
SUNY: A Visual Interpretation Framework for Convolutional Neural Networks from a Necessary and Sufficient Perspective
Xiwei Xuan, Ziquan Deng, Hsuan-Tien Lin +2
Researchers have proposed various methods for visually interpreting the Convolutional Neural Network (CNN) via saliency maps, which include Class-Activation-Map (CAM) based approac…
Causal Explanation for Reinforcement Learning: Quantifying State and Temporal Importance
Xiaoxiao Wang, Fanyu Meng, Xin Liu +2
Explainability plays an increasingly important role in machine learning. Furthermore, humans view the world through a causal lens and thus prefer causal explanations over associati…
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…
Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications
Derya Aksaray, Austin Jones, Zhaodan Kong +2
This paper addresses the problem of learning optimal policies for satisfying signal temporal logic (STL) specifications by agents with unknown stochastic dynamics. The system is mo…
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…
Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning
Austin Jones, Derya Aksaray, Zhaodan Kong +2
We consider the problem of steering a system with unknown, stochastic dynamics to satisfy a rich, temporally layered task given as a signal temporal logic formula. We represent the…
Saliency Based Control in Random Feature Networks
John Baillieul, Zhaodan Kong
The ability to rapidly focus attention and react to salient environmental features enables animals to move agiley through their habitats. To replicate this kind of high-performance…
Perception and Steering Control in Paired Bat Flight
Zhaodan Kong, Kayhan Ozcimder, Nathan W. Fuller +1
Animals within groups need to coordinate their reactions to perceived environmental features and to each other in order to safely move from one point to another. This paper extends…
Hierarchical Model of Human Guidance Performance Based on Interaction Patterns in Behavior
Berenice Mettler, Zhaodan Kong
This paper describes a framework for the investigation and modeling of human spatial guidance behavior in complex environments. The model is derived from the concept of interaction…
Optical Flow Sensing and the Inverse Perception Problem for Flying Bats
Zhaodan Kong, Kayhan Özcimder, Nathan Fuller +6
The movements of birds, bats, and other flying species are governed by complex sensorimotor systems that allow the animals to react to stationary environmental features as well as…