Saoud, Adnane
- Symbolic Abstractions From Data: A PAC Learning Approach
2021/04/28 by Devonport, Alex, Saoud, Adnane, Arcak, Murat · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
2020/02/05 by Saoud, Adnane, Jagtap, Pushpak, Zamani, Majid +1 · 2 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Learning-based Symbolic Abstractions for Nonlinear Control Systems
2020/04/04 by Hashimoto, Kazumune, Saoud, Adnane, Kishida, Masako +2 · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Sufficient Conditions for Robust Safety in Differential Inclusions Using Barrier Functions
2022/08/23 by Maghenem, Mohamed, Ghanbarpour, Masoumeh, Saoud, Adnane · 2 citations
#FOS: Mathematics #Optimization and Control (math.OC)
- Compositional Approximately Bisimilar Abstractions of Interconnected Systems
2022/11/16 by Sadek, Belamfedel Alaoui, Pushpak Jagtap, Saharsh +3 · 1 citation
Computer Science · #93C10 #93C85 #Dynamical Systems (math.DS) #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Petri Nets in System Modeling #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
- How to discretize continuous state-action spaces in Q-learning: A symbolic control approach
2024/06/03 by Alaoui, Sadek Belamfedel, Saoud, Adnane · 1 citation
#Artificial Intelligence (cs.AI) #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Systems and Control (eess.SY) #electronic engineering #information engineering
- Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes
2022/09/28 by Gorantla, Sandeep, Chatrola, Jeel, Bhagiya, Jay +2 · 1 citation
#93-06 #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Energy Efficient Aerial RIS: Phase Shift Optimization and Trajectory Design
2024/07/25 by Hammouti, Hajar El, Saoud, Adnane, Ennahkami, Asma +1 · 1 citation
#FOS: Electrical engineering #Signal Processing (eess.SP) #electronic engineering #information engineering
- Temporal Logic Resilience for Dynamical Systems
2024/04/30 by Adnane Saoud, Saoud, Adnane, Pushpak Jagtap +3 · 3 citations
Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering