|
髙井 重昌 TAKAI Shigemasa
|
学歴 【 表示 / 非表示 】
神戸大学 工学部 システム工学科 卒業 | 学士 | 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月 ~ 継続中 |
論文 【 表示 / 非表示 】
-
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月 ~ 継続中