Xuandong Li

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization	2024-02-21	Paper
HAT: analyzing linear hybrid automata as labelled transition system	2023-08-02	Paper
Loop reduction techniques for reachability analysis of linear hybrid automata	2022-10-28	Paper
Machine learning steered symbolic execution framework for complex software code	2021-08-30	Paper
A novel approach for solving the BMI problem in barrier certificates generation	2021-02-04	Paper
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure	2017-06-08	Paper
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata	2014-12-05	Paper
Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming	2013-12-06	Paper
Partial Order Path Technique for Checking Parallel Timed Automata	2011-04-08	Paper
Robustness testing for software components	2010-08-26	Paper
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming	2010-01-14	Paper
A quadratic-time DBM-based successor algorithm for checking timed automata	2009-12-18	Paper
Remove irrelevant atomic formulas for timed automaton model checking	2006-10-12	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4675625	2005-05-06	Paper
Duration-constrained regular expressions	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4435846	2003-11-20	Paper
Positive loop-closed automata: A decidable class of hybrid systems	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4787254	2003-01-09	Paper
Efficient verification of a class of time Petri nets using linear programming	2002-07-14	Paper
Checking MSC specifications for timing inconsistency	2002-06-05	Paper
Linear hybrid action systems	2001-09-27	Paper
Verifying time Petri nets by linear programming	2001-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4516886	2001-03-06	Paper

Research outcomes over time

This page was built for person: Xuandong Li