Computation of minimal diagnosis bases of discrete-event systems using verifiers (Q510094): Difference between revisions

@@ Property / author @@
-Marcos Vicente Moreira
@@ Property / author: Marcos Vicente Moreira / rank @@
-Normal rank
@@ Property / author @@
-João Carlos Basilio
@@ Property / author: João Carlos Basilio / rank @@
-Normal rank
@@ Property / author @@
+Marcos Vicente Moreira
@@ Property / author: Marcos Vicente Moreira / rank @@
+Normal rank
@@ Property / author @@
+João Carlos Basilio
@@ Property / author: João Carlos Basilio / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2016.11.026
+Normal rank
@@ Property / OpenAlex ID @@
+W2573493234
@@ Property / OpenAlex ID: W2573493234 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of minimal event bases that ensure diagnosability
+Normal rank
@@ Property / cites work @@
+A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
+Normal rank
@@ Property / cites work @@
+Optimal sensor selection for ensuring diagnosability in labeled Petri nets
+Normal rank
@@ Property / cites work @@
+A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
+Normal rank
@@ Property / cites work @@
+Robust diagnosis of discrete-event systems against permanent loss of observations
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602752
@@ Property / cites work: Q3602752 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete event systems with modular structure
+Normal rank
@@ Property / cites work @@
+Q3619846
@@ Property / cites work: Q3619846 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordinated decentralized protocols for failure diagnosis of discrete event systems
+Normal rank
@@ Property / cites work @@
+On an optimization problem in sensor selection
@@ Property / cites work: On an optimization problem in sensor selection / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Optimal sensor selection for discrete-event systems with partial observation
+Normal rank
@@ Property / cites work @@
+Finding All the Elementary Circuits of a Directed Graph
+Normal rank
@@ Property / cites work @@
+“Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal
+Normal rank
@@ Property / cites work @@
+Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Active diagnosis of discrete-event systems
@@ Property / cites work: Active diagnosis of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Fault diagnosis in discrete-event systems: Framework and model reduction
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:510094