Reinforcement learning of control policy for linear temporal logic specifications using limit-deterministic generalized Büchi automata R Oura, A Sakakibara, T Ushio IEEE Control Systems Letters 4 (3), 761-766, 2020 | 30 | 2020 |
On-line permissive supervisory control of discrete event systems for scLTL specifications A Sakakibara, T Ushio IEEE Control Systems Letters 4 (3), 530-535, 2020 | 12 | 2020 |
Decentralized supervision and coordination of concurrent discrete event systems under LTL constraints A Sakakibara, T Ushio IFAC-PapersOnLine 51 (7), 7-12, 2018 | 6 | 2018 |
Hierarchical control of concurrent discrete event systems with linear temporal logic specifications A Sakakibara, T Ushio IEICE Transactions on Fundamentals of Electronics, Communications and …, 2018 | 5 | 2018 |
Wip abstract: Detection of false injection attacks based on ltl for fallback control N Kuze, A Sakakibara, T Ushio 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020 | 3 | 2020 |
Directed Control of Discrete Event Systems with Specifications A Sakakibara, T Ushio 2018 IEEE Conference on Decision and Control (CDC), 3962-3967, 2018 | 3 | 2018 |
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[] Specifications A Sakakibara, N Urabe, T Ushio IEEE Transactions on Automatic Control 67 (12), 6896-6903, 2021 | 2 | 2021 |
Bounded synthesis and reinforcement learning of supervisors for stochastic discrete event systems with LTL specifications R Oura, T Ushio, A Sakakibara arXiv preprint arXiv:2105.03081, 2021 | 1 | 2021 |
Supervisory control of concurrent discrete event systems with local linear temporal logic specifications A Sakakibara, T Ushio IEICE Proceedings Series 61 (M2-1-3), 2016 | 1 | 2016 |
Optimal directed control of discrete event systems with linear temporal logic constraints A Sakakibara, S Pruekprasert, T Ushio 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015 | 1 | 2015 |
On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications A Sakakibara, T Ushio 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020 | | 2020 |
An Application of reinforcement learning to surveillance robots with temporal logic specifications R OURA, AMI SAKAKIBARA, T USHIO 自動制御連合講演会 (CD-ROM) 63, 1-6, 2020 | | 2020 |
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints A Sakakibara, T Ushio IFAC-PapersOnLine 53 (2), 2130-2136, 2020 | | 2020 |
A Study on Control Specifications Using LTL [F] for Supervisory Control A Sakakibara, T Ushio IEICE Technical Report; IEICE Tech. Rep. 118 (384), 25-28, 2019 | | 2019 |
Supervisory Control with Linear Temporal Logic Specifications A Sakakibara, T Ushio IEICE Technical Report; IEICE Tech. Rep. 117 (301), 63-66, 2017 | | 2017 |
1F1-6 R Oura, A Sakakibara, T Ushio | | |