Author/Creator: Saoud, Adnane - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Saoud, Adnane

1. Assume-guarantee contracts for continuous-time systems. (December 2021)

Authors:: Saoud, Adnane; Girard, Antoine; Fribourg, Laurent
Journal:: Automatica
Issue:: Volume 134(2021)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Asymptotic error in Euler's method with a constant step size. (November 2022)

Authors:: Jerray, Jawher; Saoud, Adnane; Fribourg, Laurent
Journal:: European journal of control
Issue:: Volume 68(2022)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems⁎. Issue 16 (2018)

Authors:: Saoud, Adnane; Jagtap, Pushpak; Zamani, Majid; Girard, Antoine
Journal:: IFAC-PapersOnLine
Issue:: Volume 51:Issue 16(2018)
Page Start:: 13
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control⁎A. Saoud and R. G. Sanfelice are with Department of Electrical and Computer Engineering, University of California, Santa Cruz. This research has been partially supported by NSF Grants no. ECS-1710621, CNS-1544396, and CNS-2039054, by AFOSR Grants no. FA9550-19-1-0053, FA9550-19-1-0169, and FA9550-20-1-0238, and by CITRIS and the Banatao Institute at the University of California. Issue 5 (2021)

Authors:: Saoud, Adnane; Sanfelice, Ricardo G.
Journal:: IFAC-PapersOnLine
Issue:: Volume 54:Issue 5(2021)
Page Start:: 91
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads. Issue 20 (2019)

Authors:: Zonetti, Daniele; Saoud, Adnane; Girard, Antoine; Fribourg, Laurent
Journal:: IFAC-PapersOnLine
Issue:: Volume 52:Issue 20(2019)
Page Start:: 139
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. Lazy controller synthesis for monotone transition systems and directed safety specifications. (January 2022)

Authors:: Ivanova, Elena; Saoud, Adnane; Girard, Antoine
Journal:: Automatica
Issue:: Volume 135(2022)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. Learning-based symbolic abstractions for nonlinear control systems. (December 2022)

Authors:: Hashimoto, Kazumune; Saoud, Adnane; Kishida, Masako; Ushio, Toshimitsu; Dimarogonas, Dimos V.
Journal:: Automatica
Issue:: Volume 146(2022)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Multirate Symbolic Models for Incrementally Stable Switched Systems *. Issue 1 (July 2017)

Authors:: Saoud, Adnane; Girard, Antoine
Journal:: IFAC-PapersOnLine
Issue:: Volume 50:Issue 1(2017)
Page Start:: 9278
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. Optimal multirate sampling in symbolic models for incrementally stable switched systems. (December 2018)

Authors:: Saoud, Adnane; Girard, Antoine
Journal:: Automatica
Issue:: Volume 98(2018)
Page Start:: 58
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. Symbolic models for incrementally stable switched systems with aperiodic time sampling⁎. Issue 16 (2018)

Authors:: Kader, Zohra; Girard, Antoine; Saoud, Adnane
Journal:: IFAC-PapersOnLine
Issue:: Volume 51:Issue 16(2018)
Page Start:: 253
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗