Alessandro Pinto
収録論文 6本 ・ フィジカルAI/ロボット学習
モデル検証/ペトリネット検証/安全性群制御
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 制約駆動によるハイパーペトリネットの合成モデル検証/ペトリネット2026/7/1
ロボットシステムの動作を論理制約に従ってモデル化するため、観測可能な状態と実行可能な遷移を区別するハイパーペトリネット合成手法を提案した。
- 状態不確かさ下における制御器のハミルトン・ヤコビ到達可能性解析によるロバスト検証検証/安全性2025/11/1
知覚不確かさを持つシステムに対し、制御器・観測関数・状態推定を連結して等価な閉ループ系とし、ハミルトン・ヤコビ到達可能性解析で安全性を形式的に検証する枠組みを提案した。
- 容量制約付きマルチエージェントシステムのための階層型制御の学習群制御2024/3/1
非線形で容量制約のある自律エージェント群を反復環境で管理するため、データ駆動型の階層型制御フレームワークを提案。上位の動的タスク割当・経路計画層と下位の運動計画・追従層をMPCで構成し、反復学習制御で両層を協調学習する。
- Assurance for Autonomy -- JPL's past research, lessons learned, and future directions2023/5/1
- An ROS-based Shared Communication Middleware for Plug & Play Modular Intelligent Design of Smart Systems2017/6/1
- Probabilistically Safe Vehicle Control in a Hostile Environment2011/3/1