Lei Bu

Available identifiers

zbMath Open bu.leiMaRDI QIDQ479817

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
https://portal.mardi4nfdi.de/entity/Q4956833	2021-09-02	Paper
Machine learning steered symbolic execution framework for complex software code	2021-08-30	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
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming	2010-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q3410490	2006-11-27	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: Lei Bu