Elias Khalife

According to our database, Elias Khalife authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.

Elias Khalife, Pierre-Loïc Garoche, Mazen Farhood

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Construction of Worst-Case Input Signals for Discrete-Time Linear Time-Varying Systems.

Elias Khalife, Dany Abou Jaoude, Mazen Farhood

Proceedings of the 61st IEEE Conference on Decision and Control, 2022