On-line permissive supervisory control of discrete event systems for scLTL specifications

Ami Sakakibara, Toshimitsu Ushio
July 2020
PDF Cite DOI
Type
Journal article
Publication
IEEE Control Systems Letters