default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdnane Saoud
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j14]Mohamed Adlene Maghenem, Masoumeh Ghanbarpour Mamaghani, Adnane Saoud:
Sufficient conditions for robust safety in differential inclusions using barrier functions. Autom. 171: 111938 (2025)- 2024
- [j13]Adnane Saoud, Murat Arcak:
Characterization, verification and computation of robust controlled invariants for monotone dynamical systems. Math. Control. Signals Syst. 36(1): 71-100 (2024) - [j12]Adnane Saoud
, Mohamed Maghenem, Antonio Loría, Ricardo G. Sanfelice:
Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems. IEEE Trans. Autom. Control. 69(12): 8828-8835 (2024) - [c26]Bhavini Jeloka, Florentina Nicolau, Adnane Saoud, Ravi N. Banavar:
Data-Driven Control of Adaptive Cruise Control Systems Using Differential Flatness and Gaussian Processes. ACC 2024: 5094-5099 - [c25]Berk Altiner, Adnane Saoud, Alex Caldas, Maria Makarov:
Scenario Convex Programs for Dexterous Manipulation under Modeling Uncertainties. CASE 2024: 3490-3497 - [c24]Bhavini Jeloka, Florentina Nicolau, Adnane Saoud, Ravi N. Banavar:
Trajectory Tracking for an Adaptive Cruise Control System Using Differential Flatness and Gaussian Processes. MMAR 2024: 304-309 - [c23]Hajar El Hammouti, Adnane Saoud, Asma Ennahkami, El Houcine Bergou:
Energy Efficient Aerial RIS: Phase Shift Optimization and Trajectory Design. VTC Spring 2024: 1-7 - [i16]Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani:
Temporal Logic Resilience for Dynamical Systems. CoRR abs/2404.19223 (2024) - [i15]Sadek Belamfedel Alaoui, Adnane Saoud:
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties. CoRR abs/2405.07718 (2024) - [i14]Emmanuel Junior Wafo Wembe, Adnane Saoud:
On Robust Controlled Invariants for Continuous-time Monotone Systems. CoRR abs/2405.14920 (2024) - [i13]Sadek Belamfedel Alaoui, Adnane Saoud:
How to discretize continuous state-action spaces in Q-learning: A symbolic control approach. CoRR abs/2406.01548 (2024) - [i12]Berk Altiner, Adnane Saoud, Alex Caldas, Maria Makarov:
Scenario Convex Programs for Dexterous Manipulation under Modeling Uncertainties. CoRR abs/2407.11392 (2024) - 2023
- [j11]Louis Jouret, Adnane Saoud, Sorin Olaru:
Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach. IEEE Control. Syst. Lett. 7: 3842-3847 (2023) - [c22]Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani:
Temporal Logic Resilience for Cyber-Physical Systems. CDC 2023: 2066-2071 - [c21]Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir:
Symbolic Models for Interconnected Impulsive Systems. CDC 2023: 5900-5905 - [c20]David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap:
Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control. CDC 2023: 6436-6441 - [i11]David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap:
Controller Synthesis for Local and Global Specifications in Multi-Agent Systems. CoRR abs/2304.01652 (2023) - [i10]Adnane Saoud, Murat Arcak:
Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems. CoRR abs/2306.13822 (2023) - [i9]Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas:
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts. CoRR abs/2309.13499 (2023) - [i8]Louis Jouret, Adnane Saoud, Sorin Olaru:
Safety verification of Neural-Network-based controllers: a set invariance approach. CoRR abs/2312.11352 (2023) - [i7]Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir:
Symbolic Models for Interconnected Impulsive Systems. CoRR abs/2312.17006 (2023) - 2022
- [j10]Elena Ivanova, Adnane Saoud, Antoine Girard:
Lazy controller synthesis for monotone transition systems and directed safety specifications. Autom. 135: 109993 (2022) - [j9]Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas:
Learning-based symbolic abstractions for nonlinear control systems. Autom. 146: 110646 (2022) - [j8]Stanley W. Smith, Adnane Saoud, Murat Arcak:
Monotonicity-Based Symbolic Control for Safety in Driving Scenarios. IEEE Control. Syst. Lett. 6: 830-835 (2022) - [j7]Jawher Jerray, Adnane Saoud, Laurent Fribourg:
Using Euler's Method to Prove the Convergence of Neural Networks. IEEE Control. Syst. Lett. 6: 3224-3228 (2022) - [j6]Jawher Jerray, Adnane Saoud, Laurent Fribourg:
Asymptotic error in Euler's method with a constant step size. Eur. J. Control 68: 100694 (2022) - [c19]Mohamed Maghenem, Adnane Saoud, Antonio Loría:
Adaptive Control/Identification for Hybrid Systems Part I: with Bounded Discrete Regressor. ACC 2022: 3911-3916 - [c18]Mohamed Maghenem, Adnane Saoud, Antonio Loría:
Adaptive Control/Identification for Hybrid Systems, Part II: with Linear-growth-order Discrete Regressor. ACC 2022: 3917-3922 - [c17]Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani:
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CDC 2022: 2184-2189 - [c16]Adnane Saoud, Murat Arcak:
Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems. CDC 2022: 4990-4995 - [c15]Mohamed Maghenem, Adnane Saoud, Antonio Loría:
Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation. HSCC 2022: 15:1-15:10 - [i6]Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani:
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CoRR abs/2203.10041 (2022) - [i5]Sandeep Gorantla, Jeel Chatrola, Jay Bhagiya, Adnane Saoud, Pushpak Jagtap:
Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes. CoRR abs/2209.14015 (2022) - [i4]Sadek Belamfedel Alaoui, Saharsh, Pushpak Jagtap, Adnane Saoud:
Compositional Approximately Bisimilar Abstractions of Interconnected Systems. CoRR abs/2211.08655 (2022) - 2021
- [j5]Adnane Saoud, Antoine Girard, Laurent Fribourg:
Assume-guarantee contracts for continuous-time systems. Autom. 134: 109910 (2021) - [j4]Adnane Saoud, Antoine Girard, Laurent Fribourg:
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. IEEE Trans. Autom. Control. 66(3): 1055-1070 (2021) - [j3]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. IEEE Trans. Control. Netw. Syst. 8(2): 702-712 (2021) - [c14]Adnane Saoud, Ricardo G. Sanfelice:
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control. ADHS 2021: 91-96 - [c13]Adnane Saoud, Ricardo G. Sanfelice:
A Robust Hybrid Finite Time Parameter Estimator With Relaxed Persistence of Excitation Condition. ACC 2021: 3975-3980 - [c12]Adnane Saoud, Mohamed Maghenem, Ricardo G. Sanfelice:
A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals. ACC 2021: 4997-5002 - [c11]Alex Devonport, Adnane Saoud, Murat Arcak:
Symbolic Abstractions From Data: A PAC Learning Approach. CDC 2021: 599-604 - [c10]Ryan S. Johnson, Adnane Saoud, Ricardo G. Sanfelice:
Robust Finite-Time Parameter Estimation for Linear Dynamical Systems. CDC 2021: 4654-4659 - [c9]Masoumeh Ghanbarpour, Mohamed Maghenem, Adnane Saoud:
Barrier Functions for Robust Safety in Differential Inclusions, Part I: Sufficient Conditions. CDC 2021: 5338-5343 - [i3]Alex Devonport, Adnane Saoud, Murat Arcak:
Symbolic Abstractions From Data: A PAC Learning Approach. CoRR abs/2104.13901 (2021) - 2020
- [i2]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. CoRR abs/2002.02014 (2020) - [i1]Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas:
Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems. CoRR abs/2004.01879 (2020)
2010 – 2019
- 2019
- [j2]Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas:
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems. IEEE Control. Syst. Lett. 3(4): 1050-1055 (2019) - [c8]Adnane Saoud, Elena Ivanova, Antoine Girard:
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications. CDC 2019: 6255-6260 - [c7]Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg:
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. ECC 2019: 903-909 - [c6]Zohra Kader, Adnane Saoud, Antoine Girard:
Safety controller design for incrementally stable switched systems using event-based symbolic models. ECC 2019: 1269-1274 - 2018
- [j1]Adnane Saoud, Antoine Girard:
Optimal multirate sampling in symbolic models for incrementally stable switched systems. Autom. 98: 58-65 (2018) - [c5]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. ADHS 2018: 13-18 - [c4]Zohra Kader, Antoine Girard, Adnane Saoud:
Symbolic models for incrementally stable switched systems with aperiodic time sampling. ADHS 2018: 253-258 - [c3]Adnane Saoud, Antoine Girard, Laurent Fribourg:
Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. CDC 2018: 773-779 - [c2]Adnane Saoud, Antoine Girard, Laurent Fribourg:
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. ECC 2018: 435-440 - [c1]Adnane Saoud, Antoine Girard, Laurent Fribourg:
Contract based Design of Symbolic Controllers for Vehicle Platooning. HSCC 2018: 277-278
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
