7 papers
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints
Ami Sakakibara, Toshimitsu Ushio
We consider a supervisory control problem of a discrete event system (DES) under partial observation, where a control specification is given by a fragment of linear temporal logic.…
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
This letter proposes a novel reinforcement learning method for the synthesis of a control policy satisfying a control specification described by a linear temporal logic formula. We…
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…