Biblio

Found 9 results
Filters: Author is Fan, Chuchu  [Clear All Filters]
2021
Fan C, Qin Z, Mathur U, Ning Q, Mitra S, Viswanathan M.  2021.  Controller synthesis for linear system with reach-avoid specifications. Transactions on Automatic Control.
Qin Z, Zhang K, Chen Y, Chen J, Fan C.  2021.  Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. Conference on Learning Representations.
Chen J, Williams B, Fan C.  2021.  Optimal mixed discrete-continuous planning for linear hybrid systems. The 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC).
Chen J, Li J, Fan C, Williams B.  2021.  Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21).
Sun D, Khojasteh MJavad, Shekhar S, Fan C.  2021.  Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. Conference on Learning for Dynamics and Control (L4DC).
2020
Fan C, Miller K, Mitra S.  2020.  Fast and guaranteed safe controller synthesis for nonlinear vehicle models. International Conference on Computer Aided Verification (CAV). :629–652.
Sun D, Jha S, Fan C.  2020.  Learning Certified Control using Contraction Metric. Conference on Robot Learning (CoRL).
Sibai H, Mokhlesi N, Fan C, Mitra S.  2020.  Multi-agent safety verification using symmetry transformations. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 12078 LNCS:173–190.
Chen Y, Rosolia U, Fan C, Ames AD, Murray R.  2020.  Reactive motion planning with probabilistics safety guarantees. Conference on Robot Learning (CoRL).