Search Results - "Fan, Chuchu"

Image Super-Resolution Via Analysis Sparse Prior by Ning, Qiang, Chen, Kan, Yi, Li, Fan, Chuchu, Lu, Yao, Wen, Jiangtao

“…In this letter, we present a new algorithm for a single image super-resolution using the analysis sparse prior in the l αβ color space. Experimental results…”
Get full text

Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control by Dawson, Charles, Gao, Sicun, Fan, Chuchu

“…Learning-enabled control systems have demonstrated impressive empirical performance on challenging control problems in robotics, but this performance comes at…”
Get full text

Rigid Body Path Planning Using Mixed-Integer Linear Programming by Yu, Mingxin, Fan, Chuchu

“…Navigating rigid body objects through crowded environments can be challenging, especially when narrow passages are presented. Existing sampling-based planners…”
Get full text

Diverse Controllable Diffusion Policy with Signal Temporal Logic by Meng, Yue, Fan, Chuchu

“…Generating realistic simulations is critical for autonomous system applications such as self-driving and humanrobot interactions. However, driving simulators…”
Get full text

A Hierarchical Framework for Solving the Constrained Multiple Depot Traveling Salesman Problem by Yang, Ruixiao, Fan, Chuchu

“…The Multiple Depot Traveling Salesman Problem (MDTSP) is a variant of the NP-hard Traveling Salesman Problem (TSP) with more than one salesman to jointly visit…”
Get full text

Signal Temporal Logic Neural Predictive Control by Meng, Yue, Fan, Chuchu

“…Ensuring safety and meeting temporal specifications are critical challenges for long-term robotic tasks. Signal temporal logic (STL) has been widely used to…”
Get full text

Locally optimal reach set over-approximation for nonlinear systems by Chuchu Fan, Kapinski, James, Xiaoqing Jin, Mitra, Sayan

“…Safety verification of embedded systems modeled as hybrid systems can be scaled up by employing simulation-guided reach set over-approximation techniques…”
Get full text

Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic by Dawson, Charles, Fan, Chuchu

“…Signal temporal logic (STL) provides a powerful, flexible framework for specifying complex autonomy tasks; however, existing methods for planning based on STL…”
Get full text

Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates by Dawson, Charles, Lowenkamp, Bethany, Goff, Dylan, Fan, Chuchu

“…Many robotic tasks require high-dimensional sensors such as cameras and Lidar to navigate complex environments, but developing certifiably safe feedback…”
Get full text

Controller Synthesis for Linear System With Reach-Avoid Specifications by Fan, Chuchu, Qin, Zengyi, Mathur, Umang, Ning, Qiang, Mitra, Sayan, Viswanathan, Mahesh

“…We address the problem of synthesizing provably correct controllers for linear systems with reach-avoid specifications. Discrete abstraction-based controller…”
Get full text

Learning safe control for multi-robot systems: Methods, verification, and open challenges by Garg, Kunal, Zhang, Songyuan, So, Oswin, Dawson, Charles, Fan, Chuchu

“…In this survey, we review the recent advances in control design methods for robotic multi-agent systems (MAS), focusing on learning-based methods with safety…”
Get full text

Sablas: Learning Safe Control for Black-Box Dynamical Systems by Qin, Zengyi, Sun, Dawei, Fan, Chuchu

“…Control certificates based on barrier functions have been a powerful tool to generate probably safe control policies for dynamical systems. However, existing…”
Get full text

Multi-Agent Motion Planning From Signal Temporal Logic Specifications by Sun, Dawei, Chen, Jingkai, Mitra, Sayan, Fan, Chuchu

“…We tackle the challenging problem of multi-agent cooperative motion planning for complex tasks described using signal temporal logic (STL), where robots can…”
Get full text

Physics-Informed, Safety and Stability Certified Neural Control for Uncertain Networked Microgrids by Wang, Lizhi, Zhang, Songyuan, Zhou, Yifan, Fan, Chuchu, Zhang, Peng, Shamash, Yacov A.

“…This letter devises a physics-informed neural hierarchical control for uncertain networked microgrids (NMs) to provide certificated safe and stable control of…”
Get full text

Reactive and Safe Road User Simulations using Neural Barrier Certificates by Meng, Yue, Qin, Zengyi, Fan, Chuchu

“…Reactive and safe agent modellings are important for nowadays traffic simulator designs and safe planning applications. In this work, we proposed a reactive…”
Get full text

Bounded invariant verification for time-delayed nonlinear networked dynamical systems by Huang, Zhenqi, Fan, Chuchu, Mitra, Sayan

“…We present a technique for bounded invariant verification of nonlinear networked dynamical systems with delayed interconnections. The underlying problem in…”
Get full text

Learning-Based Bayesian Inference for Testing of Autonomous Systems by Parashar, Anjali, Yin, Ji, Dawson, Charles, Tsiotras, Panagiotis, Fan, Chuchu

“…For the safe operation of robotic systems, it is important to accurately understand its failure modes using prior testing. Hardware testing of robotic…”
Get full text

Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Method Using Control Barrier Functions by Yin, Ji, Dawson, Charles, Fan, Chuchu, Tsiotras, Panagiotis

“…Model Predictive Path Integral (MPPI) control is a type of sampling-based model predictive control that simulates thousands of trajectories and uses these…”
Get full text

Model-free Neural Fault Detection and Isolation for Safe Control by Garg, Kunal, Dawson, Charles, Xu, Kathleen, Ornik, Melkior, Fan, Chuchu

“…A sudden actuator fault in a safety-critical system can cause safety violations and lead to severe consequences. Existing fault-tolerant control (FTC)…”
Get full text

Learning-Based, Safety and Stability-Certified Microgrid Control by Wang, Lizhi, Zhang, Songyuan, Zhou, Yifan, Fan, Chuchu, Zhang, Peng, Shamash, Yacov A.

“…A neural-Lyapunov-barrier-enabled, physics informed-learning-based control method is devised to provide certificated safe and stable hierarchical control of…”
Get full text