A Simplex Architecture for Hybrid Systems using Barrier Certificates
| Title | A Simplex Architecture for Hybrid Systems using Barrier Certificates |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Junxing Yang, Md. Ariful Islam, Radu Grosu, Scott A. Smolka, Scott Stoller |
| Conference Name | International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017) |
| Publisher | Springer LNCS 10488 |
| Keywords | 1330014 |
| Citation Key | Yang17safecomp |