PRUEKPRASERT SASINEE プルエクプラサートサシニー

… Alternative Names

Pruekprasert Sasinee プルエクプラサートサシニー

Less

Researcher Number	50814795
Other IDs
Affiliation (Current)	2025: 東京大学, 大学院工学系研究科(工学部), 特任研究員 2025: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員
Affiliation (based on the past Project Information) *help	2022 – 2023: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員 2021: 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員
Review Section/Research Field	Principal Investigator Basic Section 21040:Control and system engineering-related Except Principal Investigator Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords	Principal Investigator temporal logic / robotics / motion planning / control theory / symbolic control Except Principal Investigator Discrete-event systems / Resource efficiency / Privacy awareness / Safe control / control systems … More / multi-agent systems / networked systems / resource efficiency / privacy awareness / safe control / discrete-event systems / Cyber-physical systems Less

Safe, Privacy-Aware, and Resource-Efficient Control Framework for Cyber-Physical Systems
- Principal Investigator
  
  蔡凱
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Osaka Metropolitan University
Sampling-guided symbolic control framework under changing environmentsPrincipal Investigator
- Principal Investigator
  
  Pruekprasert Sasinee
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 21040:Control and system engineering-related
- Research Institution
  National Institute of Advanced Industrial Science and Technology
  National Institute of Informatics

All 2024 2022 2021

All Journal Article Presentation

[Journal Article] Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis2024
- Author(s)
  Pruekprasert Sasinee、Dubut Jeremy、Takisaka Toru、Eberhart Clovis、Cetinkaya Ahmet
- Journal Title
  
  Automatica
  
  Volume: 160 Pages: 111441-111441
- DOI
  10.1016/j.automatica.2023.111441
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22KK0155, KAKENHI-PROJECT-23K03913, KAKENHI-PROJECT-21K14191
[Journal Article] Dynamic Shielding for Reinforcement Learning in Black-Box Environments2022
- Author(s)
  Waga Masaki、Castellano Ezequiel、Pruekprasert Sasinee、Klikovits Stefan、Takisaka Toru、Hasuo Ichiro
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 13505 Pages: 25-41
- DOI
  10.1007/978-3-031-19992-9_2
- ISBN
  9783031199912, 9783031199929
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K14191
[Journal Article] Logic for Timed Agent Network Topologies2022
- Author(s)
  Eberhart Clovis、Haydon James、Dubut Jeremy、Cetinkaya Ahmet、Pruekprasert Sasinee
- Journal Title
  
  Proceedings of the 61st Conference on Decision and Control (CDC)
  
  Volume: - Pages: 2870-2877
- DOI
  10.1109/cdc51059.2022.9992550
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K14191
[Journal Article] Local Opacity Verification for Distributed Discrete Event Systems2021
- Author(s)
  Pruekprasert Sasinee、Cai Kai
- Journal Title
  
  2021 60th IEEE Conference on Decision and Control (CDC)
  
  Volume: - Pages: 7022-7027
- DOI
  10.1109/cdc45484.2021.9683017
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K14191
[Journal Article] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications2021
- Author(s)
  Pruekprasert Sasinee、Eberhart Clovis、Dubut Jeremy
- Journal Title
  
  2021 60th IEEE Conference on Decision and Control (CDC)
  
  Volume: なし Pages: 1-8
- DOI
  10.1109/cdc45484.2021.9683328
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20215, KAKENHI-PROJECT-21K14191
[Presentation] Dynamic Shielding for Reinforcement Learning in Black-Box Environments2022
- Author(s)
  Waga Masaki、Castellano Ezequiel、Pruekprasert Sasinee、Klikovits Stefan、Takisaka Toru、Hasuo Ichiro
- Organizer
  Automated Technology for Verification and Analysis (ATVA 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K14191
[Presentation] Logic for Timed Agent Network Topologies2022
- Author(s)
  Eberhart Clovis、Haydon James、Dubut Jeremy、Cetinkaya Ahmet、Pruekprasert Sasinee
- Organizer
  2022 IEEE 61st Conference on Decision and Control (CDC)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K14191
[Presentation] Local Opacity Verification for Distributed Discrete Event Systems2021
- Author(s)
  Pruekprasert Sasinee
- Organizer
  2021 60th IEEE Conference on Decision and Control (CDC)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K14191
[Presentation] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications2021
- Author(s)
  Pruekprasert Sasinee
- Organizer
  2021 60th IEEE Conference on Decision and Control (CDC)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K14191

1. 蔡凱 (20728266)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 河野佑 (40743034)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 橋本和宗 (60883361)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 永原正章 (90362582)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. DUBUT Jeremy

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

PRUEKPRASERT SASINEE プルエクプラサート サシニー

Pruekprasert Sasinee プルエクプラサート サシニー

Research Projects

Research Products

Co-Researchers

Safe, Privacy-Aware, and Resource-Efficient Control Framework for Cyber-Physical Systems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Sampling-guided symbolic control framework under changing environmentsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Dynamic Shielding for Reinforcement Learning in Black-Box Environments2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Logic for Timed Agent Network Topologies2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Local Opacity Verification for Distributed Discrete Event Systems2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications2021

Author(s)

Journal Title

DOI

Data Source

[Presentation] Dynamic Shielding for Reinforcement Learning in Black-Box Environments2022

Author(s)

Organizer

Data Source

[Presentation] Logic for Timed Agent Network Topologies2022

Author(s)

Organizer

Data Source

[Presentation] Local Opacity Verification for Distributed Discrete Event Systems2021

Author(s)

Organizer

Data Source

[Presentation] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications2021

Author(s)

Organizer

Data Source

PRUEKPRASERT SASINEE プルエクプラサートサシニー

Pruekprasert Sasinee プルエクプラサートサシニー