Logical models of discrete even systems: a comparative exposition (Q5955794): Difference between revisions

@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+On observability with delay: antitheses and syntheses
+Normal rank
@@ Property / cites work @@
+A nondeterministic extension over finitely recursive process model
+Normal rank
@@ Property / cites work @@
+Boundedness analysis of finitely recursive processes. I. Concurrent processes
+Normal rank
@@ Property / cites work @@
+Formulas for calculating supremal controllable and normal sublanguages
+Normal rank
@@ Property / cites work @@
+Stabilization of discrete-event processes
@@ Property / cites work: Stabilization of discrete-event processes / rank @@
+Normal rank
@@ Property / cites work @@
+Control of discrete event systems modeled as hierarchical state machines
+Normal rank
@@ Property / cites work @@
+Deadlock analysis in networks of communicating processes
+Normal rank
@@ Property / cites work @@
+Deadlock absence proofs for networks of communicating processes
+Normal rank
@@ Property / cites work @@
+On nonconflicting languages that arise in supervisory control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Limited lookahead policies in supervisory control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Undecidability results for deterministic communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event processes with partial observations
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Petri nets for modeling of dynamic systems -- a survey
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of feedback control logic for a class of controlled Petri nets
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely recursive process models for discrete event systems
+Normal rank
@@ Property / cites work @@
+Decidability for a temporal logic used in discrete-event system analysis
+Normal rank
@@ Property / cites work @@
+Fully decentralized solutions of supervisory control problems
+Normal rank
@@ Property / cites work @@
+On controllability and normality of discrete event dynamical systems
+Normal rank
@@ Property / cites work @@
+Language Stability and Stabilizability of Discrete Event Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Predicates and predicate transformers for supervisory control of discrete event dynamical systems
+Normal rank
@@ Property / cites work @@
+Finite buffer realization of input-output discrete-event systems
+Normal rank
@@ Property / cites work @@
+The infimal closed controllable superlanguage and its application in supervisory control
+Normal rank
@@ Property / cites work @@
+Equivalence preserving transformations for timed transition models
+Normal rank
@@ Property / cites work @@
+Control of large scale discrete event systems: task allocation and coordination
+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 @@
+Decentralized supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Decentralized control and coordination of discrete-event systems with partial observation
+Normal rank
@@ Property / cites work @@
+A framework for real-time discrete event control
@@ Property / cites work: A framework for real-time discrete event control / rank @@
+Normal rank
@@ Property / cites work @@
+Observability of discrete event dynamic systems
@@ Property / cites work: Observability of discrete event dynamic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Output stabilizability of discrete-event dynamic systems
+Normal rank
@@ Property / cites work @@
+Invertibility of discrete-event dynamic systems
@@ Property / cites work: Invertibility of discrete-event dynamic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Tracking and Restrictability in Discrete Event Dynamic Systems
+Normal rank
@@ Property / cites work @@
+Aggregation and multi-level control in discrete event dynamic systems
+Normal rank
@@ Property / cites work @@
+Stability and stabilizability of discrete event dynamic systems
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Modular Feedback Logic for Discrete Event Systems
@@ Property / cites work: Modular Feedback Logic for Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of decentralized discrete-event control problems
+Normal rank
@@ Property / cites work @@
+The infimal prefix-closed and observable superlanguage of a given language
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Static-state feedback control of discrete-event systems under partial observation
+Normal rank
@@ Property / cites work @@
+Control problems in a temporal logic framework
@@ Property / cites work: Control problems in a temporal logic framework / rank @@
+Normal rank
@@ Property / cites work @@
+On the control of discrete-event dynamical systems
+Normal rank
@@ Property / cites work @@
+Feedback logic for discrete event systems with arbitrary control patterns
+Normal rank
@@ Property / cites work @@
+Supervisory control of concurrent discrete-event systems
+Normal rank
@@ Property / cites work @@
+Modular supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
+Normal rank
@@ Property / cites work @@
+On the consistency of hierarchical supervision in discrete-event systems
+Normal rank
@@ Property / cites work @@
+Petri net synthesis and analysis of a flexible manufacturing system cell
+Normal rank