Sasinee Pruekprasert

Postdoctoral Researcher

National Institute of Informatics (NII) sasinee[at]nii.ac.jp
p.sasinee[at]gmail.com

My major research interests focus on supervisory control of discrete event systems. I also have particular interests in game theory, graph theory, temporal logic, and several other fields.

I am is currently working as a postdoctoral researcher, working in ERATO MMSD -- Metamathematics for Systems Design.

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

Profile

I received my B. E. degree in Computer Engineering from Kasetsart University, Thailand, in 2010. Thereafter, I pursued Master and Doctoral degrees at Osaka University, Japan, under Prof. Toshimitsu Ushio in the research group of complex systems. I was fortunate to receive Monbukagakusho (MEXT) scholarships during my graduate studies. My graduate studies research mainly focused on optimal supervisory control of quantitative discrete event systems modeled by weighted automata.

After complete my Ph. D., I have been appointed as a postdoctoral researcher at the same research group. My researches focus on the control of discrete event systems.

I am is currently a postdoctoral researcher at National Institute of Informatics (NII), working in ERATO MMSD -- Metamathematics for Systems Design.

Research

Postdoctoral Researcher
National Institute of Informatics (NII), working in ERATO MMSD -- Metamathematics for Systems Design.
April 2017 - Current

Postdoctoral Researcher
with Prof. Toshimitsu Ushio

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

Education

Doctor of Engineering
Graduate School of Engineering Science, Osaka University, Japan
October 2012 - March 2016
Thesis: Optimal Control Problems for Quantitative Discete Event Systems Modeled by Weighted Automata

Master of Engineering
Graduate School of Engineering Science, Osaka University, Japan
October 2010 - September 2012
Thesis: Optimal Supervisory Control of Quantitative Discrete Event Systems

Bachelor of Engineering (Computer Engineering)
Faculty of Engineering, Kasetsart University, Thailand
Graduated with First Class Honors
October 2010 - September 2012
Thesis: Computing Small Dominating Sets in Wireless Ad-hoc Network under Realistic Models

Publications

Peer-Reviewed Journal Articles

Sasinee Pruekprasert and Toshimitsu Ushio, IEEE Control Systems Letters, vol. 4, no. 1, pp. 259-264, Jan 2020.
(also presented in the 58th IEEE Conference on Decision and Control, CDC2019)

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, and Jeremy Dubut, ''Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications ,'' in Proceedings of 16th International Conference on Control, Automation, Robotics and Vision (ICARCV 2020), Shenzhen, China, Dec. 2020. (Best paper award finalist)

Sasinee Pruekprasert Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, and Jeremy Dubut, ''Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization ,'' in Proceedings of the 21rst IFAC World Congress (IFAC 2020), Berlin, Germany, July 2020.

Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang and Masako Kishida, () in Proceedings of Intelligent Transportation Systems Conference (ITSC2019), Auckland, New Zealand, Oct. 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 (), pp. ,137-140, Okinawa, Japan, July 2016.

Ami Sakakibara, Sasinee Pruekprasert, and Toshimitsu Ushio, ''Optimal Directed Control of Discrete Event Systems with Linear Temporal Logic Constraints,'' (), Luxembourg, Sep. 2015.

Domestic Conference Proceedings and Presentations

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]. (Best paper award)

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].