Original language | English |
---|---|
State | Published - 2017 |
A Simplex Architecture for Hybrid Systems Using Barrier Certificates
Junxing Yang, Md Islam, Abhishek Murthy, Scott A Smolka, Scott D Stoller
Research output: Contribution to conference › Paper › peer-review