Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211): Difference between revisions

@@ Property / DOI @@
-.1016/j.automatica.2021.109490
@@ Property / DOI: 10.1016/j.automatica.2021.109490 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2021.109490
+Normal rank
@@ Property / OpenAlex ID @@
+W3127064320
@@ Property / OpenAlex ID: W3127064320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849576
@@ Property / cites work: Q2849576 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Performance evaluation of (max,+) automata
@@ Property / cites work: Performance evaluation of (max,+) automata / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and analysis of timed Petri nets using heaps of pieces
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Verification of detectability in probabilistic finite automata
+Normal rank
@@ Property / cites work @@
+A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
+Normal rank
@@ Property / cites work @@
+Determinization of timed Petri nets behaviors
@@ Property / cites work: Determinization of timed Petri nets behaviors / rank @@
+Normal rank
@@ Property / cites work @@
+Compositions of (max,+) automata
@@ Property / cites work: Compositions of (max,+) automata / rank @@
+Normal rank
@@ Property / cites work @@
+State estimation of max-plus automata with unobservable events
+Normal rank
@@ Property / cites work @@
+Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
+Normal rank
@@ Property / cites work @@
+Deciding detectability for labeled Petri nets
@@ Property / cites work: Deciding detectability for labeled Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of initial-state opacity in security applications of discrete event systems
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Detectability of networked discrete event systems
@@ Property / cites work: Detectability of networked discrete event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized detectability for discrete event systems
+Normal rank
@@ Property / cites work @@
+Delayed Detectability of Discrete Event Systems
@@ Property / cites work: Delayed Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Comparative analysis of related notions of opacity in centralized and coordinated architectures
+Normal rank
@@ Property / cites work @@
+Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
+Normal rank
@@ Property / cites work @@
+A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
+Normal rank
@@ Property / cites work @@
+Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
+Normal rank
@@ Property / cites work @@
+The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
+Normal rank
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2021.109490
@@ Property / DOI: 10.1016/J.AUTOMATICA.2021.109490 / rank @@
+Normal rank