足立 正和 | (株)豊田中央研究所
スポンサーリンク
概要
関連著者
-
足立 正和
(株)豊田中央研究所
-
潮 俊光
大阪大学大学院基礎工学研究科
-
佐野 範佳
(株)豊田中央研究所
-
足立 正和
大阪大学大学院基礎工学研究科
-
山本 茂
金沢大学 大学院自然科学研究科
-
湯浅 能史
東京工業大学大学院情報理工学研究科
-
潮 俊光
神戸女学院大学
-
潮 俊光
大阪大学 大学院基礎工学研究科
-
山本 茂
大阪大学大学院基礎工学研究科
-
足立 正和
大阪大学 基礎工学部
-
梁瀬 裕行
大阪大学大学院基礎工学研究科
-
湯浅 能史
東京工業大学大学院情報理工学研究科:産業技術総合研究所システム検証研究センター
-
山本 茂
大阪大学
-
山本 茂
金沢大学大学院
-
山本 茂
金沢大学
-
高井 重昌
大阪大学大学院工学研究科
-
高井 重昌
京都工芸繊維大学大学院工芸科学研究科:(現)大阪大学大学院工学研究科
-
高井 重昌
京都工芸繊維大学大学院工芸科学研究科
-
高井 重昌
京都工芸繊維大学
-
高井 重昌
大阪大学
-
乾 翼
大阪大学大学院基礎工学研究科
-
小田 哲也
大阪大学大学院基礎工学研究科
-
高橋 怜士
大阪大学 基礎工学部
-
富永 孝
大阪大学 大学院基礎工学研究科
-
佐野 範佳
豊田中央研究所
-
潮 俊光
豊田中央研究所
-
宇川 佳孝
大阪大学大学院基礎工学研究科
-
高井 重昌
和歌山大学システムエ学部
-
高井 重昌
大阪大学 大学院 工学研究科
-
潮 俊光
大阪大学 大学院 基礎工学研究科
著作論文
- ハイブリッドオートマトンの双模倣関係とその近似計算
- 制御系ECU調停器の検証における演繹的アプローチについて(組込みシステム技術)
- AS-4-6 I/Oオートマトンのモジュラ制御における調停問題について(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)
- 離散事象システムのモジュラ状態フィードバック制御に対する調停器設計(ペトリネット,離散事象システム,一般)
- LTLで記述されるマニュアルに対するオートメーションサプライズの検出
- 同期型言語を用いたソフトウェア検証 : クルーズコントロールシステムにおける事例紹介(フォーラム)
- 最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用(システムと制御)
- AS-5-3 時間付きオートマトンでモデル化された人間-機械系におけるオートメーションサプライズの一検証法(AS-5. コンカレントシステムとハイブリッドシステムのための形式モデルとその応用, 基礎・境界)
- 制御系ECU調停器の検証における演繹的アプローチについて(組込みシステム技術)
- 離散事象システムにおけるオートメーションサプライズに対する警報器の設計
- 対称性を有する区分的アフィンシステムにおけるリミットサイクルの解析
- A-2-13 対称性を有する区分アファインシステムにおけるリミットサイクルの解析