SimulinkとSpaceExを用いたクルーズ制御システムの検証【JST・京大機械翻訳】

Kekatos Nikolaos

プレプリント

J-GLOBAL ID：202202202599606692 整理番号：21P0072965

SimulinkとSpaceExを用いたクルーズ制御システムの検証【JST・京大機械翻訳】

Verifying a Cruise Control System using Simulink and SpaceEx

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2020年12月31日プレプリントサーバーでの情報更新日： 2020年12月31日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

本論文は,形式的検証ツールによる制御システムを検証するために必要なステップを強調する簡単なステップバイステップガイドを提供することを目的とする。自然言語における物理的システムと制御目的の記述から始めて,著者らはプラントと制御装置を設計して,著者らはシミュレーションのためにSimulinkを使用して,著者らは形式的検証のために可到達性解析ツール,SpaceExを採用した。【JST・京大機械翻訳】

, , ,
, , , , 【Automatic Indexing@JST】

計算機システム開発

, ,

前のページに戻る