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

研究者番号	50814795
その他のID
所属 (現在)	2025年度: 東京大学, 大学院工学系研究科(工学部), 特任研究員 2025年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員
所属 (過去の研究課題情報に基づく) *注記	2022年度 – 2023年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員 2021年度: 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員
審査区分/研究分野	研究代表者小区分21040:制御およびシステム工学関連研究代表者以外中区分60:情報科学、情報工学およびその関連分野
キーワード	研究代表者 temporal logic / robotics / motion planning / control theory / symbolic control 研究代表者以外 Discrete-event systems / Resource efficiency / Privacy awareness / Safe control / control systems … もっと見る / multi-agent systems / networked systems / resource efficiency / privacy awareness / safe control / discrete-event systems / Cyber-physical systems 隠す

Safe, Privacy-Aware, and Resource-Efficient Control Framework for Cyber-Physical Systems
- 研究代表者
  
  蔡凱
- 研究期間 (年度)
  2022 – 2025
- 研究種目
  
  国際共同研究加速基金(国際共同研究強化(B))
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  大阪公立大学
Sampling-guided symbolic control framework under changing environments研究代表者
- 研究代表者
  
  プルエクプラサートサシニー
- 研究期間 (年度)
  2021 – 2023
- 研究種目
  
  若手研究
- 審査区分
  
  小区分21040:制御およびシステム工学関連
- 研究機関
  国立研究開発法人産業技術総合研究所
   国立情報学研究所

すべて 2024 2022 2021

すべて雑誌論文学会発表

[雑誌論文] Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis2024
- 著者名/発表者名
  Pruekprasert Sasinee、Dubut Jeremy、Takisaka Toru、Eberhart Clovis、Cetinkaya Ahmet
- 雑誌名
  
  Automatica
  
  巻: 160 ページ: 111441-111441
- DOI
  10.1016/j.automatica.2023.111441
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22KK0155, KAKENHI-PROJECT-23K03913, KAKENHI-PROJECT-21K14191
[雑誌論文] Dynamic Shielding for Reinforcement Learning in Black-Box Environments2022
- 著者名/発表者名
  Waga Masaki、Castellano Ezequiel、Pruekprasert Sasinee、Klikovits Stefan、Takisaka Toru、Hasuo Ichiro
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 13505 ページ: 25-41
- DOI
  10.1007/978-3-031-19992-9_2
- ISBN
  9783031199912, 9783031199929
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K14191
[雑誌論文] Logic for Timed Agent Network Topologies2022
- 著者名/発表者名
  Eberhart Clovis、Haydon James、Dubut Jeremy、Cetinkaya Ahmet、Pruekprasert Sasinee
- 雑誌名
  
  Proceedings of the 61st Conference on Decision and Control (CDC)
  
  巻: - ページ: 2870-2877
- DOI
  10.1109/cdc51059.2022.9992550
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K14191
[雑誌論文] Local Opacity Verification for Distributed Discrete Event Systems2021
- 著者名/発表者名
  Pruekprasert Sasinee、Cai Kai
- 雑誌名
  
  2021 60th IEEE Conference on Decision and Control (CDC)
  
  巻: - ページ: 7022-7027
- DOI
  10.1109/cdc45484.2021.9683017
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K14191
[雑誌論文] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications2021
- 著者名/発表者名
  Pruekprasert Sasinee、Eberhart Clovis、Dubut Jeremy
- 雑誌名
  
  2021 60th IEEE Conference on Decision and Control (CDC)
  
  巻: なしページ: 1-8
- DOI
  10.1109/cdc45484.2021.9683328
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K20215, KAKENHI-PROJECT-21K14191
[学会発表] Dynamic Shielding for Reinforcement Learning in Black-Box Environments2022
- 著者名/発表者名
  Waga Masaki、Castellano Ezequiel、Pruekprasert Sasinee、Klikovits Stefan、Takisaka Toru、Hasuo Ichiro
- 学会等名
  Automated Technology for Verification and Analysis (ATVA 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K14191
[学会発表] Logic for Timed Agent Network Topologies2022
- 著者名/発表者名
  Eberhart Clovis、Haydon James、Dubut Jeremy、Cetinkaya Ahmet、Pruekprasert Sasinee
- 学会等名
  2022 IEEE 61st Conference on Decision and Control (CDC)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K14191
[学会発表] Local Opacity Verification for Distributed Discrete Event Systems2021
- 著者名/発表者名
  Pruekprasert Sasinee
- 学会等名
  2021 60th IEEE Conference on Decision and Control (CDC)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K14191
[学会発表] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications2021
- 著者名/発表者名
  Pruekprasert Sasinee
- 学会等名
  2021 60th IEEE Conference on Decision and Control (CDC)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K14191

1. 蔡凱 (20728266)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 河野佑 (40743034)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 橋本和宗 (60883361)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 永原正章 (90362582)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. DUBUT Jeremy

共同の研究課題数: 0件

共同の研究成果数: 1件

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

研究課題

研究成果

共同研究者

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

Sampling-guided symbolic control framework under changing environments研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis2024

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Dynamic Shielding for Reinforcement Learning in Black-Box Environments2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Logic for Timed Agent Network Topologies2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Local Opacity Verification for Distributed Discrete Event Systems2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications2021

著者名/発表者名

雑誌名

DOI

データソース

[学会発表] Dynamic Shielding for Reinforcement Learning in Black-Box Environments2022

著者名/発表者名

学会等名

データソース

[学会発表] Logic for Timed Agent Network Topologies2022

著者名/発表者名

学会等名

データソース

[学会発表] Local Opacity Verification for Distributed Discrete Event Systems2021

著者名/発表者名

学会等名

データソース

[学会発表] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications2021

著者名/発表者名

学会等名

データソース

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