Abstract
Knowledge compilation is no novelty in model-based diagnosis of discrete-event systems. The system is preprocessed in order to generate a data structure that allows for the efficient explanation of any symptom online, while the system is being operated. Unfortunately, this technique requires the diagnosability of the system. Even worse, it comes with a prohibitive cost in terms of computational complexity, owing to the explosion of the state space even for systems of moderate size, which makes the whole approach impractical for real applications. To overcome these two obstacles, a novel technique based on scenarios is proposed. Scenarios are compiled into a flexible data structure called an open dictionary, which allows for the efficient explanation of symptoms. The dictionary is open inasmuch as it can be expanded by new scenarios and symptoms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A combination of these two categories of modeling is represented by hybrid systems [17].
- 2.
In the worst case, the size of the behavior space is exponential with the number of components. For example, for 30 components with 5 states each, we have \(5^{30} \approx 10^{20}\) possible states.
- 3.
According to the Subset Construction determinization algorithm [5], each state of the DFA is identified by a subset of the states of the NFA. To shrink the DFA, each state of the DFA includes only the significant states of the NFA. A state is significant when it is either final or it is exited by a transition marked with t, where t is observable.
- 4.
A regular expression is defined inductively on the alphabet \(\varSigma \). 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 {\; | \;}y\) (alternative), \(x\,y\) (concatenation), x? (optionality), \(x^*\) (repetition zero or more times), and \(x^+\) (repetition one or more times).
- 5.
Each state of the DFA includes only the significant states of the NFA (cf. footnote 3).
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
Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of a class of distributed discrete-event systems. IEEE Trans. Syst., Man, Cybern.-Part A: Syst. Hum. 30(6), 731–752 (2000)
Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983). https://doi.org/10.1145/322374.322380
Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008)
Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley, Reading, MA (2006)
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., Quarenghi, G.: Intelligent monitoring of complex discrete-event systems. In: Czarnowski, I., Caballero, A., Howlett, R., Jain, L. (eds.) Intelligent Decision Technologies 2016, Smart Innovation, Systems and Technologies, vol. 56, pp. 215–229. Springer International Publishing Switzerland (2016). https://doi.org/10.1007/978-3-319-39630-9_18
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.: A bridged diagnostic method for the monitoring of polymorphic discrete-event systems. IEEE Trans. Syst., Man, Cybern.-Part B: Cybern. 34(5), 2222–2244 (2004)
Lamperti, G., Zanella, M.: Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. Artif. Intell. 170(3), 232–297 (2006). https://doi.org/10.1016/j.artint.2005.08.002
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.: Monitoring of active systems with stratified uncertain observations. IEEE Trans. Syst., Man, Cybern.-Part A: Syst. Hum. 41(2), 356–369 (2011). https://doi.org/10.1109/TSMCA.2010.2069096
Lamperti, G., Zanella, M., Zhao, X.: Abductive diagnosis of complex active systems with compiled knowledge. In: M. Thielscher, F. Toni, F. Wolter (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR2018), pp. 464–473. AAAI Press, Tempe, Arizona (2018)
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
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. Autom. Control. 40(9), 1555–1575 (1995)
Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer Publishing Company (Incorporated) (2009)
Wonham, W., Cai, K.: Supervisory Control of Discrete-Event Systems. Communications and Control Engineering. Springer, Cham (2019)
Acknowledgements
This work was supported by Regione Lombardia (Smart4CPPS, Linea Accordi per Ricerca, Sviluppo e Innovazione, POR-FESR 2014-2020 Asse I).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Bertoglio, N., Lamperti, G., Zanella, M. (2020). 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. Springer, Singapore. https://doi.org/10.1007/978-981-13-8311-3_10
Download citation
DOI: https://doi.org/10.1007/978-981-13-8311-3_10
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-8310-6
Online ISBN: 978-981-13-8311-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)