I agree that this site is using cookies. You can find further informations here.
X
Saoud, Adnane
106  results:
Search for persons X
?
1

Temporal Logic Resilience for Cyber-Physical Systems:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Saoud, Adnane ; Jagtap, Pushpak ; Soudjani, Sadegh - p. 2066-2071 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Safety Verification of Neural-Network-Based Controllers: A ..:

Jouret, Louis ; Saoud, Adnane ; Olaru, Sorin
IEEE Control Systems Letters.  7 (2023)  - p. 3842-3847 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Scalable Distributed Controller Synthesis for Multi-Agent S..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Sundarsingh, David Smith ; Bhagiya, Jay ; Saharsh... - p. 6436-6441 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Symbolic Models for Interconnected Impulsive Systems:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Alaoui, Sadek Belamfedel ; Saoud, Adnane ; Jagtap, Pushpak. - p. 5900-5905 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Characterization, verification and computation of robust co..:

Saoud, Adnane ; Arcak, Murat
Mathematics of Control, Signals, and Systems.  36 (2023)  1 - p. 71-100 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Characterizations and Computation of Controlled Invariants ..:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Saoud, Adnane ; Arcak, Murat - p. 4990-4995 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Asymptotic error in Euler's method with a constant step siz:

Jerray, Jawher ; Saoud, Adnane ; Fribourg, Laurent
European Journal of Control.  68 (2022)  - p. 100694 , 2022
Link: https://doi.org/10.1016/..
 
?
8

Lazy controller synthesis for monotone transition systems a..:

Ivanova, Elena ; Saoud, Adnane ; Girard, Antoine
Automatica.  135 (2022)  - p. 109993 , 2022
Link: https://doi.org/10.1016/..
 
?
9

Adaptive Control/Identification for Hybrid Systems, Part II..:

, In: 2022 American Control Conference (ACC),
Maghenem, Mohamed ; Saoud, Adnane ; Loria, Antonio - p. 3917-3922 , 2022
Link: https://doi.org/10.23919..
 
?
10

Compositional Synthesis of Signal Temporal Logic Tasks via ..:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Liu, Siyuan ; Saoud, Adnane ; Jagtap, Pushpak.. - p. 2184-2189 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Constructing Symbolic Abstractions From Data Without Model ..:

, In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS),
Devonport, Alex ; Saoud, Adnane ; Arcak, Murat - p. 9-10 , 2022
Link: https://doi.org/10.1109/..
 
?
12

Learning-based symbolic abstractions for nonlinear control ..:

Hashimoto, Kazumune ; Saoud, Adnane ; Kishida, Masako..
Automatica.  146 (2022)  - p. 110646 , 2022
Link: https://doi.org/10.1016/..
 
?
13

Adaptive Control/Identification for Hybrid Systems Part I: ..:

, In: 2022 American Control Conference (ACC),
Maghenem, Mohamed ; Saoud, Adnane ; Loria, Antonio - p. 3911-3916 , 2022
Link: https://doi.org/10.23919..
 
?
14

Distributed Hybrid Gradient Algorithm with Application to C..:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
Maghenem, Mohamed ; Saoud, Adnane ; Loria, Antonio - p. 1-10 , 2022
Link: https://dl.acm.org/doi/1..
 
?
15

Funnel-based Reachability Control of Unknown Nonlinear Syst..:

, In: 2022 Eighth Indian Control Conference (ICC),
Gorantla, Sandeep ; Chatrola, Jeel ; Bhagiya, Jay.. - p. 188-193 , 2022
Link: https://doi.org/10.1109/..
 
1-15