一般3

セッション「一般3」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013一般


一般3: 9月12日 9:00〜11:30,工学部2号館1階211号室

1. ハイブリッドシステム制約言語HydLaの数式処理実行系へのアフィン演算の導入(松本翔太)

松本翔太 (早稲田大学基幹理工学研究科情報理工学専攻)
上田和紀 (早稲田大学理工学術院情報理工学科)

2. 最強事後条件の計算を用いたハイブリッドオートマトンの帰納的検証(石井大輔)

石井大輔 (東京工業大学)
Guillaume Melquiond (INRIAサクレ / パリ第11大学)
中島震 (国立情報学研究所)

特別招待講演:我妻広明

Extending the World to Sense and Behave: A Supportive System Focusing on the Body Coordination for Neurocognitive Rehabilitation

我妻広明(九州工業大学)

COGNITIVE 2012で発表

ここをクリックして論文の情報を検索

4. FMEAとモデル検査を組合せた高信頼設計プロセスの提案(若林昇)

若林昇 (株式会社日立製作所 横浜研究所)
吉岡信和 (国立情報学研究所 GRACEセンター)

5. 情報制御システムに対するSPINを用いた段階的モデル検査手法(小山恭平)

小山恭平 (茨城大学)
小飼敬 (茨城工業高等専門学校)
上田賀一 (茨城大学)
山形知行 (株式会社 日立製作所)
武澤隆之 (株式会社 日立製作所)