Zhaodan Kong

Sanjay S. Joshi

CoRR, 2024

Operationally Realistic Human-Autonomy Teaming Task Simulation to Study Multi-Dimensional Trust.

[BibT_eX]

[DOI]

Proceedings of the Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, 2024

2023

Causal explanation for reinforcement learning: quantifying state and temporal importance.

[BibT_eX]

[DOI]

Appl. Intell., October, 2023

Quantifying Causal Path-Specific Importance in Structural Causal Model.

[BibT_eX]

[DOI]

Comput., June, 2023

UAV-Based Wildland Fire Air Toxics Data Collection and Analysis.

[BibT_eX]

[DOI]

Sensors, April, 2023

Fusion-Driven Tree Reconstruction and Fruit Localization: Advancing Precision in Agriculture.

[BibT_eX]

[DOI]

Stavros G. Vougioukas

Brian N. Bailey

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

IEEE Access, 2023

Efficient Re-synthesis of Control Barrier Function via Safe Exploration.

[BibT_eX]

[DOI]

Ashkan Zehfroosh

Stavros G. Vougioukas

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

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

[BibT_eX]

[DOI]

Gregory Bales

ACM Trans. Hum. Robot Interact., 2022

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

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 2022

System identification of wind effects on multirotor aircraft.

[BibT_eX]

[DOI]

Peng Wei

Xinfan Lin

Int. J. Intell. Robotics Appl., 2022

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

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

Nicolas Michel

Xinfan Lin

Proceedings of the American Control Conference, 2022

2021

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

[BibT_eX]

[DOI]

Mei Liu

IEEE Trans. Ind. Electron., 2021

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

[BibT_eX]

[DOI]

Xinfan Lin

IEEE Control. Syst. Lett., 2021

Interpretable Fault Diagnosis for Cyberphysical Systems: A Learning Perspective.

[BibT_eX]

[DOI]

Ziquan Deng

Computer, 2021

2020

Multi-Agent Cooperative Pursuit-Defense Strategy Against One Single Attacker.

[BibT_eX]

[DOI]

Ziquan Deng

IEEE Robotics Autom. Lett., 2020

2019

Mitigating ground effect on mini quadcopters with model reference adaptive control.

[BibT_eX]

[DOI]

Int. J. Intell. Robotics Appl., 2019

Semantic Inference for Cyber-Physical Systems with Signal Temporal Logic.

[BibT_eX]

[DOI]

Mei Liu

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Perceiving Artistic Expression: A Formal Exploration of Performance Art Salsa.

[BibT_eX]

[DOI]

IEEE Access, 2018

Semantic parsing of automobile steering systems.

[BibT_eX]

[DOI]

Zachary Sabato

Proceedings of the 8th International Conference on the Internet of Things, 2018

Cognitive correlates of EEG spectral power indicate human-swarm task performance.

[BibT_eX]

[DOI]

Gregory Bales

Proceedings of the 8th International Conference on the Internet of Things, 2018

Data-Driven Approximate Abstraction for Black-Box Piecewise Affine Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Temporal Logics for Learning and Detection of Anomalous Behavior.

[BibT_eX]

[DOI]

Austin Jones

Calin Belta

IEEE Trans. Autom. Control., 2017

Correct-by-Construction Approach for Self-Evolvable Robots.

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Neurophysiological and behavioral studies of human-swarm interaction tasks.

[BibT_eX]

[DOI]

Gregory Bales

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

2016

Active Requirement Mining of Bounded-Time Temporal Properties of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Zachary Sabato

CoRR, 2016

Active learning based requirement mining for cyber-physical systems.

[BibT_eX]

[DOI]

Zachary Sabato

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Q-Learning for robust satisfaction of signal temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2015

Enforcing temporal logic specifications via reinforcement learning.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2014

Temporal logic inference for classification and prediction from data.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Algorithmic approaches to artistic movement.

[BibT_eX]

[DOI]

Kayhan Özcimder

John Baillieul

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

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

[BibT_eX]

[DOI]

Austin Jones

Calin Belta

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Saliency based control in random feature networks.

[BibT_eX]

[DOI]

John Baillieul

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Mapping and Analysis of Human Guidance Performance From Trajectory Ensembles.

[BibT_eX]

[DOI]

Bérénice Mettler

IEEE Trans. Hum. Mach. Syst., 2013

Modeling Human Guidance Behavior Based on Patterns in Agent-Environment Interactions.

[BibT_eX]

[DOI]

Bérénice Mettler

IEEE Trans. Hum. Mach. Syst., 2013

Research Infrastructure for Interactive Human- and Autonomous Guidance.

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 2013

Hierarchical Model of Human Guidance Performance Based on Interaction Patterns in Behavior.

[BibT_eX]

[DOI]

Bérénice Mettler

CoRR, 2013

Perception and Steering Control in Paired Bat Flight.

[BibT_eX]

[DOI]

CoRR, 2013

Optical flow sensing and the inverse perception problem for flying bats.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2011

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

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 2011

An investigation of spatial behavior in agile guidance tasks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2011

Foundations of formal language for humans and artificial systems based on intrinsic structure in spatial behavior.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

2010

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

[BibT_eX]

[DOI]

C. Goerzen

J. Intell. Robotic Syst., 2010

2009

On the general characteristics of 2D optimal obstacle-field guidance solution.

[BibT_eX]

[DOI]

Venkateshwar Rao Korukanti

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Experimental demonstration of an online trajectory optimization scheme using approximate spatial value functions.

[BibT_eX]

[DOI]

Navid Dadkhah

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008

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

[BibT_eX]

[DOI]