20 citations · 26 across the 8 of their papers we have counts for
5 papers · 1 filter
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes
August Söderlund, Frank J. Jiang, Vandana Narri +2
In this paper, we present a data-driven approach for safely predicting the future state sets of pedestrians. Previous approaches to predicting the future state sets of pedestrians…
Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions
Amr Alanwar, Frank J. Jiang, Samy Amin +1
A logical zonotope, which is a new set representation for binary vectors, is introduced in this paper. A logical zonotope is constructed by XOR-ing a binary vector with a combinati…
Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications
Pian Yu, Yulong Gao, Frank J. Jiang +2
This paper studies the online control synthesis problem for uncertain discrete-time systems subject to signal temporal logic (STL) specifications. Different from existing technique…
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems
Yulong Gao, Alessandro Abate, Frank J. Jiang +3
We propose algorithms for performing model checking and control synthesis for discrete-time uncertain systems under linear temporal logic (LTL) specifications. We construct tempora…
Learning Quadrotor Dynamics Using Neural Network for Flight Control
Somil Bansal, Anayo K. Akametalu, Frank J. Jiang +2
Traditional learning approaches proposed for controlling quadrotors or helicopters have focused on improving performance for specific trajectories by iteratively improving upon a n…