Elias Khalife

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Affine Invariant

Top Venues

Publications

Elias Khalife, Pierre-Loïc Garoche, Mazen Farhood
Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems. NFM (2023)
Elias Khalife, Dany Abou Jaoude, Mazen Farhood
Construction of Worst-Case Input Signals for Discrete-Time Linear Time-Varying Systems. CDC (2022)