Publications

Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio (2020). Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata. IEEE Control Systems Letters.

Ami Sakakibara, Toshimitsu Ushio (2020). On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints. Proceedings of the 21st IFAC World Congress.

Ami Sakakibara, Toshimitsu Ushio (2020). On-line permissive supervisory control of discrete event systems for scLTL specifications. IEEE Control Systems Letters.

Naomi Kuze, Ami Sakakibara, Toshimitsu Ushio (2020). WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control. 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).

Ami Sakakibara, Toshimitsu Ushio (2020). On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications. 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).

Ami Sakakibara, Toshimitsu Ushio (2018). Directed Control of Discrete Event Systems with LTL[$mathcalF$] Specifications. 2018 IEEE Conference on Decision and Control (CDC).

Ami Sakakibara, Toshimitsu Ushio (2018). Decentralized Supervision and Coordination of Concurrent Discrete Event Systems under LTL Constraints. Proc. 14th Workshop on Discrete Event Systems.

Ami Sakakibara, Toshimitsu Ushio (2018). Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences.

Toshimitsu Ushio, Ami Sakakibara (2018). Formal design of controller: temporal logic speci cation and game theoretic approach. Systems, Control and Information.

Ami Sakakibara, Toshimitsu Ushio (2016). Supervisory Control of Concurrent Discrete Event Systems with Local Linear Temporal Logic Specifications. Proc. 31st Int. Tech. Conf. Circuits/Systems, Comput. Commun. (ITC-CSCC 2016).

Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio (2015). Optimal Directed Control of Discrete Event Systems with Linear Temporal Logic Constraints. 2015 IEEE 20th Conference on Emerging Technologies Factory Automation (ETFA).