Z. Kong

发表

SpaTeL: a novel spatial-temporal logic and its applications to networked systems

Calin Belta, Ezio Bartocci, Radu Grosu, 2015, HSCC.

Optimised dispensing of predatory mites by multirotor UAVs in wind: A distribution pattern modelling approach for precision pest management

C. Nansen, Z. Kong, April L. Teske, 2019, Biosystems Engineering.

Data-Driven Real-Timed-Failure-Propagation-Graph Refinement for Complex System Fault Diagnosis

Z. Kong, Xinfan Lin, Gang Chen, 2020 .

Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network

Z. Kong, Yu Lu, Gang Chen, 2022, ArXiv.

Drones: Innovative Technology for Use in Precision Pest Management

W. Heldens, Z. Kong, Elvira S. De Lange, 2019, Journal of Economic Entomology.

Energy-Efficient UAV Trajectory Generation Based on System-Level Modeling of Multi-Physical Dynamics

Z. Kong, Xinfan Lin, Nicolas Michel, 2022, 2022 American Control Conference (ACC).

Data-driven vermiculite distribution modelling for UAV-based precision pest management

C. Nansen, Z. Kong, Na Ma, 2022, Frontiers in Robotics and AI.

Neurophysiological and Behavioral Differences in Human-Multiagent Tasks: An EEG Network Perspective

Z. Kong, Gregory Bales, 2022, ACM Trans. Hum. Robot Interact..

Causal Explanation for Reinforcement Learning: Quantifying State and Temporal Importance

Z. Kong, Xiaoxiao Wang, Xin Liu, 2022, ArXiv.

Temporal logic inference for classification and prediction from data

Calin Belta, Austin Jones, Zhaodan Kong, 2014, HSCC.

A Survey of Motion Planning Algorithms from the Perspective of Autonomous UAV Guidance

Zhaodan Kong, Bernard Mettler, C. Goerzen, 2010, J. Intell. Robotic Syst..

Evaluation of Guidance Performance in Urban Terrains for Different UAV Types and Performance Criteria Using Spatial CTG Maps

Zhaodan Kong, Bernard Mettler, B. Mettler, 2011, J. Intell. Robotic Syst..

Mapping 3D guidance performance using approximate optimal cost-to-go function

Bernard Mettler, Zhaodan Kong, Venkateshwar R. Korukanti, 2009 .

Receding horizon trajectory optimization with a finite-state value function approximation

Zhaodan Kong, B. Mettler, Z. Kong, 2008, 2008 American Control Conference.

Benchmarking of obstacle field navigation algorithms for autonomous helicopters

Bernard Mettler, Zhaodan Kong, Matthew S. Whalley, 2010 .

Causal Signal Temporal Logic for the Environmental Control and Life Support System’s Fault Analysis and Explanation

Samuel P. Eshima, J. Nabity, Z. Kong, 2023, IEEE Access.

Systems view on spatial planning and perception based on invariants in agent-environment dynamics

Zhaodan Kong, Bin Li, Bérénice Mettler, 2015, Front. Neurosci..

Optical flow sensing and the inverse perception problem for flying bats

Margrit Betke, Zhaodan Kong, John Baillieul, 2013, 52nd IEEE Conference on Decision and Control.

Research Infrastructure for Interactive Human- and Autonomous Guidance

Z. Kong, N. Dadkhah, Bérénice Mettler, 2013, J. Intell. Robotic Syst..

Temporal Logics for Learning and Detection of Anomalous Behavior

Calin Belta, Austin Jones, Zhaodan Kong, 2017, IEEE Transactions on Automatic Control.

Recurrent convolutional networks based intention recognition for human-robot collaboration tasks

Hong Liu, Bin Wang, Zhaodan Kong, 2017, 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Formal interpretation of cyber-physical system performance with temporal logic

Gang Chen, Zhaodan Kong, Zachary Sabato, 2018, Cyber-Physical Systems.

Temporal-Logic-Based Semantic Fault Diagnosis With Time-Series Data From Industrial Internet of Things

Gang Chen, Zhaodan Kong, Mei Liu, 2020, IEEE Transactions on Industrial Electronics.

Q-Learning for robust satisfaction of signal temporal logic specifications

Calin Belta, Austin Jones, Zhaodan Kong, 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

Recognizing Gaze-Motor Behavioral Patterns in Manual Grinding Tasks

Barbara Linke, Jayanti Das, Zhaodan Kong, 2016 .

Quantifying Causal Path-Specific Importance in Structural Causal Model

Z. Kong, Xin Liu, Xiaoxiao Wang, 2023, Comput..

Vision-Based 2D Navigation of Unmanned Aerial Vehicles in Riverine Environments with Imitation Learning

Z. Kong, A. Michelmore, Peng Wei, 2022, Journal of Intelligent & Robotic Systems.

Causal explanation for reinforcement learning: quantifying state and temporal importance

Z. Kong, Xiaoxiao Wang, Xin Liu, 2022, Applied Intelligence.

Perceiving Artistic Expression: A Formal Exploration of Performance Art Salsa

Shuai Wang, Zhaodan Kong, Kayhan Özcimder, 2018, IEEE Access.

Neurophysiological and behavioral studies of human-swarm interaction tasks

Zhaodan Kong, Gregory Bales, Z. Kong, 2017, 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Anomaly detection in cyber-physical systems: A formal methods approach

Calin Belta, Austin Jones, Zhaodan Kong, 2014, 53rd IEEE Conference on Decision and Control.

Neural ensemble dynamics in trunk and hindlimb sensorimotor cortex encode for the control of postural stability.

J. Ditterich, K. Moxon, Z. Kong, 2023, Cell reports.

Digitalization of Human Operations in the Age of Cyber Manufacturing: Sensorimotor Analysis of Manual Grinding Performance

Zhaodan Kong, Barbara Linke, Jayanti Das, 2017 .

Neural ensemble dynamics in trunk and hindlimb sensorimotor cortex encode for the control of postural stability.

J. Ditterich, K. Moxon, Z. Kong, 2023, Cell reports.

SUNY: A Visual Interpretation Framework for Convolutional Neural Networks from a Necessary and Sufficient Perspective

Z. Kong, Hsuan-Tien Lin, Kwan-Liu Ma, 2023, ArXiv.

Agile autonomous guidance using spatial value functions

Bernard Mettler, Zhaodan Kong, Navid Dadkhah, 2010 .

XAI Design Goals and Evaluation Metrics for Space Exploration: A Survey of Human Spaceflight Domain Experts

John A. Karasinski, Z. Kong, T. Barkouki, 2023, AIAA SCITECH 2023 Forum.

Formal interpretation of cyber-physical system performance with temporal logic

Z. Kong, Gang Chen, Zachary Sabato, 2018, Cyber-Physical Systems.

Enforcing temporal logic specifications via reinforcement learning

Calin Belta, Austin Jones, Zhaodan Kong, 2015, HSCC.

UAV-Based Wildland Fire Air Toxics Data Collection and Analysis

Preet P. Amin, Z. Kong, A. Kaduwela, 2023, Sensors.