Active fault tolerant control of discrete event systems using online diagnostics

摘要: The aim of this paper is to deal with the problem fault tolerant control in framework discrete event systems modeled as automata. A controller a able satisfy specifications both nominal operation and after occurrence fault. This task solved by means parameterized that suitably updated on basis information provided online diagnostics: supervisor actively reacts detection malfunctioning component order eventually meet degraded specifications. Starting from an appropriate model system, we recall notion safe diagnosability necessary step achieve control. We then introduce two new notions: (i) ''safe controllability'', which represents capability, fault, steering system away forbidden zones (ii) ''active system'', property safely continuing faults. Finally, show how can be using general architecture based use special kind diagnoser, called ''diagnosing controller'', used detect faults switch between policy bank reconfigured policies. simple example illustrate notions introduced paper.