20 citations · 26 across the 8 of their papers we have counts for
9 papers
Demonstration of Space Robot Teleoperation over a Lossy and Delayed Network using ATMOS
Inkyu Jang, Gregorio Marchesini, Nicola De Carli +15
We present a demonstration showcasing the Autonomy Testbed for Multi-purpose Orbiting Systems (ATMOS), a planar spacecraft-analog robot designed for hardware-in-the-loop evaluation…
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…
Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
Amr Alanwar, Frank J. Jiang, Karl H. Johansson
In this paper, we introduce a set representation called polynomial logical zonotopes for performing exact and computationally efficient reachability analysis on logical systems. We…
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…
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Amr Alanwar, Frank J. Jiang, Maryam Sharifi +2
This paper presents algorithms for performing data-driven reachability analysis under temporal logic side information. In certain scenarios, the data-driven reachable sets of a rob…
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…
Using Neural Networks to Compute Approximate and Guaranteed Feasible Hamilton-Jacobi-Bellman PDE Solutions
Frank Jiang, Glen Chou, Mo Chen +1
To sidestep the curse of dimensionality when computing solutions to Hamilton-Jacobi-Bellman partial differential equations (HJB PDE), we propose an algorithm that leverages a neura…
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…