Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques
From MaRDI portal
Publication:3384434
DOI10.1109/MCS.2016.2602089zbMath1476.93075MaRDI QIDQ3384434
Hisahiro Ito, Ken Butts, James Kapinski, Jyotirmoy V. Deshmukh, Xiao-qing Jin
Publication date: 15 December 2021
Published in: IEEE Control Systems (Search for Journal in Brave)
Related Items (5)
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness ⋮ Linear Time Monitoring for One Variable TPTL ⋮ Optional stopping with Bayes factors: a categorization and extension of folklore results, with an application to invariant situations ⋮ Stealthy attacks formalized as STL formulas for Falsification of CPS Security ⋮ Hybrid controller concept for dynamic positioning of marine vessels with experimental results
This page was built for publication: Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques
