Diagnosability analysis of a class of hierarchical state machines (Q732254): Difference between revisions

@@ Property / cites work @@
+Diagnosis of asynchronous discrete-event systems: a net unfolding approach
+Normal rank
@@ Property / cites work @@
+Control of discrete event systems modeled as hierarchical state machines
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosing discrete-event systems: Extending the ``diagnoser approach'' to deal with telecommunication networks
+Normal rank
@@ Property / cites work @@
+Coordinated decentralized protocols for failure diagnosis of discrete event systems
+Normal rank
@@ Property / cites work @@
+Model-based detection of routing events in discrete flow networks
+Normal rank
@@ Property / cites work @@
+Probabilistic detection of FSM single state-transition faults based on state occupancy measurements
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+State observation and diagnosis of discrete-event systems described by stochastic automata
+Normal rank
@@ Property / cites work @@
+Template languages for fault monitoring of timed discrete event processes
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Active diagnosis of discrete-event systems
@@ Property / cites work: Active diagnosis of discrete-event systems / rank @@
+Normal rank