Search results for " Fault detection"
showing 3 items of 13 documents
Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent
2022
Wireless Sensor Networks (WSNs) represent a key component in emerging distributed computing paradigms such as IoT, Ambient Intelligence, and Smart Cities. In these contexts, the difficulty of testing, verifying, and monitoring applications in their intended scenarios ranges from challenging to impractical. Current simulators can only be used to investigate correctness at source code level and with limited accuracy. This paper proposes a system and a methodology to model and verify symbolic distributed applications running on WSNs. The approach allows to complement the distributed application code at a high level of abstraction in order to test and reprogram it, directly, on deployed network…
Mixed l-/l1 fault detection observer design for positive switched systems with time-varying delay via delta operator approach
2014
Published version of an article in the journal: International Journal of Control, Automation and Systems. Also available from the publisher at: http://dx.doi.org/10.1007/s12555-013-0466-1 This paper investigates the problem of fault detection observer design for positive switched systems with time-varying delay via delta operator approach. A new fault sensitivity measure, called l-index, is proposed. The l- fault detection observer design and multi-objective l -/l1 fault detection observer design problems are addressed. Based on the average dwell time approach and the piecewise copositive type Lyapunov-Krasovskii functional method in delta domain, sufficient conditions for the existence of …