Stanley Bak, Ashley Greer, Sayan Mitra. Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions. In Marco Caccamo, editor, 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010. pages 143-152, IEEE Computer Society, 2010. [doi]
Abstract is missing.