( en | de | ru )

 

Disambiguation of "Saoud, Adnane"

Author of the publication

copydeleteadd this publication to your clipboard
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems.

, , and . IEEE Trans. Autom. Control., 66 (3): 1055-1070 (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adnane Cabani

Adnane Boukhayma

Saoud Salima

Adnane Benhadid

Hadi Saoud

 

Other publications of authors with the same name

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