フォロー
Ami SAKAKIBARA
Ami SAKAKIBARA
確認したメール アドレス: diag.uniroma1.it
タイトル
引用先
引用先
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
302020
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
122020
Decentralized supervision and coordination of concurrent discrete event systems under LTL constraints
A Sakakibara, T Ushio
IFAC-PapersOnLine 51 (7), 7-12, 2018
62018
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
52018
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
32020
Directed Control of Discrete Event Systems with Specifications
A Sakakibara, T Ushio
2018 IEEE Conference on Decision and Control (CDC), 3962-3967, 2018
32018
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
22021
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
12021
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
12016
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
12015
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–16