房岡璋 (Akira Fusaoka) - マイポータル

基本情報

所属: 立命館大学総合理工学研究機構ＶＬＳＩセンター総合理工学研究機構ＶＬＳＩセンター教授
: (兼任)理工学研究科理工学研究科教授

学位: 工学博士

J-GLOBAL ID: 200901024351876411
researchmap会員ID: 1000194384

研究キーワード

研究分野

経歴

学歴

委員歴

1992年 - 1994年

3．人工知能学会理事(1992-1994),人工知能学会評議員(2006-2009)
1991年 - 1993年

1.日本応用数理学会理事(1991-1993), 2.日本ソフトウエア学会評議員(1992-1993)

受賞

2004年

2003年度人工知能学会論文賞

MISC

ハイブリッドオートマトンの非標準モデルについて

中村勝則, 房岡

システム制御情報学会論文誌 23(2) 29-38 2010年
オンボード診断のための専用ハードウエアとその設計手法について

平塚聡, 房岡璋

システム制御情報学会論文誌 23(11) 265-273 2010年
On A Nonstandard Model of Hybrid Automaton

Katsunori Nakamura, Akira Fusaoka

2010 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS 2368-2373 2010年
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata

Katsunori Nakamura, Akira Fusaoka

Proceedings of 12th International Workshop, HSCC2009 LNCI-5469, Springer. pp450-454 2009年
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata

Katsunori Nakamura, Akira Fusaoka

Proceedings of 12th International Workshop, HSCC2009 LNCI-5469, Springer. pp450-454 2009年
非標準モデルに基づくハイブリッドシステムの記述と推論

中村勝則, 房岡璋

システム制御情報学会論文誌 21(6) 176-184 2008年
An On-Board Diagnosis Hardware for Embedded Systems

Satoshi Hiratsuka, Akira Fusaoka

PROCEEDINGS OF 2008 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS 449-454 2008年
Reasoning about hybrid systems based on a nonstandard model

Katsunori Nakamura, Akira Fusaoka

AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS 4830 749-754 2007年
モデルベース診断に基づくOn-Board診断の一方法

平塚聡, 盧信宏, 房岡璋

システム制御情報学会論文誌 20(8) 321-330 2007年
On A Linear Framework for Belief Dynamics in Multi-agent Environment,

A.Fusaoka, K.Nakamura, M.Sato

LNAI-4371,pp41-59, Springer 2007年
Reasoning About Hybrid Systems Based on a Nonstandard Model

K. Nakamura, A. Fusaoka

Proceeding of 20th Australian Joint Conference on Artificial Intelligence LNAI-4830, Springer 749-754 2007年
On A Linear Framework for Belief Dynamics in Multi-agent Environment,

A.Fusaoka, K.Nakamura, M.Sato

LNAI-4371,pp41-59, Springer 2007年
Model-Based Monitoring and Diagnosis Chip for Embedded System

S. Hiratsuka, Hsing-Hung Lu, A. Fusaoka

Proc. 12th International Conference on Artificial Intelligence: , Methodology, System and Application, AIMSA2006 LNAI-4183, Springer.pp255-264 2006年
On A Linear Framework for Belief Dynamics in Multi-agent Environment

A.Fusaoka, K.Nakamura, M.Sato

Proc. 7th International Workshop on Computational Logic in Multi-agent Systems(CLIMA-VII), pp33-48. 2006年
Model-Based Monitoring and Diagnosis Chip for Embedded System

Proc. 12th International Conference on Artificial Intelligence: , Methodology, System and Application, AIMSA2006 LNAI-4183, Springer.pp255-264 2006年
On A Linear Framework for Belief Dynamics in Multi-agent Environment

A.Fusaoka, K.Nakamura, M.Sato

Proc. 7th International Workshop on Computational Logic in Multi-agent Systems(CLIMA-VII), pp33-48. 2006年
On Transfinite Hybrid Automata,

K.Nakamura, A. Fusaoka:Proc

8th International Workshop, HSCC2005 LNCI-3419, Springer. pp495-510 2005年
On Transfinite Hybrid Automata,

K.Nakamura, A. Fusaoka:Proc

8th International Workshop, HSCC2005 LNCI-3419, Springer. pp495-510 2005年
On a Description and Reasoning about Hybrid System,

K.Nakamura, A. Fusaoka

Proc. 17th IEA/AIE 2004, LNAI-3029, Springer. pp274- 283 2004年
On a Description and Reasoning about Hybrid System,

K.Nakamura, A. Fusaoka

Proc. 17th IEA/AIE 2004, LNAI-3029, Springer. pp274- 283 2004年

もっとみる

書籍等出版物

論理回路

昭晃堂 2009年 (ISBN: 9784785612269)
情報基礎数学

オーム社 2008年 (ISBN: 9784274205781)

講演・口頭発表等

On Model-based Disign Verification for Combinatorial Boolean Network

Proc.15th IEA/AIE 2002, LNAI-2358, Springer 2002年
On Linear Representation Theorem For Quantative Belief Revision

Proc. 15th Australian joint Conference on Artificial Intelligence LNAI 2557,Springer 2002年
On Model-based Disign Verification for Combinatorial Boolean Network

2002年
On Linear Representation Theorem For Quantative Belief Revision

2002年
On A Linear Theory of Knowledge State

人工知能学会研究会資料 2001年
On A Linear Theory of Knowledge State

2001年
順序回路の縮退故障に関するモデルベース診断

電子情報通信学会技術研究報告ISSN 0913-5685 2000年
On A Star Situation Calculus

人工知能学会研究会資料SIG-FAI-9901-3 1999年
On A Star Situation Calculus

1999年

房岡璋

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

受賞

MISC

書籍等出版物

講演・口頭発表等

所属学協会

共同研究・競争的資金等の研究課題

メニュー