Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. | 0 | 0.34 | 2022 |
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS | 0 | 0.34 | 2022 |
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization | 0 | 0.34 | 2021 |
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed | 0 | 0.34 | 2021 |
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. | 0 | 0.34 | 2019 |