自律システムの動的認証
Dynamic Certification for Autonomous Systems
複雑で予測不能な実環境に展開される自律システムに対し、不確実性を考慮した新しい認証手法と数学的ツールの必要性を論じた論文。
著者: Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
分類: cs.RO, cs.LO, cs.MA, cs.SY, eess.SY
原文アブストラクト
Autonomous systems are often deployed in complex sociotechnical environments, such as public roads, where they must behave safely and securely. Unlike many traditionally engineered systems, autonomous systems are expected to behave predictably in varying "open world" environmental contexts that cannot be fully specified formally. As a result, assurance about autonomous systems requires us to develop new certification methods and mathematical tools that can bound the uncertainty engendered by these diverse deployment scenarios, rather than relying on static tools.
