Title | ||
---|---|---|
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS |
Abstract | ||
---|---|---|
Cyber-physical systems (CPSs) integrate discrete computations with continuous physical processes and can be highly nonlinear and nondeterministic. Unlike the verification of CPS, which is difficult to handle, the falsification of CPS fulfills certain requirements from testing by seeking witness behavior of these systems and is easier to conduct. However, existing falsification techniques may fail ... |
Year | DOI | Venue |
---|---|---|
2022 | 10.1109/TCAD.2021.3056360 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
Keywords | DocType | Volume |
Trajectory,Optimization,Safety,Automata,Tools,Heuristic algorithms,Aerospace electronics | Journal | 41 |
Issue | ISSN | Citations |
2 | 0278-0070 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jiawan Wang | 1 | 0 | 1.69 |
Lei Bu | 2 | 189 | 22.50 |
Shaopeng Xing | 3 | 0 | 1.69 |
Xuandong Li | 4 | 0 | 0.34 |