Jiawan Wang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 7

Top Topics

Derivative Free

Hybrid Automata

Constrained Optimization

Top Venues

Publications

Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. CAV (3) (2024)
Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. VMCAI (2022)
Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (2) (2022)
Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. HSCC (2021)
Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. FM (2021)
Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. SETSS (2019)
Lin You, Jiawan Wang, Bin Yan
A Secure Finger Vein Recognition Algorithm Based on MB-GLBP and Logistic Mapping. J. Inf. Hiding Multim. Signal Process. 7 (6) (2016)