Zhaodan Kong

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 36

Top Topics

Mazurkiewicz Traces

Physical Systems

Fault Diagnosis

Top Venues

Publications

Xiaoxiao Wang, Minda Zhao, Fanyu Meng, Xin Liu, Zhaodan Kong, Xin Chen
Quantifying Causal Path-Specific Importance in Structural Causal Model. Comput. 11 (7) (2023)
Kaiming Fu, Peng Wei, Juan Villacrés, Zhaodan Kong, Stavros G. Vougioukas, Brian N. Bailey
Fusion-Driven Tree Reconstruction and Fruit Localization: Advancing Precision in Agriculture. CoRR (2023)
Xiaoxiao Wang, Fanyu Meng, Xin Liu, Zhaodan Kong, Xin Chen
Causal explanation for reinforcement learning: quantifying state and temporal importance. Appl. Intell. 53 (19) (2023)
Xiwei Xuan, Ziquan Deng, Hsuan-Tien Lin, Zhaodan Kong, Kwan-Liu Ma
SUNY: A Visual Interpretation Framework for Convolutional Neural Networks from a Necessary and Sufficient Perspective. CoRR (2023)
Ziquan Deng, Samuel P. Eshima, James Nabity, Zhaodan Kong
Causal Signal Temporal Logic for the Environmental Control and Life Support System's Fault Analysis and Explanation. IEEE Access 11 (2023)
Ashkan Zehfroosh, Zhaodan Kong, Stavros G. Vougioukas
Efficient Re-synthesis of Control Barrier Function via Safe Exploration. CDC (2023)
Prabhash Ragbir, Ajith Kaduwela, David Passovoy, Preet Amin, Shuchen Ye, Christopher Wallis, Christopher Alaimo, Thomas Young, Zhaodan Kong
UAV-Based Wildland Fire Air Toxics Data Collection and Analysis. Sensors 23 (7) (2023)
Peng Wei, Ryan Liang, Andrew Michelmore, Zhaodan Kong
Vision-Based 2D Navigation of Unmanned Aerial Vehicles in Riverine Environments with Imitation Learning. J. Intell. Robotic Syst. 104 (3) (2022)
Xiaoxiao Wang, Fanyu Meng, Zhaodan Kong, Xin Chen, Xin Liu
Causal Explanation for Reinforcement Learning: Quantifying State and Temporal Importance. CoRR (2022)
Nicolas Michel, Zhaodan Kong, Xinfan Lin
Energy-Efficient UAV Trajectory Generation Based on System-Level Modeling of Multi-Physical Dynamics. ACC (2022)
Na Ma, Anil Mantri, Graham Bough, Ayush Patnaik, Siddhesh Yadav, Christian Nansen, Zhaodan Kong
Data-driven vermiculite distribution modelling for UAV-based precision pest management. Frontiers Robotics AI 9 (2022)
Gang Chen, Yu Lu, Rong Su, Zhaodan Kong
Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network. CoRR (2022)
Na Ma, Anil Mantri, Graham Bough, Ayush Patnaik, Siddhesh Yadav, Christian Nansen, Zhaodan Kong
Data-driven vermiculite distribution modelling for UAV-based precision pest management. Future Internet 9 (2022)
Peng Wei, Xinfan Lin, Zhaodan Kong
System identification of wind effects on multirotor aircraft. Int. J. Intell. Robotics Appl. 6 (1) (2022)
Gang Chen, Mei Liu, Zhaodan Kong
Temporal-Logic-Based Semantic Fault Diagnosis With Time-Series Data From Industrial Internet of Things. IEEE Trans. Ind. Electron. 68 (5) (2021)
Ziquan Deng, Zhaodan Kong
Interpretable Fault Diagnosis for Cyberphysical Systems: A Learning Perspective. Computer 54 (9) (2021)
Gang Chen, Xinfan Lin, Zhaodan Kong
Data-Driven Real-Valued Timed-Failure-Propagation-Graph Refinement for Complex System Fault Diagnosis. IEEE Control. Syst. Lett. 5 (3) (2021)
Ziquan Deng, Zhaodan Kong
Multi-Agent Cooperative Pursuit-Defense Strategy Against One Single Attacker. IEEE Robotics Autom. Lett. 5 (4) (2020)
Peng Wei, Sui Nam Chan, Seongkyu Lee, Zhaodan Kong
Mitigating ground effect on mini quadcopters with model reference adaptive control. Int. J. Intell. Robotics Appl. 3 (3) (2019)
Gang Chen, Mei Liu, Zhaodan Kong
Semantic Inference for Cyber-Physical Systems with Signal Temporal Logic. CDC (2019)
Gregory Bales, Zhaodan Kong
Cognitive correlates of EEG spectral power indicate human-swarm task performance. IOT (2018)
Gang Chen, Zhaodan Kong
Data-Driven Approximate Abstraction for Black-Box Piecewise Affine Systems. CoRR (2018)
Kayhan Özcimder, Zhaodan Kong, Shuai Wang, John Baillieul
Perceiving Artistic Expression: A Formal Exploration of Performance Art Salsa. IEEE Access 6 (2018)
Gang Chen, Zachary Sabato, Zhaodan Kong
Semantic parsing of automobile steering systems. IOT (2018)
Gang Chen, Zhaodan Kong
Data-Driven Approximate Abstraction for Black-Box Piecewise Affine Systems. ACC (2018)
Zhaodan Kong, Austin Jones, Calin Belta
Temporal Logics for Learning and Detection of Anomalous Behavior. IEEE Trans. Autom. Control. 62 (3) (2017)
Gregory Bales, Zhaodan Kong
Neurophysiological and behavioral studies of human-swarm interaction tasks. SMC (2017)
Gang Chen, Zhaodan Kong
Correct-by-Construction Approach for Self-Evolvable Robots. CoRR (2017)
Zhichao Wang, Bin Wang, Hong Liu, Zhaodan Kong
Recurrent convolutional networks based intention recognition for human-robot collaboration tasks. SMC (2017)
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
Q-Learning for robust satisfaction of signal temporal logic specifications. CDC (2016)
Gang Chen, Zachary Sabato, Zhaodan Kong
Active Requirement Mining of Bounded-Time Temporal Properties of Cyber-Physical Systems. CoRR (2016)
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications. CoRR (2016)
Gang Chen, Zachary Sabato, Zhaodan Kong
Active learning based requirement mining for cyber-physical systems. CDC (2016)
Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning. CoRR (2015)
Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
Enforcing temporal logic specifications via reinforcement learning. HSCC (2015)
Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta
SpaTeL: a novel spatial-temporal logic and its applications to networked systems. HSCC (2015)
Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta
Temporal logic inference for classification and prediction from data. HSCC (2014)
John Baillieul, Zhaodan Kong
Saliency based control in random feature networks. CDC (2014)
John Baillieul, Zhaodan Kong
Saliency Based Control in Random Feature Networks. CoRR (2014)
Austin Jones, Zhaodan Kong, Calin Belta
Anomaly detection in cyber-physical systems: A formal methods approach. CDC (2014)
Kayhan Özcimder, Zhaodan Kong, John Baillieul
Algorithmic approaches to artistic movement. CDC (2014)
Bérénice Mettler, Zhaodan Kong
Mapping and Analysis of Human Guidance Performance From Trajectory Ensembles. IEEE Trans. Hum. Mach. Syst. 43 (1) (2013)
Zhaodan Kong, Kayhan Özcimder, Nathan W. Fuller, Alison Greco, Diane H. Theriault, Zheng Wu, Thomas H. Kunz, Margrit Betke, John Baillieul
Optical Flow Sensing and the Inverse Perception Problem for Flying Bats CoRR (2013)
Zhaodan Kong, Kayhan Özcimder, Nathan W. Fuller, Alison Greco, Diane H. Theriault, Zheng Wu, Thomas H. Kunz, Margrit Betke, John Baillieul
Optical flow sensing and the inverse perception problem for flying bats. CDC (2013)
Zhaodan Kong, Kayhan Özcimder, Nathan W. Fuller, John Baillieul
Perception and Steering Control in Paired Bat Flight. CoRR (2013)
Bérénice Mettler, Zhaodan Kong
Hierarchical Model of Human Guidance Performance Based on Interaction Patterns in Behavior. CoRR (2013)
Zhaodan Kong, Bérénice Mettler
Modeling Human Guidance Behavior Based on Patterns in Agent-Environment Interactions. IEEE Trans. Hum. Mach. Syst. 43 (4) (2013)
Bérénice Mettler, Navid Dadkhah, Zhaodan Kong, Jonathan Andersh
Research Infrastructure for Interactive Human- and Autonomous Guidance. J. Intell. Robotic Syst. 70 (1-4) (2013)
Zhaodan Kong, Bernard Mettler
Evaluation of Guidance Performance in Urban Terrains for Different UAV Types and Performance Criteria Using Spatial CTG Maps. J. Intell. Robotic Syst. 61 (1-4) (2011)
Zhaodan Kong, Bernard Mettler
Foundations of formal language for humans and artificial systems based on intrinsic structure in spatial behavior. IROS (2011)
Zhaodan Kong, Bernard Mettler
An investigation of spatial behavior in agile guidance tasks. SMC (2011)
C. Goerzen, Zhaodan Kong, Bernard Mettler
A Survey of Motion Planning Algorithms from the Perspective of Autonomous UAV Guidance. J. Intell. Robotic Syst. 57 (1-4) (2010)
Zhaodan Kong, Bernard Mettler
On the general characteristics of 2D optimal obstacle-field guidance solution. CDC (2009)
Navid Dadkhah, Venkateshwar Rao Korukanti, Zhaodan Kong, Bernard Mettler
Experimental demonstration of an online trajectory optimization scheme using approximate spatial value functions. CDC (2009)
Bernard Mettler, Zhaodan Kong
Receding horizon trajectory optimization with a finite-state value function approximation. ACC (2008)