关注
Adnane Saoud
标题
引用次数
引用次数
年份
Assume-guarantee contracts for continuous-time systems
A Saoud, A Girard, L Fribourg
Automatica 134, 109910, 2021
412021
On the composition of discrete and continuous-time assume-guarantee contracts for invariance
A Saoud, A Girard, L Fribourg
2018 European Control Conference (ECC), 435-440, 2018
382018
Learning-based symbolic abstractions for nonlinear control systems
K Hashimoto, A Saoud, M Kishida, T Ushio, D Dimarogonas
Automatica 146, 110646, 2022
362022
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
312021
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
302020
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids
D Zonetti, A Saoud, A Girard, L Fribourg
262019
Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems
A Saoud, A Girard, L Fribourg
2018 IEEE Conference on Decision and Control (CDC), 773-779, 2018
252018
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
192022
Optimal multirate sampling in symbolic models for incrementally stable switched systems
A Saoud, A Girard
Automatica 98, 58-65, 2018
182018
Compositional and Efficient Controller Synthesis for Cyber-Physical Systems
A Saoud
Paris Saclay, CentraleSupelec, 2019
162019
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
162018
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications
A Saoud, E Ivanova, A Girard
152019
A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals
A Saoud, M Maghenem, RG Sanfelice
2021 American Control Conference (ACC), 4997-5002, 2021
142021
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
142019
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
132021
Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads
D Zonetti, A Saoud, A Girard, L Fribourg
92019
Symbolic models for incrementally stable switched systems with aperiodic time sampling
Z Kader, A Girard, A Saoud
IFAC-PapersOnLine 51 (16), 253-258, 2018
92018
Contract based design of symbolic controllers for vehicle platooning
A Saoud, A Girard, L Fribourg
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
72018
Multirate symbolic models for incrementally stable switched systems
A Saoud, A Girard
IFAC-PapersOnLine 50 (1), 9278-9284, 2017
72017
Barrier Functions for Robust Safety in Differential Inclusions, Part I: Sufficient Conditions
M Ghanbarpour, M Maghenem, A Saoud
2021 60th IEEE Conference on Decision and Control (CDC), 5338-5343, 2021
62021
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交