Lei Bu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Poles-based invariant generation for verifying the BIBO stability of digital filters	2025-04-25	Paper
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
HAT: analyzing linear hybrid automata as labelled transition system Lecture Notes in Computer Science	2023-08-02	Paper
Loop reduction techniques for reachability analysis of linear hybrid automata Science China Information Sciences	2022-10-28	Paper
scientific article; zbMATH DE number 7390046 (Why is no real title available?)	2021-09-02	Paper
Machine learning steered symbolic execution framework for complex software code Formal Aspects of Computing	2021-08-30	Paper
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure IEEE Transactions on Computers	2017-06-08	Paper
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata Formal Methods in System Design	2014-12-05	Paper
Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming Lecture Notes in Computer Science	2010-01-14	Paper
scientific article; zbMATH DE number 5076220 (Why is no real title available?)	2006-11-27	Paper

Research outcomes over time

This page was built for person: Lei Bu