3 citations · 3 across the 3 of their papers we have counts for
5 papers
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…
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…
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…