Sasinee Pruekprasert

Project Researcher

NEC - AIST AI Cooperative Research Laboratory National Institute of Advanced Industrial Science and Technology (AIST) s.pruekprasert[at]aist.go.jp
p.sasinee[at]gmail.com

My major research interests focus on supervisory control, abstraction-based control, decision-making of autonomous vehicles, and self-separation schemes for Urban Air Mobility (UAM) corridors. I also have interests in several other fields.

I am is currently with NEC - AIST AI Cooperative Research Laboratory.

I like anime, running, and cycling. :-)

Research Experience

Researcher
National Institute of Advanced Industrial Science and Technology (AIST), NEC - AIST AI Cooperative Research Laboratory.
April 2022 - Current

Project assistant professor
National Institute of Informatics (NII), ERATO MMSD -- Metamathematics for Systems Design.
June 2021 - March 2022

Project researcher
National Institute of Informatics (NII), ERATO MMSD -- Metamathematics for Systems Design.
April 2017 - May 2021

Specially appointed assistant professor
with Prof. Toshimitsu Ushio

Research group of complex systems
Graduate School of Engineering Science, Osaka University, Japan
April 2016 - March 2017
Research Area: Control of Discrete Event Systems

Education

Doctor of Engineering
March 2016, Graduate School of Engineering Science, Osaka University, Japan
Monbukagakusho (MEXT) scholarship student

Master of Engineering
September 2012, Graduate School of Engineering Science, Osaka University, Japan
Monbukagakusho (MEXT) scholarship student

Bachelor of Engineering (Computer Engineering)
March 2010, Faculty of Engineering, Kasetsart University, Thailand
Graduated with First Class Honors

Publications

Peer-Reviewed Journal Articles

Sasinee Pruekprasert, Jeremy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Automatica, vol. 160, pp. 111441, Feb. 2024. ()

Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi, IEEE Transactions on Intelligent Vehicles, vol. 8, no. 4, pp. 3040 – 3072, Apr. 2023. ()

Sasinee Pruekprasert and Toshimitsu Ushio, IEEE Control Systems Letters (L-CSS), vol. 4, no. 1, pp. 259 - 264, 2020.

Sasinee Pruekprasert, Toshimitsu Ushio, and Takafumi Kanazawa, IEEE Transactions on Automatic Control, vol. 61, no. 10, pp. 2987-3000, 2016.

Sasinee Pruekprasert and Toshimitsu Ushio, IEICE Transactions on Information and Systems, vol. E99-D, no. 6, pp. 1428-1435, June 2016.

Sasinee Pruekprasert and Toshimitsu Ushio, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E99-A, no. 2, pp. 475-482, Feb. ,2016.

Takafumi Kanazawa, Tomoya Ando, Toshimitsu Ushio, and Sasinee Pruekprasert, IISCIE J. Systems, Control and Information, vol. 26, no. 5, pp. 147-155, May 2013, [in Japanese].

International Conference Proceedings

Sasinee Pruekprasert and Shinji Nakadai, ''Safe Arrival Scheduling at Constraint Waypoints in UAM Corridors,'' Proceedings of AIAA SciTech Forum and Exposition, Jan. 2025, to appear.

Kittiphon Phalakarn, Sasinee Pruekprasert, and Ichiro Hasuo, ''Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control,'' Proceedings of 21st International Colloquium on Theoretical Aspects of Computing (ICTAC 2024), Dec. 2024, to appear. ()

Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, and Sasinee Pruekprasert, Proceedings of 61st Conference on Decision and Control (IEEE-CDC 2022), pp. 2870-2877, Dec. 2022. ()

Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo, Proceedings of 20th international Symposium on Automated Technology for Verification and Analysis (ATVA 2022), pp. 25-41, Oct. 2022. ()

Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut, Proceedings of the 60th IEEE Conference on Decision and Control (IEEE-CDC 2021), pp. 1321-1328, December 2021. ()

Sasinee Pruekprasert and Kai Cai, in Proceedings of the 60th IEEE Conference on Decision and Control (IEEE-CDC 2021), pp. 7015-7020, December 2021. ()

Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut, ,'' in Proceedings of the 16th International Conference on Control, Automation, Robotics and Vision (ICARCV 2020), pp. 548-554, December 2020. (Best paper finalist) ()

Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut, in Proceedings of the 21st IFAC World Congress (IFAC 2020), IFAC-PapersOnLine, vol. 53, no. 2, pp. 14462-14469, July 2020. ()

Sasinee Pruekprasert, Xiao-Yi Zhang, Jérémy Dubut, Chao Huang, and Masako Kishida, in Proceedings of 22nd IEEE Intelligent Transportation Systems Conference (ITSC 2019), pp. 2299-2304, October 2019. ()

Sasinee Pruekprasert and Toshimitsu Ushio, ''State-based Optimal Supervisor for Non-terminating Quantitative Discrete Event Systems,'' in Proceedings of the 14th International Conference on Control, Automation, Robotics and Vision (), Phuket, Thailand, Nov. 2016.

Sasinee Pruekprasert and Toshimitsu Ushio, ''Energy-base Deadlock-free Supervisory Control of Quantitative Discrete Event Systems under Partial Observation,'' in Proceedings of the 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2016), pp. ,137-140, Okinawa, Japan, July 2016.

Ami Sakakibara, Sasinee Pruekprasert, and Toshimitsu Ushio, Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (EFTA 2015), Luxembourg, Sep. 2015.

Other publications

Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Preprint, 2022

Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida, , Preprint, 2019

Ami Sakakibara, Sasinee Pruekprasert, and Toshimitsu Ushio, ''Optimal Control of Weighted Automata with Linear Temporal Logic Constraints (重み付きオートマトンに対する線形時相論理制約の下での最適制御),'' in IEICE Tech. Rep., vol. 115, no. 419, pp.109-112, Jan. 2016, [in Japanese].

Sasinee Pruekprasert and Toshimitsu Ushio, ''On Computation for Prestabilizing Controllers in Discrete Event Systems,'' in IEICE Tech. Rep., vol. 113, no. 466, pp. 13-17, Feb. 2014.

Sasinee Pruekprasert, Toshimitsu Ushio, and Takafumi Kanazawa, ''An Application of Game Automaton to Quantitative Supervisory Control,'' in IEICE Tech. Rep. vol. 112, no. 458, pp. 81-84, Feb 2013.

Takafumi Kanazawa, Tomoya Ando, Toshimitsu Ushio, and Sasinee Pruekprasert, ''Temperature-aware Frequency Assignment for MP-SoC using Potential Games, (ポテンシャルゲームによる MP-SoC の temperature-aware な周波数最適化),'' in 55th ISCIE Ann. Conf. Systems, Control and Information, pp. 559-560, May 2011, [in Japanese].