Ami Sakakibara

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 12

Top Topics

Model Based Diagnosis

Timed Petri Nets

Top Venues

IEEE Control. Syst. Lett.

Publications

Ami Sakakibara, Natsuki Urabe, Toshimitsu Ushio
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications. IEEE Trans. Autom. Control. 67 (12) (2022)
Ami Sakakibara, Hiroshi Hosobe
A Video Game-Like Approach to Supporting Novices in Learning Programming. HCI (24) (2021)
Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications. CoRR (2021)
Ami Sakakibara, Toshimitsu Ushio
On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications. ICCPS (2020)
Ami Sakakibara, Toshimitsu Ushio
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications. IEEE Control. Syst. Lett. 4 (3) (2020)
Ami Sakakibara, Toshimitsu Ushio
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications. CoRR (2020)
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata. IEEE Control. Syst. Lett. 4 (3) (2020)
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata. CoRR (2020)
Ami Sakakibara, Toshimitsu Ushio
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints. CoRR (2020)
Naomi Kuze, Ami Sakakibara, Toshimitsu Ushio
WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control. ICCPS (2020)
Ami Sakakibara, Toshimitsu Ushio
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2018)
Ami Sakakibara, Toshimitsu Ushio
Directed Control of Discrete Event Systems with LTL[F] Specifications. CDC (2018)
Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio
Optimal directed control of discrete event systems with linear temporal logic constraints. ETFA (2015)