A Simplex Architecture for Hybrid Systems Using Barrier Certificates.

Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller

Browse the full SAFECOMP paper archive.