Concepedia

Adnane Saoud

AS

Statistics

Publications

14

Citations

293

H-Index

12

Active since

2018

Affiliations

Laboratoire des signaux et systèmes(Current)

Centre National de la Recherche Scientifique

Laboratoire Spécification et Vérification

Université Paris-Saclay

CentraleSupélec

Adnane Saoud is an author at Laboratoire des signaux et systèmes specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceAutomationProcess ControlNetworked ControlFormal VerificationVerificationComputer Engineering

Publications per year

2018–2022

14

Publications

14

Assume-guarantee contracts for continuous-time systems

Adnane Saoud, Antoine Girard, Laurent Fribourg · Automatica · 2021 · 39 citations · Full text

Assume-guarantee Contracts, Engineering, Verification +7

On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance

Adnane Saoud, Antoine Girard, Laurent Fribourg · 2018 · 34 citations · Full text

Mathematical Programming, Invariance Properties, Engineering +17

Learning-based symbolic abstractions for nonlinear control systems

Kazumune Hashimoto, Adnane Saoud, Masako Kishida et al. · Automatica · 2022 · 30 citations · Full text

Artificial Intelligence, Symbolic Learning, Learning-based Symbolic Abstractions +5

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Adnane Saoud, Antoine Girard, Laurent Fribourg · IEEE Transactions on Automatic Control · 2020 · 28 citations · Full text

Engineering, Distributed Parameter System, Distributed Safety Controllers +15

Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems

Adnane Saoud, Antoine Girard, Laurent Fribourg · 2018 · 23 citations · Full text

Discrete Abstractions, Engineering, Distributed Parameter System +15

1–5 of 14