Ami Sakakibara

Orcid: 0000-0001-7997-1237

According to our database1, Ami Sakakibara authored at least 12 papers between 2015 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications.
IEEE Trans. Autom. Control., 2022

2021
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications.
CoRR, 2021

A Video Game-Like Approach to Supporting Novices in Learning Programming.
Proceedings of the Learning and Collaboration Technologies: Games and Virtual Environments for Learning, 2021

2020
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications.
IEEE Control. Syst. Lett., 2020

Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata.
IEEE Control. Syst. Lett., 2020

On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints.
CoRR, 2020

Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata.
CoRR, 2020

On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

2018
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

Directed Control of Discrete Event Systems with LTL[F] Specifications.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2015
Optimal directed control of discrete event systems with linear temporal logic constraints.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015


  Loading...