A
Ami Sakakibara
Researcher at Osaka University
Publications - 14
Citations - 53
Ami Sakakibara is an academic researcher from Osaka University. The author has contributed to research in topics: Linear temporal logic & Supervisory control. The author has an hindex of 3, co-authored 12 publications receiving 29 citations. Previous affiliations of Ami Sakakibara include Royal Institute of Technology.
Papers
More filters
Journal ArticleDOI
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata
TL;DR: In this paper, the authors propose a reinforcement learning method for the synthesis of a control policy satisfying a control specification described by a linear temporal logic formula, where the controlled system is modeled by a Markov decision process (MDP).
Journal ArticleDOI
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications
Ami Sakakibara,Toshimitsu Ushio +1 more
TL;DR: An on-line supervisory control scheme for discrete event systems (DESs), where a control specification is described by a fragment of linear temporal logic, which introduces a permissiveness function that indicates a time-varying permissive level.
Journal ArticleDOI
Decentralized Supervision and Coordination of Concurrent Discrete Event Systems under LTL Constraints
Ami Sakakibara,Toshimitsu Ushio +1 more
TL;DR: This paper considers a control problem of a concurrent discrete event system modeled by a Mealy automaton, where several subsystems are partially synchronized via shared events and proposes hierarchical control architecture consisting of local supervisors and a coordinator.
Journal ArticleDOI
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications
Ami Sakakibara,Toshimitsu Ushio +1 more
Journal ArticleDOI
Precise characterization of a corridor-shaped structure in Khufu’s Pyramid by observation of cosmic-ray muons
S. Procureur,Kunihiro Morishima,Mitsuaki Kuno,Yuta Manabe,Nobuko Kitagawa,Akira Nishio,Hector Gomez,David Attié,Ami Sakakibara,Kotaro Hikata,M. Moto,I. Mandjavidze,P. Magnier,Marion Lehuraux,Théophile Benoit,D. Calvet,X. Coppolani,M. Kebbiri,P. Mas,Hany Helal,Mehdi Tayoubi,Benoit Marini,Nicolas Serikoff,Hamada Anwar,Vincent Steiger,F. Takasaki,Hirofumi Fujii,Kotaro Satoh,Hideyo Kodama,Kohei Hayashi,Pierre Gable,Emmanuel Guerriero,Jean-Baptiste Mouret,Tamer Elnady,Yasser El-Shayeb,Mohamed Elkarmoty +35 more
TL;DR: In this paper , a corridor-shaped structure has been observed behind the so-called Chevron zone on the North face of Khufu's Pyramid, with a length of at least 5 meters.