基本情報

写真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月，学術論文

全件表示 >>

このページの先頭へ▲

著書 【 表示 ／ 非表示 】

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

  • 専門著書，Formal Methods in Manufacturing，Knut Akesson et al. ，CRC Press，ＩＳＢＮ，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月

全件表示 >>

このページの先頭へ▲

学外運営 【 表示 ／ 非表示 】

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

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

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

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

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

全件表示 >>

このページの先頭へ▲