14 citations · 40 across the 12 of their papers we have counts for
7 papers · 1 filter
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…
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…
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…