基本情報

写真b

髙井 重昌

TAKAI Shigemasa


キーワード

システム理論,離散事象システム,ハイブリッドシステム

URL

http://is.eei.eng.osaka-u.ac.jp/takai/

性別

男性

所属組織 【 表示 / 非表示

  • 2009年04月01日 ~ 継続中,工学研究科 電気電子情報工学専攻,教授,専任

学歴 【 表示 / 非表示

神戸大学 工学部 システム工学科 卒業 学士 1989年03月
神戸大学 工学研究科 システム工学専攻 修了 工学修士 1991年03月
大阪大学 工学研究科 電子工学専攻 中退 1992年05月
大阪大学 工学研究科 電子工学専攻 博士(工学) 1995年03月

職歴 【 表示 / 非表示

大阪大学・助手 1992年06月 ~ 1998年03月
和歌山大学・講師 1998年04月 ~ 1999年09月
和歌山大学・助教授 1999年10月 ~ 2004年09月
京都工芸繊維大学・助教授 2004年10月 ~ 2007年03月
京都工芸繊維大学・准教授 2007年04月 ~ 2009年03月
大阪大学・教授 2009年04月 ~ 継続中

研究内容・専門分野 【 表示 / 非表示

  • 離散事象システム,ハイブリッドシステムの解析,制御,診断
    制御およびシステム工学関連

所属学会 【 表示 / 非表示

  • IEEE

  • システム制御情報学会

  • 計測自動制御学会

  • 電子情報通信学会

 

論文 【 表示 / 非表示

  • Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications,Shigemasa Takai,Automatica,Vol. 108,2019年10月,学術論文

  • A generalized framework for inference-based diagnosis of discrete event systems capturing both disjunctive and conjunctive decision-making,Shigemasa Takai, Ratnesh Kumar,IEEE Transactions on Automatic Control,Vol. 62, No. 6, pp. 2778-2793,2017年06月,学術論文

  • Synthesis of inference-based decentralized control for discrete event systems,Shigemasa Takai, Ratnesh Kumar,IEEE Transactions on Automatic Control,Vol. 53, No. 2, pp. 522-534,2008年02月,学術論文

  • Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems,Ratnesh Kumar, Shigemasa Takai,IEEE Transactions on Automatic Control,Vol. 52, No. 10, pp. 1783-1794,2007年10月,学術論文

  • Characterization of co-observable languages and formulas for their super/sublanguages,Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio,IEEE Transactions on Automatic Control,Vol. 50, No. 4, pp. 434-447,2005年04月,学術論文

全件表示 >>

著書 【 表示 / 非表示

  • 専門著書,制御の事典,野波健蔵他,朝倉書店,ISBN,978-4-254-23141-0 C3553,2015年07月

  • 専門著書,Formal Methods in Manufacturing,Knut Akesson et al. ,CRC Press,ISBN,978-1466561557,2014年02月

受賞 【 表示 / 非表示

  • 1995年度システム制御情報学会学会賞論文賞,高井重昌,潮 俊光,児玉慎三,システム制御情報学会,1995年05月

  • 2019年度 システム制御情報学会 学会賞 論文賞,梶山 祐一, 林 直樹, 高井 重昌,一般社団法人 システム制御情報学会 ,2019年05月

  • 平成28年度 電子情報通信学会 論文賞,野村 健二, 林 直樹, 高井 重昌,一般社団法人 電子情報通信学会,2017年06月

  • 平成26年 電子・情報・システム部門誌 優秀論文賞,北村,森,泉井,宮本,高井,電気学会 電子・情報・システム部門,2014年09月

  • 電子情報通信学会平成18年度論文賞,梁瀬裕行、潮俊光、足立正和、高井重昌,電子情報通信学会,2007年05月

 

会議運営 【 表示 / 非表示

  • 国際会議,The 23rd International Conference on System Theory, Control and Computing,国際プログラム委員会委員,2019年10月

  • 国際会議,The 24th IEEE International Conference on Emerging Technologies and Factory Automation,トラックプログラム委員会委員,2019年09月

  • 国際会議,The 6th International Conference on Control, Decision and Information Technologies,国際プログラム委員会委員,2019年04月

  • 国際会議,The 22nd International Conference on System Theory, Control and Computing,国際プログラム委員会委員,2018年10月

  • 国際会議,The SICE Annual Conference 2018,プログラム委員長,2018年09月

全件表示 >>

学外運営 【 表示 / 非表示

  • 学会,計測制御自動制御学会 制御部門,IoT時代に向けたイベントベースト制御調査研究会 主査,2018年01月 ~ 継続中

  • 学会,計測制御自動制御学会 制御部門,学術委員会委員,2018年01月 ~ 継続中

  • 学会,計測制御自動制御学会 制御部門,部門運営委員会委員,2018年01月 ~ 継続中

  • 学会,電子情報通信学会,システム数理と応用研究専門委員会副委員長,2017年06月 ~ 2019年05月

  • 学会,計測自動制御学会,Editor for SICE Journal of Control, Measurement, and System Integration,2017年03月 ~ 継続中

全件表示 >>