18 citations · 52 across the 39 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
eess.SY2020
Learning-based Symbolic Abstractions for Nonlinear Control Systems
Kazumune Hashimoto, Adnane Saoud, Masako Kishida +2
Symbolic models or abstractions are known to be powerful tools for the control design of cyber-physical systems (CPSs) with logic specifications. In this paper, we investigate a no…
eess.SY2020★ 18 cited
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…