研究キーワード (6件):
Urban Air Mobility (UAM)
, discrete event system
, control theory
, automata theory
, game theory
, Supervisory control
論文 (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
Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida. A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout. 2019