A Simplex Architecture for Hybrid Systems Using Barrier Certificates

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

Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	English
State	Published - 2017

Fingerprint Dive into the research topics of 'A Simplex Architecture for Hybrid Systems Using Barrier Certificates'. Together they form a unique fingerprint.

Cite this