Ami Sakakibara
Papers
1
Total Citations
15
H-Index
1
About
Ami Sakakibara is a leading researcher in control theory and formal methods, with a primary focus on discrete event systems (DESs) and temporal logic specifications. Their most notable contribution is the development of on-line permissive supervisory control for DESs under specifications expressed in syntactically co-safe Linear Temporal Logic (scLTL). In their highly cited 2020 work, Sakakibara introduced a novel ranking function on the product automaton of the DES and the specification acceptor, enabling real-time control decisions that guarantee permissiveness while satisfying complex temporal constraints. This approach bridges the gap between formal verification and practical control synthesis, offering scalable solutions for safety-critical systems such as robotics and manufacturing. With over 15 citations on this foundational paper alone, Sakakibara's work has significantly influenced the field of reactive synthesis and supervisory control. Their research continues to shape how engineers design autonomous systems that must operate correctly under uncertainty, making them a key figure in the intersection of control engineering and computer science.
Research Focus
Key Achievements
Top Papers
- 1