Optimal multirate sampling in symbolic models for incrementally stable switched systems von Saoud, Adnane, Girard, Antoine

Volltext

Assume-guarantee contracts for continuous-time systems von Saoud, Adnane, Girard, Antoine, Fribourg, Laurent

Volltext

Characterization, verification and computation of robust controlled invariants for monotone dynamical systems von Saoud, Adnane, Arcak, Murat

Volltext

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems von Saoud, Adnane, Girard, Antoine, Fribourg, Laurent

Volltext

Sufficient conditions for robust safety in differential inclusions using barrier functions von Maghenem, Mohamed Adlene, Mamaghani, Masoumeh Ghanbarpour, Saoud, Adnane

Volltext

Lazy controller synthesis for monotone transition systems and directed safety specifications von Ivanova, Elena, Saoud, Adnane, Girard, Antoine

Volltext

Asymptotic error in Euler’s method with a constant step size von Jerray, Jawher, Saoud, Adnane, Fribourg, Laurent

Volltext

Learning-based symbolic abstractions for nonlinear control systems von Hashimoto, Kazumune, Saoud, Adnane, Kishida, Masako, Ushio, Toshimitsu, Dimarogonas, Dimos V.

Volltext

Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems von Saoud, Adnane, Maghenem, Mohamed, Loria, Antonio, Sanfelice, Ricardo G.

Volltext

Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach von Jouret, Louis, Saoud, Adnane, Olaru, Sorin

Volltext

Using Euler's Method to Prove the Convergence of Neural Networks von Jerray, Jawher, Saoud, Adnane, Fribourg, Laurent

Volltext

Monotonicity-Based Symbolic Control for Safety in Driving Scenarios von Smith, Stanley W., Saoud, Adnane, Arcak, Murat

Volltext

Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach von Saoud, Adnane, Jagtap, Pushpak, Zamani, Majid, Girard, Antoine

Volltext

Compositional and Efficient Controller Synthesis for Cyber-Physical Systems von Saoud, Adnane

Volltext bestellen

Necessary and sufficient Conditions of Forward Invariance in Hybrid Dnamical Systems: An LMI Approach von Alaoui, Sadek Belamfedel, Saoud, Adnane

Volltext

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties von Alaoui, Sadek Belamfedel, Saoud, Adnane

Volltext

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems von Hashimoto, Kazumune, Saoud, Adnane, Kishida, Masako, Ushio, Toshimitsu, Dimarogonas, Dimos V.

Volltext

Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems von Saoud, Adnane, Arcak, Murat

Volltext bestellen

Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids von Takayama, Yoshinari, Saoud, Adnane, Iovine, Alessio

Volltext

Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study von Takayama, Yoshinari, Saoud, Adnane, Iovine, Alessio

Volltext