Masaki Waga 研究室

主宰者：Masaki Waga
京都大学

AI 要約（直近 5 年の研究成果）

この研究室は、制御やシステムの安全性を検証・監視する手法の開発に取り組んでいます。特に、自動運転車などの組み込みシステムや、内部の設計が未知のブラックボックス的なシステムに焦点を当てています。従来の検証手法では完全なモデルが必要でしたが、与えられた仕様に基づいて段階的に未知のシステムの動作を学習し、危険な振る舞いを検出する黒箱検査法を発展させています。さらに、確率的な振る舞いを持つシステムにも対応を広げています。 手法としては、信号時相論理（仕様をより簡潔に記述するための形式言語）を用いて要求条件を定式化し、最適化技術や機械学習の一種であるオートマタ学習を組み合わせた検証アルゴリズムを開発しています。また、サイバーフィジカルシステムの時系列データから非線形なシステム構造を自動で学習する研究や、暗号化されたデータ上での直接的な監視方法の研究も進めています。さらに、時間要因を含めた複数の実行経路を同時に推論する拡張論理（ハイパープロパティ）を提案し、システムの強靭性や非干渉特性などの高度な安全性要件の検証にも対応させています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（17 件）

続きを表示（残り 7 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。