16 citations · 34 across the 15 of their papers we have counts for
15 papers
ETA Coordination at UAM Corridor Merging Points Using Worst-Case and Stochastic Trajectory Bounds
Sasinee Pruekprasert, Shinji Nakadai, Katsuhiro Nishinari
We study an Estimated Time of Arrival (ETA)-based traffic-coordination framework for Urban Air Mobility corridors with merging at constrained waypoints (CWPs), where approved ETAs…
Safe Arrival Scheduling at Constraint Waypoints in UAM Corridors
Sasinee Pruekprasert, Shinji Nakadai
This study introduces a novel Air Traffic Control (ATC) concept to support self-separation between vehicles in Urban Air Mobility (UAM) corridors. Our proposed scheme involves shar…
From Visual to Digital: Coordination Scheduling and Its Effect on Safety and Efficiency in UAM Corridors
Akihiro Fujita, Sasinee Pruekprasert, Katsuhiro Nishinari +1
This paper explores scalable coordination strategies for urban air mobility (UAM) corridors by comparing two representative approaches. The first, inspired by visual flight rules (…
Safety-Assured Arrival Scheduling in Sequential UAM Corridor Sections under Speed and Separation Constraints
Sasinee Pruekprasert, Shinji Nakadai, Katsuhiro Nishinari
This paper presents a safety-assured arrival-scheduling framework for Urban Air Mobility (UAM) corridor operations. We propose an analytical method to compute a sufficient ETA gap…
AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)
Sasinee Pruekprasert, Clovis Eberhart
A key challenge in abstraction-based verification and control under complex specifications such as Linear Temporal Logic (LTL) is that abstract models retain significantly less inf…
Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo
Stochastic games are fundamental in various applications, including the control of cyber-physical systems (CPS), where both controller and environment are modeled as players. Tradi…
Dynamic Shielding for Reinforcement Learning in Black-Box Environments
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert +3
It is challenging to use reinforcement learning (RL) in cyber-physical systems due to the lack of safety guarantees during learning. Although there have been various proposals to r…
Goal-Aware RSS for Complex Scenarios via Program Logic
Ichiro Hasuo, Clovis Eberhart, James Haydon +12
We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS r…
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…
Local Opacity Verification for Distributed Discrete Event Systems
Sasinee Pruekprasert, Kai Cai
This paper studies current-state opacity and initial-state opacity verification of distributed discrete event systems. The distributed system's global model is the parallel composi…
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…