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…