A Formal Framework for the Specification, Verification and Synthesis of Diagnosers.
AAAIWS'13-17: Proceedings of the 17th AAAI Conference on Late-Breaking Developments in the Field of Artificial Intelligence(2013)
摘要
In this work we present a formal approach to the design of Fault Detection and Identification (FDI) components. We define a comprehensive language for the specification of FDI, and discuss how to check whether a given FDI component fulfills its specification. Then, we propose an automatic procedure to synthesize an FDI component that satisfies a given specification. The approach has been implemented and tested in realistic case studies from the aerospace domain.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要