2 citations · 2 across the 1 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2022★ 2 cited
Compositional Approximately Bisimilar Abstractions of Interconnected Systems
Belamfedel Alaoui Sadek, Saharsh, Pushpak Jagtap +1
This paper formulates and studies the concepts of approximate (alternating) bisimulation relations characterizing equivalence relations between interconnected systems and their abs…
eess.SY2020
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
Adnane Saoud, Pushpak Jagtap, Majid Zamani +1
In this paper, we focus on mitigating the computational complexity in abstraction-based controller synthesis for interconnected control systems. To do so, we provide a compositiona…