Taylor T. Johnson
収録論文 6本 ・ フィジカルAI/ロボット学習
安全制御ビヘイビアツリー検証/ビヘイビアツリー
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 微分代数システムにおける制御バリア関数の検証と前方不変性安全制御2026/3/1
微分代数方程式（DAE）システムの安全性を保証するため、代数制約を考慮したDAE対応制御バリア関数を提案し、前方不変性の条件と検証手法を確立した。
- 状態を持つビヘイビアツリーの形式化ビヘイビアツリー2024/11/1
補助変数と共有メモリを持つ状態付きビヘイビアツリーを形式化し、計算能力を解析するとともに、DSLと検証ツールBehaVerifyを開発した。
- 偶発性モニタ付きビヘイビアツリーの検証検証/ビヘイビアツリー2024/11/1
ビヘイビアツリー(BT)向けのランタイムモニタを生成する新手法を提案し、LTL仕様に対応したモニタで望ましくない動作を検知・修正できるようにした。既存ツールと同等の実行速度を保ちつつ、モニタの差し替えが容易で、既存のBehaVerifyと連携して検証可能であることを示した。
- BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees2022/8/1
- An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles2022/5/1
- Safe and Stabilizing Distributed Multi-Path Cellular Flows2012/9/1