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, and decision-making of autonomous vehicles. 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

Project 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 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, Clovis Eberhart, Jérémy Dubut,''Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications,'' Proceedings of the 60th IEEE Conference on Decision and Control (IEEE-CDC 2021), pp. 1321-1328, December 2021. ()

Sasinee Pruekprasert and Kai Cai, ''Local opacity verification for distributed discrete event systems,'' 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, ''Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization,'' 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].