Članki z zahtevami za javni dostop - Adnane SaoudVeč o tem
Ni na voljo nikjer: 2
Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control
DS Sundarsingh, J Bhagiya, J Chatrola, A Saoud, P Jagtap
2023 62nd IEEE Conference on Decision and Control (CDC), 6436-6441, 2023
Zahteve: Department of Science & Technology, India
Constructing Symbolic Abstractions From Data Without Model Assumptions
A Devonport, A Saoud, M Arcak
2022 2nd International Workshop on Computation-Aware Algorithmic Design for …, 2022
Zahteve: US National Science Foundation, US Department of Defense
Na voljo nekje: 36
Learning-based symbolic abstractions for nonlinear control systems
K Hashimoto, A Saoud, M Kishida, T Ushio, D Dimarogonas
Automatica 146, 110646, 2022
Zahteve: Knut and Alice Wallenberg Foundation, European Commission
Assume-guarantee contracts for continuous-time systems
A Saoud, A Girard, L Fribourg
Automatica 134, 109910, 2021
Zahteve: European Commission, Agence Nationale de la Recherche
Symbolic abstractions from data: a PAC learning approach
A Devonport, A Saoud, M Arcak
2021 60th IEEE Conference on Decision and Control (CDC), 599-604, 2021
Zahteve: US National Science Foundation, US Department of Defense
Contract-based design of symbolic controllers for safety in distributed multiperiodic sampled-data systems
A Saoud, A Girard, L Fribourg
IEEE Transactions on Automatic Control 66 (3), 1055-1070, 2020
Zahteve: European Commission, Agence Nationale de la Recherche
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids
D Zonetti, A Saoud, A Girard, L Fribourg
Zahteve: European Commission, Agence Nationale de la Recherche
Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts
S Liu, A Saoud, P Jagtap, DV Dimarogonas, M Zamani
2022 IEEE 61st Conference on Decision and Control (CDC), 2184-2189, 2022
Zahteve: German Research Foundation, Knut and Alice Wallenberg Foundation, Swedish …
Optimal multirate sampling in symbolic models for incrementally stable switched systems
A Saoud, A Girard
Automatica 98, 58-65, 2018
Zahteve: European Commission
Compositional abstraction-based synthesis for cascade discrete-time control systems
A Saoud, P Jagtap, M Zamani, A Girard
IFAC-PapersOnLine 51 (16), 13-18, 2018
Zahteve: German Research Foundation
A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals
A Saoud, M Maghenem, RG Sanfelice
2021 American Control Conference (ACC), 4997-5002, 2021
Zahteve: US National Science Foundation, US Department of Defense
Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach
A Saoud, P Jagtap, M Zamani, A Girard
IEEE Transactions on Control of Network Systems 8 (2), 702-712, 2021
Zahteve: German Research Foundation, European Commission
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications
A Saoud, E Ivanova, A Girard
Zahteve: European Commission, Agence Nationale de la Recherche
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems
K Hashimoto, A Saoud, M Kishida, T Ushio, DV Dimarogonas
IEEE Control Systems Letters 3 (4), 1050-1055, 2019
Zahteve: Knut and Alice Wallenberg Foundation, Swedish Research Council, European …
Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads
D Zonetti, A Saoud, A Girard, L Fribourg
Zahteve: Agence Nationale de la Recherche
Symbolic models for incrementally stable switched systems with aperiodic time sampling
Z Kader, A Girard, A Saoud
IFAC-PapersOnLine 51 (16), 253-258, 2018
Zahteve: European Commission
Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications
E Ivanova, A Saoud, A Girard
Automatica, 2021
Zahteve: European Commission
Using Euler’s Method to Prove the Convergence of Neural Networks
J Jerray, A Saoud, L Fribourg
IEEE Control Systems Letters 6, 3224-3228, 2022
Zahteve: Agence Nationale de la Recherche
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control
A Saoud, RG Sanfelice
IFAC-PapersOnLine 54 (5), 91-96, 2021
Zahteve: US National Science Foundation, US Department of Defense
Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems
A Saoud, M Maghenem, A Loria, RG Sanfelice
IEEE Transactions on Automatic Control, 2024
Zahteve: Agence Nationale de la Recherche
Podatke o objavi in financiranju samodejno določi računalniški program