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. :-)
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
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
Sasinee Pruekprasert, Jeremy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, ''Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis,'' Automatica, vol. 160, pp. 111441, Feb. 2024. (Preprint)
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, ''Goal-Aware RSS for Complex Scenarios via Program Logic,'' IEEE Transactions on Intelligent Vehicles, vol. 8, no. 4, pp. 3040 – 3072, Apr. 2023. (Preprint)
Sasinee Pruekprasert and Toshimitsu Ushio, ''Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem,'' IEEE Control Systems Letters (L-CSS), vol. 4, no. 1, pp. 259 - 264, 2020.
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].
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. (Preprint)
Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, and Sasinee Pruekprasert, ''Logic for Timed Agent Network Topologies,'' Proceedings of 61st Conference on Decision and Control (IEEE-CDC 2022), pp. 2870-2877, Dec. 2022. (Preprint)
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo, ''Dynamic shielding for reinforcement learning in black-box environments,'' Proceedings of 20th international Symposium on Automated Technology for Verification and Analysis (ATVA 2022), pp. 25-41, Oct. 2022. (Preprint)
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. (Preprint)
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. (Preprint)
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut, ''Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-
LTL Specifications,'' in Proceedings of the 16th International
Conference on Control, Automation, Robotics and Vision (ICARCV 2020), pp. 548-554, December 2020. (Best paper finalist)
(Preprint)
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. (Preprint)
Sasinee Pruekprasert, Xiao-Yi Zhang, Jérémy Dubut, Chao Huang, and Masako Kishida, ''Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles,'' in Proceedings of 22nd IEEE Intelligent Transportation Systems Conference (ITSC 2019), pp. 2299-2304, October 2019. (Preprint)
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.
Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, ''Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis,'' Preprint, 2022
Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida, ''A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout'', 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].