323 citations · 514 across the 31 of their papers we have counts for
7 papers · 1 filter
Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction
Shuo Yang, George J. Pappas, Rahul Mangharam +1
We consider perception-based control using state estimates that are obtained from high-dimensional sensor measurements via learning-enabled perception maps. However, these percepti…
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks
Yu Chen, Shuo Yang, Rahul Mangharam +1
In this paper, we investigate the problem of synthesizing controllers for temporal logic specifications under security constraint. We assume that there exists a passive intruder (e…
Differentiable Safe Controller Design through Control Barrier Functions
Shuo Yang, Shaoru Chen, Victor M. Preciado +1
Learning-based controllers, such as neural network (NN) controllers, can show high empirical performance but lack formal safety guarantees. To address this issue, control barrier f…
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme
Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz +3
Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft System (UAS) carry out a wide variety of missions (e.g. moving humans and goods within the city), is…
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
Alëna Rodionova, Yash Vardhan Pant, Kuk Jang +2
With increasing urban population, there is global interest in Urban Air Mobility (UAM), where hundreds of autonomous Unmanned Aircraft Systems (UAS) execute missions in the airspac…
Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems
Madhur Behl, Achin Jain, Rahul Mangharam
Demand response (DR) is becoming increasingly important as the volatility on the grid continues to increase. Current DR approaches are completely manual and rule-based or involve d…
Model Checking Implantable Cardioverter Defibrillators
Houssam Abbas, Kuk Jin Jang, Zhihao Jiang +1
Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadequate blood flow to the body. It usually ends in death within seconds. The most c…