Lei Bu

From MaRDI portal
Person:479817

Available identifiers

zbMath Open bu.leiMaRDI QIDQ479817

List of research outcomes





PublicationDate of PublicationType
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization2024-02-21Paper
HAT: analyzing linear hybrid automata as labelled transition system2023-08-02Paper
Loop reduction techniques for reachability analysis of linear hybrid automata2022-10-28Paper
https://portal.mardi4nfdi.de/entity/Q49568332021-09-02Paper
Machine learning steered symbolic execution framework for complex software code2021-08-30Paper
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure2017-06-08Paper
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata2014-12-05Paper
Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming2013-12-06Paper
Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming2010-01-14Paper
https://portal.mardi4nfdi.de/entity/Q34104902006-11-27Paper

Research outcomes over time

This page was built for person: Lei Bu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:479817&oldid=7352526"
Powered by MediaWiki