Rchr
J-GLOBAL ID：201901010317961694
Update date: Jan. 30, 2024
Sakakibara Ami
サカキバラ アミ | Sakakibara Ami
Affiliation and department：
Job title：
PhD Student
Research field (2)：
Mathematical informatics
, Control and systems engineering
Research keywords (4)：
Automata theory
, Systems and Control Theory
, Formal Methods
, Discrete Event Systems
Research theme for competitive and other funds (1)：
- 2019 - 2021 ハイブリッド仕様を用いたCPSの形式的制御系設計
Papers (18)：
MISC (1)：
-
Ushio Toshimitsu, Sakakibara Ami. Formal Design of Controller:-Temporal Logic Specication and Game Theoretic Approach. SYSTEMS, CONTROL AND INFORMATION. 2018. 62. 6. 215-220
Education (3)：
- 2017 - 現在 Osaka University Graduate School of Engineering Science PhD student, Department of Systems Innovation
- 2015 - 2017 Osaka University Graduate School of Engineering Science Master Student, Department of Systems Innovation
- 2011 - 2015 Osaka University
Work history (3)：
- 2020/02 - 現在 Osaka University Graduate School of Engineering Science PhD Student
- 2019/04 - 現在 JSPS Research Fellow
- 2017/04 - 現在 Japan Science and Technology Agency
Awards (4)：
- 2020/03 - IEICE Young Researcher's Award
- 2019/06 - IEICE 2018 Best Paper Award
- 2017/11 - IEICE MSS 2016 Best Paper Award
- 2017/03 - Graduate School of Engineering Science, Osaka University Engineering Science Award
Association Membership(s) (2)：
IEEE
, THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS
