Abstract
Model-based diagnosis was first proposed for static systems, where the values of the input and output variables are given at a single time point and the root cause of an observed misbehavior is a set of faults. This set-oriented perspective of the diagnosis results was later adopted also for dynamical systems, although it fits neither the temporal nature of their observations, which are gathered over a time interval, nor the temporal evolution of their behavior. This conceptual mismatch is bound to make diagnosis of discrete-event systems (DESs) poor in explainability. Embedding the reciprocal temporal ordering of faults in diagnosis results may be essential for critical decision-making. To favor explainability, the notions of temporal fault, explanation, and explainer are introduced in diagnosis during monitoring of DESs. To achieve explanatory monitoring, a technique is described, which progressively refines the diagnosis results produced already.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A regular expression is defined inductively over an alphabet \(\varSigma \) as follows. The empty symbol \({\varepsilon }\) is a regular expression. If \(a \in \varSigma \), then a is a regular expression. If x and y are regular expressions, then the followings are regular expressions: (x) (parentheses may be used), \(x {\; | \;}y\) (alternative), xy (concatenation), x? (optionality), \(x^*\) (repetition zero or more times), and \(x^+\) (repetition one or more times). When parentheses are missing, the concatenation has precedence over the alternative, while optionality and repetition have highest precedence; for example, \(a b^*{\; | \;}cd?\) denotes \((a (b)^*) {\; | \;}c(d)?\).
References
Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of large active systems. Artif. Intell. 110(1), 135–183 (1999). https://doi.org/10.1016/S0004-3702(99)00019-3
Basile, F.: Overview of fault diagnosis methods based on Petri net models. In: Proceedings of the 2014 European Control Conference, ECC 2014, pp. 2636–2642 (2014). https://doi.org/10.1109/ECC.2014.6862631
Bertoglio, N., Lamperti, G., Zanella, M.: Temporal diagnosis of discrete-event systems with dual knowledge compilation. In: Holzinger, A., Kieseberg, P., Weippl, E., Tjoa, A.M. (eds.) Machine Learning and Knowledge Extraction, Lecture Notes in Computer Science, vol. 11713, pp. 333–352. Springer, Berlin (2019). https://doi.org/10.1007/978-3-030-29726-8_21
Bertoglio, N., Lamperti, G., Zanella, M.: Intelligent diagnosis of discrete-event systems with preprocessing of critical scenarios. In: Czarnowski, I., Howlett, R., Jain, L. (eds.) Intelligent Decision Technologies 2019, Smart Innovation, Systems and Technologies, vol. 142, pp. 109–121. Springer, Singapore (2020). https://doi.org/10.1007/978-981-13-8311-3_10
Bertoglio, N., Lamperti, G., Zanella, M., Zhao, X.: Twin-engined diagnosis of discrete-event systems. Eng. Reports 1, 1–20 (2019). https://doi.org/10.1002/eng2.12060
Bertoglio, N., Lamperti, G., Zanella, M., Zhao, X.: Escaping diagnosability and entering uncertainty in temporal diagnosis of discrete-event systems. In: Bi, Y., Bhatia, R., Kapoor, S. (eds.) Intelligent Systems and Applications, Advances in Intelligent Systems and Computing, vol. 1038, pp. 835–852. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-29513-4_62
Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983). https://doi.org/10.1145/322374.322380
Brzozowski, J., McCluskey, E.: Signal flow graph techniques for sequential circuit state diagrams. IEEE Trans. Electron. Comput. EC-12(2), 67–76 (1963)
Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008)
Cong, X., Fanti, M., Mangini, A., Li, Z.: Decentralized diagnosis by Petri nets and integer linear programming. IEEE Trans. Syst. Man Cybern.: Syst. 48(10), 1689–1700 (2018)
Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann, San Mateo, CA (1992)
Jéron, T., Marchand, H., Pinchinat, S., Cordier, M.: Supervision patterns in discrete event systems diagnosis. In: Workshop on Discrete Event Systems (WODES 2006), pp. 262–268. IEEE Computer Society, Ann Arbor, MI (2006)
Lamperti, G., Zanella, M.: Diagnosis of discrete-event systems from uncertain temporal observations. Artif. Intell. 137(1–2), 91–163 (2002). https://doi.org/10.1016/S0004-3702(02)00123-6
Lamperti, G., Zanella, M.: Context-sensitive diagnosis of discrete-event systems. In: Walsh, T. (ed.) Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), vol. 2, pp. 969–975. AAAI Press, Barcelona, Spain (2011)
Lamperti, G., Zanella, M., Zhao, X.: Introduction to Diagnosis of Active Systems. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92733-6
Lamperti, G., Zhao, X.: Diagnosis of active systems by semantic patterns. IEEE Trans. Syst. Man Cybern.: Syst. 44(8), 1028–1043 (2014). https://doi.org/10.1109/TSMC.2013.2296277
McIlraith, S.: Explanatory diagnosis: conjecturing actions to explain observations. In: Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 167–177. Morgan Kaufmann, S. Francisco, CA, Trento, I (1998)
Pencolé, Y., Steinbauer, G., Mühlbacher, C., Travé-Massuyès, L.: Diagnosing discrete event systems using nominal models only. In: 28th International Workshop on Principles of Diagnosis (DX 2017), pp. 169–183. Brescia, Italy (2017)
Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. Autom. Control 40(9), 1555–1575 (1995)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. Technol. 4(2), 105–124 (1996)
Acknowledgements
This work was supported in part by Regione Lombardia (project Smart4CPPS, Linea Accordi per Ricerca, Sviluppo e Innovazione, POR-FESR 2014–2020 Asse I) and by the National Natural Science Foundation of China (grant number 61972360).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Bertoglio, N., Lamperti, G., Zanella, M., Zhao, X. (2020). Explanatory Monitoring of Discrete-Event Systems. In: Czarnowski, I., Howlett, R., Jain, L. (eds) Intelligent Decision Technologies. IDT 2020. Smart Innovation, Systems and Technologies, vol 193. Springer, Singapore. https://doi.org/10.1007/978-981-15-5925-9_6
Download citation
DOI: https://doi.org/10.1007/978-981-15-5925-9_6
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-15-5924-2
Online ISBN: 978-981-15-5925-9
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)