非線形制御システムにおけるリニア時間論理仕様に基づくゾノトープベースの記号的コントローラ合成

本論文では、ゾノトープ技術を用いて、リニア時間論理仕様を満たすための非線形制御システムのコントローラ合成問題を解決する。