Verification complexity of a class of observational properties for modular discrete events systems (Q1679097): Difference between revisions

@@ 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.2017.06.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2730583255
@@ Property / OpenAlex ID: W2730583255 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Codiagnosability for Discrete Event and Timed Systems
+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 @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control Architecture for Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Predictability of event occurrences in partially-observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+On Tractable Instances of Modular Supervisory Control
+Normal rank
@@ Property / cites work @@
+Multi-level hierarchical interface-based supervisory control
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Supervisory control of modular systems with global specification languages
+Normal rank
@@ Property / cites work @@
+Hierarchical interface-based supervisory control-part II: parallel case
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+PSPACE-completeness of modular supervisory control problems
+Normal rank
@@ Property / cites work @@
+Deciding co-observability is pspace-complete
@@ Property / cites work: Deciding co-observability is pspace-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Infinite-Step Opacity and Complexity Considerations
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Detectability of Discrete Event Systems
@@ Property / cites work: Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of synthesizing a minimum-weighted supervisor under partial observation
+Normal rank
@@ Property / cites work @@
+On the control of discrete-event dynamical systems
+Normal rank
@@ Property / cites work @@
+On Codiagnosability and Coobservability With Dynamic Observations
+Normal rank
@@ Property / cites work @@
+Diagnosability Analysis of Discrete Event Systems with Autonomous Components
+Normal rank
@@ Property / cites work @@
+Codiagnosability and coobservability under dynamic observations: transformation and verification
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank