Abstract
This chapter focuses on the discrete event-based transitions of a Hybrid System (HS), that is, it does not deal with the faults inside states, instead it takes into account the faults between states. Hence, the considered model is actually a Discrete-Event System (DES), say the DES underlying the HS, according to which a (type of) fault is one of the discrete events, usually an unobservable one, and a system can be affected by several types of faults. Diagnosability is the property that a DES exhibits if every fault can be detected and isolated within a finite number of (observable) events that have taken place after its occurrence. In the literature, diagnosability of DESs relies on the availability of a certain observation, which equals the sequence of observable events that have taken place in the DES. But can diagnosability be achieved even if the observation is uncertain? This chapter provides an answer to this question when the observation is temporally and/or logically uncertain, that is, when the order of the observed events and/or their (discrete) values are partially unknown. The original notion of compound observable event enables a smooth extension of both the definition of DES diagnosability in the literature and the twin plant method to check such a property. The intuition is to deal with a compound observable event the same way as with a single event. In case a DES is diagnosable even if its observation is uncertain, the diagnosis task can be performed (without any loss in the ability to identify every fault) although the available measuring equipment cannot get a certain observation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Notice that the fact that L is assumed to be live does not imply that obs(L) is live. However, following the diagnoser approach [21], we also assume that obs(L) is live.
References
P. Baroni, G. Lamperti, P. Pogliano, M. Zanella, Diagnosis of large active systems. Artif. Intell. 110(1), 135–183 (1999)
A. Bauer, A. Botea, A. Grastien, P. Haslum, J. Rintanen, Alarm processing with model-based diagnosis of discrete event systems, in AI for an Intelligent Planet (AIIP-11) (2011), pp. 2:1–2:8
M. Bayoudh, L. Travé-Massuyès, Diagnosability analysis of hybrid systems cast in a discrete-event framework. J. Discrete Event Dyn. Syst. 24(3), 309–338 (2014)
C. Cassandras, S. Lafortune, Introduction to Discrete Event Systems, 2nd edn. (Springer, New York, 2008)
A. Cimatti, C. Pecheur, R. Cavada, Formal verification of diagnosability via symbolic model checking, in 18th International Joint Conference on Artificial Intelligence (IJCAI-03) (2003), pp. 363–369
O. Contant, S. Lafortune, D. Teneketzis, Diagnosability of discrete event systems with modular structure. J. Discrete Event Dyn. Syst. 16, 9–37 (2006)
A. Grastien, M.O. Cordier, C. Largouët, Extending decentralized discrete-event modelling to diagnose reconfigurable systems, in 15th International Workshop on Principles of Diagnosis (DX-04) (2004)
A. Grastien, A. Anbulagan, J. Rintanen, E. Kelareva, Diagnosis of discrete-event systems using satisfiability algorithms, in 22nd Conference on Artificial Intelligence (AAAI-07) (2007), pp. 305–310
A. Grastien, P. Haslum, S. Thiébaux, Conflict-based diagnosis of discrete event systems: theory and practice, in 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR-12) (2012)
A. Grastien, L. Travé-Massuyès, V. Puig, Solving diagnosability of hybrid systems via abstraction and discrete event techniques, in 20th World Congress of the International Federation of Automatic Control (WC-17) (2017), pp. 5174–5179
T.A. Henzinger, The theory of hybrid automata, in Verification of Digital and Hybrid Systems, ed. by M.K. Inan, R.P. Kurshan. NATO ASI Series (Series F: Computer and Systems Sciences), vol. 170 (Springer, Berlin, 2000), pp. 265–292
T. Jéron, H. Marchand, S. Pinchinat, M.O. Cordier, Supervision patterns in discrete-event systems diagnosis, in 17th International Workshop on Principles of Diagnosis (DX-06) (2006), pp. 117–124
S. Jiang, Z. Huang, V. Chandra, R. Kumar, A polynomial algorithm for testing diagnosability of discrete event systems. IEEE Trans. Autom. Control 46(8), 1318–1321 (2001)
G. Lamperti, M. Zanella, Diagnosis of discrete-event systems from uncertain temporal observations. Artif. Intell. 137(1–2), 91–163 (2002)
G. Lamperti, M. Zanella, Diagnosis of Active Systems – Principles and Techniques. The Kluwer International Series in Engineering and Computer Science, vol. 741 (Kluwer Academic Publishers, Dordrecht, 2003)
G. Lamperti, M. Zanella, On processing temporal observations in monitoring of discrete-event systems, in Enterprise Information Systems VIII, ed. by Y. Manolopoulos, J. Filipe, P. Constantopoulos, J. Cordeiro. Lecture Notes in Business Information Processing, vol. 3 (Springer, Berlin, 2008), pp. 135–146
G. Lamperti, M. Zanella, Diagnosis of active systems by lazy techniques, in 12th International Conference on Enterprise Information Systems (ICEIS-10), Funchal, Madeira (2010), pp. 171–180
G. Lamperti, M. Zanella, Monitoring of active systems with stratified uncertain observations. IEEE Trans. Syst. Man Cybern. Part A Syst. Humans 41(2), 356–369 (2011)
Y. Pencolé, M.O. Cordier, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif. Intell. 164(1–2), 121–170 (2005)
B. Pulido, C. Alonso González, Possible conflicts: a compilation technique for consistency-based diagnosis. IEEE Trans. Syst. Man Cybern. Part B Cybern. 34(5), 2192–2206 (2004)
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D. Teneketzis, Diagnosability of discrete-event systems. IEEE Trans. Autom. Control 40(9), 1555–1575 (1995)
A. Schumann, Y. Pencolé, S. Thiébaux, A spectrum of symbolic on-line diagnosis approaches, in 22nd Conference on Artificial Intelligence (AAAI-07) (2007), pp. 335–340
R. Sengupta, S. Tripakis, Decentralized diagnosability of regular languages is undecidable, in 43rd IEEE Conference on Decision and Control (2004), pp. 423–428
M. Staroswiecki, G. Comtet-Varga, Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems. Automatica 37(5), 687–699 (2001)
X. Su, A. Grastien, Verifying the precision of diagnostic algorithms, in 21st European Conference on Artificial Intelligence (2014), pp. 861–866
R. Su, W. Wonham, Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Trans. Autom. Control 50(12), 1923–1935 (2005)
X. Su, M. Zanella, A. Grastien, Diagnosability of discrete-event systems with uncertain observations, in 25th International Joint Conference on Artificial Intelligence (IJCAI-16) (2016), pp. 1265–1271
T. Yoo, S. Lafortune, Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans. Autom. Control 47(9), 1491–1495 (2002)
H. Zaatiti, L. Ye, P. Dague, J.P. Gallois, Counter example guided abstraction refinement for hybrid systems diagnosability analysis, in 28th International Workshop on Principles of Diagnosis (DX-17) (2017)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Grastien, A., Zanella, M. (2018). Diagnosability of Discrete Faults with Uncertain Observations. In: Sayed-Mouchaweh, M. (eds) Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-74962-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-74962-4_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74961-7
Online ISBN: 978-3-319-74962-4
eBook Packages: EngineeringEngineering (R0)