文献

J-GLOBAL ID：201702211668585433   整理番号：17A1510881

ハイブリッドシステムモデルにおける因果関係ループの種別分析【Powered by NICT】

A type-based analysis of causality loops in hybrid systems modelers

著者 (8件)： Benveniste Albert (Inria Rennes-Bretagne Atlantique, France) ,  Bourke Timothy (Inria Paris, France) ,  Bourke Timothy (Ecole normale superieure, PSL Research University, France) ,  Caillaud Benoit (Inria Rennes-Bretagne Atlantique, France) ,  Pagano Bruno (ANSYS/Esterel Technologies, France) ,  Pouzet Marc (Sorbonne Universites, UPMC Univ Paris 06, France) ,  Pouzet Marc (Ecole normale superieure, PSL Research University, France) ,  Pouzet Marc (Inria Paris, France)
資料名： Nonlinear Analysis: Hybrid Systems  (Nonlinear Analysis: Hybrid Systems)
巻： 26  ページ： 168-189  発行年： 2017年 
JST資料番号： A1179A  ISSN： 1751-570X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 明示的ハイブリッドシステムはSimulink/Stateflowはそれらの間の複雑な相互作用を持つ連続時間挙動離散及び両プログラミングを可能にするようなmodelers。編集における重要なステップは,代数または因果関係ループの静的検出である。このようなループは,デッドロックにシミュレーションを引き起こし,静的にスケジュールコードの生成を防ぐことができる。本論文では,同期データフロー方程式を結合常微分方程式(ODE)ハイブリッドモデリング言語のためのこの問題を扱った。信号の左限界に対する演算子最終xを導入した。過去x演算子は因果関係ループを破壊するのに使用され,離散および連続状態変数の均一処理を可能にした。言語の意味論は非標準的解析に依存しており,無限小ステップの配列として実行を定義した。を連続的に計算できると零交差波形のような発表された離散事象の外側の無限小変化だけ信号は,因果は正しいと考えられる。因果関係分析は,信号間の依存性を発現する型システムの形をとる。型付きプログラムでは,(i)信号は,輸入外部機能も連続が統合し証明可能連続,(ii)逐次コードを発生できた。システムの有効性はZelus,ODE(常微分方程式)で拡張した光沢のような同期型言語で書かれたいくつかの例を用いて説明した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 意味論 ,  代数学 ,  言語 ,  相互作用 ,  デッドロック ,  *因果律 ,  連続時間系 ,  状態変数 ,  計算機プログラミング ,  常微分方程式
準シソーラス用語： 型システム ,  データフロー ,  Simulink ,  *ハイブリッドシステム , 【Automatic Indexing@JST】

著者キーワード (3件)： ハイブリッドシステム ,  同期プログラミング言語 ,  型システム

分類 (5件)： 圧延技術  (WC06030Z) ,  人工知能  (JE08000Z) ,  数値計算  (JE02000J) ,  オペレーションズリサーチ一般  (KA03010Q) ,  システム同定  (IA02040O)

タイトルに関連する用語 (4件)： システムモデル ,  因果関係 ,  ループ ,  分析