7 citations · 8 across the 4 of their papers we have counts for
4 papers
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
Ali Shokri, Alexandre Perez, Souma Chowdhury +6
We introduce a novel approach to automatically synthesize a mathematical representation of the control algorithms implemented in industrial cyber-physical systems (CPS), given the…
Efficient Concurrent Design of the Morphology of Unmanned Aerial Systems and their Collective-Search Behavior
Chen Zeng, Prajit KrisshnaKumar, Jhoel Witter +1
The collective operation of robots, such as unmanned aerial vehicles (UAVs) operating as a team or swarm, is affected by their individual capabilities, which in turn is dependent o…
Learning Robust Policies for Generalized Debris Capture with an Automated Tether-Net System
Chen Zeng, Grant Hecht, Prajit KrisshnaKumar +3
Tether-net launched from a chaser spacecraft provides a promising method to capture and dispose of large space debris in orbit. This tether-net system is subject to several sources…
Deep Learning based Multi-Modal Sensing for Tracking and State Extraction of Small Quadcopters
Zhibo Zhang, Chen Zeng, Maulikkumar Dhameliya +2
This paper proposes a multi-sensor based approach to detect, track, and localize a quadcopter unmanned aerial vehicle (UAV). Specifically, a pipeline is developed to process monocu…