Diagnosability of hybrid automata with measurement uncertainty

— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by discrete symbols and by the delay between the generation of two symbols. The first parameter specifies that if a trajectory (state execution) has visited the faulty set, this can be detected only using the external trajectory (observable output) within a delay upper-bounded by δd. The second parameter specifies the available precision δm when measuring time delays of the trajectory. Given an approximate abstraction T1 of a system T2 with precision ε, we derive a relation between diagnosability properties of T1 and T2 with respect to the parameters δd, δm, ε. We apply our results to an electromagnetic valve system for cam-less engines.

• Type: Conference
• Year: 2008
• Where: CDC
• Authors: Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
• Keywords: CDC 2008, Control Systems, Observable Output, Parameter Specifies, Parameters