- 10
- 9
- 5
- 3
- 2
- 2
Adnane Saoud
31
Documents
Identifiants chercheurs
- adnane-saoud
- 0000-0003-4423-3052
Présentation
Publications
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 5
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 30
- 9
- 6
- 3
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 11
- 3
- 5
- 6
- 1
- 8
- 4
- 3
- 1
Compositional Approximately Bisimilar Abstractions of Interconnected Systems22nd World Congress of the International Federation of Automatic Control (IFAC 2023), Jul 2023, Yokohama, Japan. pp.10210-10215, ⟨10.1016/j.ifacol.2023.10.899⟩
Communication dans un congrès
hal-04378167v1
|
|
|
Adaptive Control/Identification for Hybrid Systems, Part II: with Linear-growth-order Discrete Regressor2022 American Control Conference (ACC 2022), Jun 2022, Atlanta, GA, United States. ⟨10.23919/ACC53348.2022.9867414⟩
Communication dans un congrès
hal-03789105v1
|
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts61st IEEE Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. pp.2184-2189, ⟨10.1109/CDC51059.2022.9992715⟩
Communication dans un congrès
hal-04378169v1
|
|
Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems61st IEEE Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. pp.4990-4995, ⟨10.1109/CDC51059.2022.9992752⟩
Communication dans un congrès
hal-04378173v1
|
|
Constructing Symbolic Abstractions From Data Without Model Assumptions2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), May 2022, Milan, France. pp.9-10, ⟨10.1109/CAADCPS56132.2022.00015⟩
Communication dans un congrès
hal-04435997v1
|
|
|
Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive EstimationHSCC 2022 - 25th ACM International Conference on Hybrid Systems : Computation and Control, May 2022, Milan, Italy. ⟨10.1145/3501710.3519528⟩
Communication dans un congrès
hal-03789071v1
|
|
Adaptive Control/Identification for Hybrid Systems Part I: with Bounded Discrete RegressorACC 2022 - American Control Conference, Jun 2022, Atlanta, GA, United States. ⟨10.23919/ACC53348.2022.9867398⟩
Communication dans un congrès
hal-03789092v1
|
Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes2022 Eighth Indian Control Conference (ICC), Dec 2022, Chennai, India. pp.188-193, ⟨10.1109/ICC56513.2022.10093476⟩
Communication dans un congrès
hal-04378174v1
|
|
|
Decentralized monotonicity-based voltage control of DC microgrids with ZIP loadsNecSys 2019 - 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Sep 2019, Chicago, United States. ⟨10.1016/j.ifacol.2019.12.148⟩
Communication dans un congrès
hal-02208665v1
|
|
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications58th IEEE Conference on Decision and Control (CDC 2019), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029784⟩
Communication dans un congrès
hal-02281945v2
|
|
Safety controller design for incrementally stable switched systems using event-based symbolic modelsECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ECC.2019.8796232⟩
Communication dans un congrès
hal-02054930v1
|
|
A symbolic approach to voltage stability and power sharing in time-varying DC microgridsECC 2019 - European control conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796095⟩
Communication dans un congrès
hal-02070070v1
|
|
Contract based Design of Symbolic Controllers for Vehicle Platooning21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), Apr 2018, Porto, Portugal. pp.277-278, ⟨10.1145/3178126.3187001⟩
Communication dans un congrès
hal-02287002v1
|
|
Symbolic models for incrementally stable switched systems with aperiodic time sampling6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.043⟩
Communication dans un congrès
hal-01760789v1
|
|
Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States. ⟨10.1109/CDC.2018.8619099⟩
Communication dans un congrès
hal-01857389v1
|
|
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for InvarianceEuropean Control Conference (ECC 2018), 2018, Limassol, Cyprus. ⟨10.23919/ECC.2018.8550622⟩
Communication dans un congrès
hal-01712710v1
|
|
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.003⟩
Communication dans un congrès
hal-01761180v1
|
|
Multirate Symbolic Models for Incrementally Stable Switched SystemsIFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.912⟩
Communication dans un congrès
hal-01540854v1
|
|
Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids2024
Pré-publication, Document de travail
hal-04548049v1
|
|
Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems2023
Pré-publication, Document de travail
hal-04048988v1
|