Ting Gan

Available identifiers

zbMath Open gan.tingMaRDI QIDQ507351

List of research outcomes

Publication	Date of Publication	Type
Switching controller synthesis for delay hybrid systems under perturbations	2024-02-21	Paper
Switching controller synthesis for time-delayed hybrid systems	2022-03-21	Paper
Nonlinear Craig interpolant generation	2021-02-04	Paper
Reachability Analysis for Solvable Dynamical Systems	2018-09-18	Paper
Barrier certificates revisited	2017-02-06	Paper
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF	2016-09-05	Paper
Decidability of the Reachability for a Family of Linear Vector Fields	2016-01-08	Paper

Research outcomes over time

This page was built for person: Ting Gan