16 citations · 40 across the 20 of their papers we have counts for
6 papers · 1 filter
Moment Propagation of Polynomial Systems Through Carleman Linearization for Probabilistic Safety Analysis
Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka +2
We develop a method to approximate the moments of a discrete-time stochastic polynomial system. Our method is built upon Carleman linearization with truncation. Specifically, we ta…
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
We extend previous work on symbolic self-triggered control for non-deterministic continuous-time nonlinear systems without stability assumptions to a larger class of specifications…
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
We propose a symbolic self-triggered controller synthesis procedure for non-deterministic continuous-time nonlinear systems without stability assumptions. The goal is to compute a…
Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization
Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart +2
We propose a method to compute an approximation of the moments of a discrete-time stochastic polynomial system. We use the Carleman linearization technique to transform this finite…
Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles
Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut +2
In this paper, we investigate the decision making of autonomous vehicles in an unsignalized intersection in presence of malicious vehicles, which are vehicles that do not respect t…
A Game-Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout
Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang +2
In this paper, we study the decision making of multiple autonomous vehicles at a roundabout. The behaviours of the vehicles depend on their aggressiveness, which indicates how much…