3 papers
eess.SY2020
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.…
eess.SY2020
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications
Ami Sakakibara, Toshimitsu Ushio
We propose an on-line supervisory control scheme for discrete event systems (DESs), where a control specification is described by a fragment of linear temporal logic. On the produc…
eess.SY2020
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…