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 conferencePaperpeer-review

Original languageEnglish
StatePublished - 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