Verification and Control of Hybrid Systems under Safety Requirements
Title | Verification and Control of Hybrid Systems under Safety Requirements |
Publication Type | Conference Paper |
Year of Publication | 2018 |
Authors | Lucia, W, Famularo, D, Franzè, G, Furfaro, A |
Conference Name | Joint 9th IFAC Symposium on Robust Control Design and 2nd IFAC Workshop on Linear Parameter Varying Systems |
DOI | 10.1016/j.ifacol.2018.11.082 |