Sasinee Pruekprasert

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, Toshimitsu Ushio, and Takafumi Kanazawa, ''Quantitative Supervisory Control Game for Discrete Event Systems,'' IEEE Transactions on Automatic Control, vol. 61, no. 10, pp. 2987-3000, 2016.

Sasinee Pruekprasert and Toshimitsu Ushio, ''Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances,'' IEICE Transactions on Information and Systems, vol. E99-D, no. 6, pp. 1428-1435, June 2016.

Sasinee Pruekprasert and Toshimitsu Ushio, ''Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation,'' 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, ''Temperature-aware Frequency Assignment for MP-SoC using Potential Games (ポテンシャルゲームによる MP-SoC の temperature-aware な周波数最適化),'' IISCIE J. Systems, Control and Information, vol. 26, no. 5, pp. 147-155, May 2013, [in Japanese].

International Conference Proceedings

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 (ICARCV 2016), 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, ''Optimal Directed Control of Discrete Event Systems with Linear Temporal Logic Constraints,'' Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (EFTA 2015), 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].

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

Activities

Vice President of Activity Affairs
Thai Students' Association in Japan under the Royal Patronage (TSAJ)
April 2013 - March 2014

Organizing Staff
6th Thailand-Japan International Academic Conference (TJIA)
November 2013

Operation Staff for Academic Activities
Thai Students' Association in Japan under the Royal Patronage (TSAJ)
April 2012 - March 2013

Organizing Staff
5th Thailand-Japan International Academic Conference (TJIA)
November 2013