( en | de | ru )

 

Disambiguierung von "Saoud, Adnane"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems.

, , , , und . IEEE Control. Syst. Lett., 3 (4): 1050-1055 (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Adnane Cabani

Adnane Boukhayma

Saoud Salima

Adnane Benhadid

Hadi Saoud

 

Weitere Publikationen von Autoren mit dem selben Namen

Lazy controller synthesis for monotone transition systems and directed safety specifications., , und . Autom., (2022)Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems., , und . IEEE Trans. Autom. Control., 66 (3): 1055-1070 (2021)Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach., , , und . CoRR, (2020)Characterization, verification and computation of robust controlled invariants for monotone dynamical systems., und . Math. Control. Signals Syst., 36 (1): 71-100 (März 2024)Symbolic Models for Interconnected Impulsive Systems., , , und . CDC, Seite 5900-5905. IEEE, (2023)Using Euler's Method to Prove the Convergence of Neural Networks., , und . IEEE Control. Syst. Lett., (2022)Compositional Approximately Bisimilar Abstractions of Interconnected Systems., , , und . CoRR, (2022)Symbolic Abstractions From Data: A PAC Learning Approach., , und . CDC, Seite 599-604. IEEE, (2021)Robust Finite-Time Parameter Estimation for Linear Dynamical Systems., , und . CDC, Seite 4654-4659. IEEE, (2021)Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems., , und . CDC, Seite 773-779. IEEE, (2018)