Linnk AI 다운로드
•
리서치 어시스턴트
>
로그인
통찰
-
非線形制御システムのリニア時間論理仕様に基づくコントローラ合成
非線形制御システムにおけるリニア時間論理仕様に基づくゾノトープベースの記号的コントローラ合成
本論文では、ゾノトープ技術を用いて、リニア時間論理仕様を満たすための非線形制御システムのコントローラ合成問題を解決する。
1