Detectability of labeled weighted automata over monoids (Q2081085): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-022-00362-8
@@ Property / DOI: 10.1007/s10626-022-00362-8 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3108600299
@@ Property / OpenAlex ID: W3108600299 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of Universality for Timed Automata with Minimal Resources
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Yen’s Path Logic for Petri Nets
@@ Property / cites work: On Yen’s Path Logic for Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Determinization of transducers over finite and infinite words.
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Classical and Logic-Based Dynamic Observers for Finite Automata
+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 @@
+The Complexity of Codiagnosability for Discrete Event and Timed Systems
+Normal rank
@@ Property / cites work @@
+Degree of Sequentiality of Weighted Automata
@@ Property / cites work: Degree of Sequentiality of Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708466
@@ Property / cites work: Q2708466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Observability of place/transition nets
@@ Property / cites work: Observability of place/transition nets / rank @@
+Normal rank
@@ Property / cites work @@
+Subclasses of Presburger arithmetic and the polynomial-time hierarchy
+Normal rank
@@ Property / cites work @@
+Estimation and Inference in Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Mathematical Description of Linear Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Verification of detectability in probabilistic finite automata
+Normal rank
@@ Property / cites work @@
+Verification of C-detectability using Petri nets
@@ Property / cites work: Verification of C-detectability using Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+State estimation of max-plus automata with unobservable events
+Normal rank
@@ Property / cites work @@
+Verification of Detectability for Unambiguous Weighted Automata
+Normal rank
@@ Property / cites work @@
+Observer Construction for Polynomially Ambiguous Max-Plus Automata
+Normal rank
@@ Property / cites work @@
+Observers for a Class of Timed Automata Based on Elapsed Time Graphs
+Normal rank
@@ Property / cites work @@
+Complexity of deciding detectability in 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 @@
+The Exact Path Length Problem
@@ Property / cites work: The Exact Path Length Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418006
@@ Property / cites work: Q4418006 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of integer programming
@@ Property / cites work: On the complexity of integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / 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 @@
+Detectability of Discrete Event Systems
@@ Property / cites work: Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized detectability for discrete event systems
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ Property / cites work @@
+Fault Diagnosis for Timed Automata
@@ Property / cites work: Fault Diagnosis for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event systems
@@ Property / cites work: Supervisory control of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+A unified approach for deciding the existence of certain petri net paths
+Normal rank
@@ Property / cites work @@
+Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
+Normal rank
@@ Property / cites work @@
+A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks
+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 @@
+On detectability of labeled Petri nets and finite automata
+Normal rank
@@ Property / cites work @@
+Discrete-Time and Discrete-Space Dynamical Systems
+Normal rank
@@ Property / cites work @@
+A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
+Normal rank
@@ Property / DOI @@
+.1007/S10626-022-00362-8
@@ Property / DOI: 10.1007/S10626-022-00362-8 / rank @@
+Normal rank