Sadek, Belamfedel Alaoui
- 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