Optimal constructions for active diagnosis

作者：

Highlights：

• We study active diagnosis, where a controller manipulates a system to detect faults.

• Our synthesis procedures are shown to be optimal w.r.t. computational complexity.

• The synthesized controllers are optimal w.r.t. their memory requirements.

• Parametrized controller provides tradeoff between detection delay and permissiveness.

摘要

•We study active diagnosis, where a controller manipulates a system to detect faults.•Our synthesis procedures are shown to be optimal w.r.t. computational complexity.•The synthesized controllers are optimal w.r.t. their memory requirements.•Parametrized controller provides tradeoff between detection delay and permissiveness.

论文关键词：Partial observation,Diagnosis,Game and automata theory,Controller synthesis

论文评审过程：Received 12 November 2014, Revised 7 January 2016, Accepted 25 April 2016, Available online 27 June 2016, Version of Record 15 September 2016.

论文官网地址：https://doi.org/10.1016/j.jcss.2016.04.007