Cyber-Physical Systems Lab @ ASU
The ASU Cyber-Physical Systems (CPS) lab is working on problems related to modeling and verifying CPS. Our focuses include search-based test generation and system instrumentation.
Our Projects
Temporal Logic
Offline Signal Temporal Logic monitor written in Rust.
C++ toolkit for parsing temporal logic formulas.
Search-Based Test Generation
General-purpose search-based test generation framework in Python.
Stochastic algorithm for search-based test generation with probabalistic guarantees.