Biblio
Found 29 results
Filters: Author is Fan, Chuchu [Clear All Filters]
Controller synthesis for linear system with reach-avoid specifications. Transactions on Automatic Control.
.
2021. Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. Conference on Learning Representations.
.
2021. Optimal mixed discrete-continuous planning for linear hybrid systems. The 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC).
.
2021. Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21).
.
2021. Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. Conference on Learning for Dynamics and Control (L4DC).
.
2021. Fast and guaranteed safe controller synthesis for nonlinear vehicle models. International Conference on Computer Aided Verification (CAV). :629–652.
.
2020. Learning Certified Control using Contraction Metric. Conference on Robot Learning (CoRL).
.
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.
.
2020. Reactive motion planning with probabilistics safety guarantees. Conference on Robot Learning (CoRL).
.
2020. Data-Driven Safety Verification of Complex Cyber-Physical Systems. Design Automation of Cyber-Physical Systems. :107–142.
.
2019. Approximate Partial Order Reduction. Formal Methods - 22nd International Symposium, (FM). :588–607.
.
2018. Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. Computer Aided Verification - 30th International Conference, (CAV). :347–366.
.
2018. Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features. IEEE Design and Test. 35:31–38.
.
2018. DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. Hybrid Systems: Computation and Control - 21st International Conference, (HSCC). :269–270.
.
2018. Exploiting Partially Annotated Data for Temporal Relation Extraction. The Joint Conference on Lexical and Computational Semantics, (*SEM). :148––153.
.
2018. Verifying nonlinear analog and mixed-signal circuits with inputs. IFAC Conference on Analysis and Design of Hybrid Systems, (ADHS).
.
2018. Bounded invariant verification for time-delayed nonlinear networked dynamical systems. Nonlinear Analysis: Hybrid Systems. 23:211–229.
.
2017. DryVR: Data-driven verification and compositional reasoning for automotive systems. Computer Aided Verification - 29th International Conference, (CAV). 10426 LNCS:441–461.
.
2017. Simulation-Driven Reachability Using Matrix Measures. ACM Transactions on Embedded Computing Systems. 17:1–28.
.
2017. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. Computer Aided Verification - 28th International Conference, (CAV). :531–538.
.
2016. Locally Optimal Reach Set Over-approximation for Nonlinear Systems. Proceedings of the 13th International Conference on Embedded Software, (EMSOFT). :1–10.
.
2016. Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. 2016 IEEE Conference on Control Applications, (CCA). :1024–1029.
.
2016. Bounded verification with on-the-fly discrepancy computation. Automated Technology for Verification and Analysis - 13th International Symposium, (ATVA). 9364:446–463.
.
2015. Meeting a powertrain verification challenge. Computer Aided Verification - 27th International Conference, (CAV). 9206:536–543.
.
2015. Model checking tap withdrawal in c. Elegans. Hybrid Systems Biology - Fourth International Workshop, (HSB). 9271:195–210.
.
2015.