136 citations · 169 across the 27 of their papers we have counts for
4 papers · 1 filter
Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints
Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio
This paper presents a novel method of synthesizing a fragment of a timed discrete event system(TDES),introducing a novel linear temporal logic(LTL), called ticked LTL. The tick…
Learning self-triggered controllers with Gaussian processes
Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio
This paper investigates the design of self-triggered controllers for networked control systems (NCSs), where the dynamics of the plant is \textit{unknown} apriori. To deal with the…
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…
Synthesizing communication plans for reachability and safety specifications
Kazumune Hashimoto, Dimos V. Dimarogonas
We propose control and communication strategies for nonlinear networked control systems subject to state and input constraints. The objective is to steer the state of the system to…