複雑なタスクの完了を保証するための時間論理ツリーとハミルトン・ヤコビ到達可能性の活用

時間論理ツリーとハミルトン・ヤコビ到達可能性分析を組み合わせることで、サイバーフィジカルシステムが指定されたタスクを確実に完了できるようにする。