Rchr
J-GLOBAL ID:201801013122697684
Update date: Sep. 19, 2024
Pruekprasert Sasinee
プルエクプラサート サシニー | Pruekprasert Sasinee
Affiliation and department:
Homepage URL (1):
https://psasinee.github.io/
Research field (1):
Control and systems engineering
Research keywords (6):
Urban Air Mobility (UAM)
, discrete event system
, control theory
, automata theory
, game theory
, Supervisory control
Papers (23):
-
Sasinee Pruekprasert, Jeremy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya. Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. Automatica. 2024. 160. 111441-111441
-
Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert. Logic for Timed Agent Network Topologies. CDC. 2022. 2870-2877
-
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang 0005, Erik André Pallas, Akihisa Yamada 0002, et al. Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR. 2022. abs/2207.02387
-
Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya. Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis. CoRR. 2022. abs/2201.08648
-
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut. Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications. CoRR. 2021. abs/2103.16122
more...
MISC (2):
Work history (6):
Awards (5):
- 2020/12 - ICARCV 2020 Best Paper Award Finalist
- 2016/01 - 2016 best paper award of MSS IEICE
- 2012/10 - MEXT Scholarship for Doctoral Students
- 2010/10 - MEXT Scholarship for Master Students
- 2010/03 - Faculty of Engineering, Kasetsart University, Thailand Bachelor of Engineering (Computer Engineering) Graduation with First Class Honors
Return to Previous Page