Title | ||
---|---|---|
Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements |
Abstract | ||
---|---|---|
Optimization-based falsification, or search-based testing, is a method of automatic test generation for Cyber-Physical System (CPS) safety evaluation. CPS safety evaluation is guided by high level system requirements that are expressed in Signal Temporal Logic (STL). Trajectories from executed CPS simulations are evaluated against STL requirements using satisfaction robustness as a quantitative me... |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/CASE49439.2021.9551474 | 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) |
Keywords | DocType | ISBN |
Measurement,Computational modeling,Cyber-physical systems,Robustness,Trajectory,Safety,Bayes methods | Conference | 978-1-6654-1873-7 |
Citations | PageRank | References |
1 | 0.36 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Logan Mathesen | 1 | 1 | 0.36 |
Giulia Pedrielli | 2 | 12 | 15.42 |
Georgios E. Fainekos | 3 | 804 | 52.65 |