29 citations · 78 across the 18 of their papers we have counts for
5 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…
Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning
Junya Ikemoto, Toshimitsu Ushio
In this paper, we propose a design of a model-free networked controller for a nonlinear plant whose mathematical model is unknown. In a networked control system, the controller and…
Model-free Control of Chaos with Continuous Deep Q-learning
Junya Ikemoto, Toshimitsu Ushio
The OGY method is one of control methods for a chaotic system. In the method, we have to calculate a stabilizing periodic orbit embedded in its chaotic attractor. Thus, we cannot u…
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…