Diagnosis of Deep Discrete-Event Systems
Authors: Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
JAIR 2020 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | Surprisingly, experimental results indicate that the hierarchical complexity of the system translates into a decreased computational complexity of the diagnosis task. Hence, the diagnosis technique is shown to be (formally) correct as well as (empirically) efficient. |
| Researcher Affiliation | Academia | Gianfranco Lamperti EMAIL Marina Zanella EMAIL Department of Information Engineering, University of Brescia Via Branze 38, 25123 Brescia, Italy Xiangfu Zhao EMAIL School of Computer and Control Engineering, Yantai University 30, Qingquan RD, Laishan District, Yantai 264005, China |
| Pseudocode | No | The paper provides formal definitions and describes procedures in narrative text and mathematical notation, but it does not contain a clearly labeled pseudocode block or algorithm section. |
| Open Source Code | No | Diagnosis of DDESs has been prototyped in C++ under Linux Ubuntu 15.10, on a notebook with an Intel Core i5 CPU (2.40GHz) and 4GB of RAM, using a single thread. The diagnosis framework includes a compiler for offline preprocessing and an online diagnosis engine. A language was designed to specify DDESs in terms of ACs, AUs, and emerging events, as well as diagnosis problems in terms of viewer, observation, and ruler. The simulated systems have been generated semi-automatically based on a given template. The diagnosis engine can run in either greedy or lazy mode, thereby enabling the comparison of the performances of the two techniques. [...] The implementation and experimentation have been conducted in a master thesis work at the University of Brescia. The paper mentions that a prototype was implemented but does not state that the code is open-source or provide a link to a repository. |
| Open Datasets | No | Each DDES adopted for the experiments represents a power transmission system consisting of several contiguous protected lines. The schema of a protected line is a variant of that outlined in Figure 10; in this variant, the protection apparatus at either end of the line includes two breakers and (only) one sensor, the same as in the paper by Lamperti and Zhao (2013a). ... The simulated systems have been generated semi-automatically based on a given template. The paper describes the generation of simulated systems for experiments, but does not refer to any publicly available dataset nor provides access information for the simulated data. |
| Dataset Splits | No | The paper describes the synthetic generation of |
| Hardware Specification | Yes | Diagnosis of DDESs has been prototyped in C++ under Linux Ubuntu 15.10, on a notebook with an Intel Core i5 CPU (2.40GHz) and 4GB of RAM, using a single thread. |
| Software Dependencies | No | Diagnosis of DDESs has been prototyped in C++ under Linux Ubuntu 15.10. The paper mentions the programming language (C++) and operating system (Linux Ubuntu 15.10) used but does not specify any libraries, frameworks, or solvers with version numbers. |
| Experiment Setup | No | The simulated systems have been generated semi-automatically based on a given template. The paper describes the general nature and scale of the simulated systems used for experimentation but lacks specific details such as hyperparameters, optimization algorithms, or detailed configurations of the diagnosis engine beyond its two modes (greedy and lazy). |