データ駆動型の信号時間論理仕様に基づく直接的な制御合成

データのみを使って、線形時不変システムの信号時間論理仕様を満たす制御器を直接合成する手法を提案する。