Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions.
Stanley Bak, Ashley Greer, Sayan Mitra
VenueARTAS
Year2010
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/BakGM10 ↗
Browse the full RTAS paper archive.