Chuchu Fan

MaRDI QIDQ2024374zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Optimal mixed discrete-continuous planning for linear hybrid systems Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Controller synthesis made real: reach-avoid specifications and linear dynamics Computer Aided Verification	2023-05-26	Paper
Multi-agent safety verification using symmetry transformations Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Controller Synthesis for Linear System With Reach-Avoid Specifications IEEE Transactions on Automatic Control	2022-07-28	Paper
\textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems (available as arXiv preprint)	2022-07-01	Paper
Approximate partial order reduction (available as arXiv preprint)	2021-05-04	Paper
Fast and guaranteed safe controller synthesis for nonlinear vehicle models	2021-02-04	Paper
Model checking tap withdrawal in \textit{C. elegans} Hybrid Systems Biology	2019-05-21	Paper
Bounded invariant verification for time-delayed nonlinear networked dynamical systems Nonlinear Analysis. Hybrid Systems	2016-12-15	Paper
Bounded verification with on-the-fly discrepancy computation Automated Technology for Verification and Analysis	2016-01-08	Paper

Research outcomes over time

This page was built for person: Chuchu Fan