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
https://portal.mardi4nfdi.de/entity/Q2743714	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Xuandong Li