Jiaxiang Liu

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
Adaptive disturbance observer-based fast nonsingular terminal sliding mode control for quadrotors Journal of the Franklin Institute	2024-09-10	Paper
Novel study on active reliable PID controller design based on probability density evolution method and interval-oriented sequential optimization strategy Computer Methods in Applied Mechanics and Engineering	2024-06-18	Paper
Certified verification for algebraic abstraction	2024-02-01	Paper
\textsc{CoqCryptoLine}: a verified model checker with certified results	2024-01-12	Paper
Hybrid reliability-based sequential optimization for PID vibratory controller design considering interval and fuzzy mixed uncertainties Applied Mathematical Modelling	2023-10-13	Paper
\textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks Static Analysis	2023-07-28	Paper
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs Mathematical Structures in Computer Science	2023-02-28	Paper
CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver	2022-03-25	Paper
A novel interval dynamic reliability computation approach for the risk evaluation of vibration active control systems based on PID controllers Applied Mathematical Modelling	2021-09-24	Paper
Confluence of layered rewrite systems	2017-08-31	Paper
Confluence by critical pair analysis Lecture Notes in Computer Science	2014-07-24	Paper
Confluence: the unifying, expressive power of locality Specification, Algebra, and Software	2014-03-25	Paper
From diagrammatic confluence to modularity Theoretical Computer Science	2013-01-07	Paper

Research outcomes over time

This page was built for person: Jiaxiang Liu