Adnane Saoud
38
Documents
Identifiants chercheurs
Présentation
Publications
11
9
7
4
3
2
1
1
6
3
3
3
3
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
17
5
5
4
3
3
3
3
3
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
3
2
2
1
1
1
2
5
3
11
4
6
6
1
10
5
4
3
17
15
10
9
3
1
1
Publications
|
|
User-friendly Implementation of Recurring Switching Rules via Temporal Logic: Industrial Power System Case Study2025 |
|
|
On Robust Controlled Invariants for Continuous-time Monotone Systems2024 |
|
|
Compositional and Efficient Controller Synthesis for Cyber-Physical SystemsAutomatic. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLC076⟩ |
Chargement...
Chargement...