7 citations · 11 across the 10 of their papers we have counts for
1 paper · 1 filter
Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap +1
In this paper, we present a compositional methodology for constructing symbolic models of nonlinear interconnected impulsive systems. Our approach relies on the concept of "alterna…