Adnane Saoud
- 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
- Temporal Logic Resilience for Dynamical Systems
2024/04/30 by Adnane Saoud, Pushpak Jagtap, Saoud, Adnane +3 · 3 citations
Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering