Found 32 results
Controller synthesis for linear system with reach-avoid specifications. Transactions on Automatic Control.. 2021.
Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models. AIAA Scitech 2021 Forum.. 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.
Planning in Dynamic and Partially Unknown Environments. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).. 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.
Partial or Complete, That’s The Question. North American Chapter of the Association for Computational Linguistics (NAACL).. 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.