2 papers
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…
math.OC2019
A symbolic approach to the self-triggered design for networked control systems
Kazumune Hashimoto, Adnane Saoud, Masako Kishida +2
In this paper, we investigate novel self-triggered controllers for nonlinear control systems with reachability and safety specifications. To synthesize the self-triggered controlle…