Ami Sakakibara
Ami Sakakibara
Home
Publications
Awards
Experiences
Contact
1
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints
Ami Sakakibara
,
Toshimitsu Ushio
Cite
On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications
Ami Sakakibara
,
Toshimitsu Ushio
Cite
WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control
Naomi Kuze
,
Ami Sakakibara
,
Toshimitsu Ushio
Cite
Directed Control of Discrete Event Systems with LTL[$mathcalF$] Specifications
Ami Sakakibara
,
Toshimitsu Ushio
Cite
Decentralized Supervision and Coordination of Concurrent Discrete Event Systems under LTL Constraints
Ami Sakakibara
,
Toshimitsu Ushio
Cite
Supervisory Control of Concurrent Discrete Event Systems with Local Linear Temporal Logic Specifications
Ami Sakakibara
,
Toshimitsu Ushio
Cite
Optimal Directed Control of Discrete Event Systems with Linear Temporal Logic Constraints
Ami Sakakibara
,
Sasinee Pruekprasert
,
Toshimitsu Ushio
Cite
DOI
Cite
×