Supervisory control of discrete event systems (Q1922191): Difference between revisions

@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of a rapid thermal multiprocessor
+Normal rank
@@ Property / cites work @@
+Equivalence preserving transformations for timed transition models
+Normal rank
@@ Property / cites work @@
+Q4692776
@@ Property / cites work: Q4692776 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems under partial observation
+Normal rank
@@ Property / cites work @@
+Q4840936
@@ Property / cites work: Q4840936 / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of hierarchical supervision in discrete-event systems
+Normal rank
@@ Property / cites work @@
+A unified approach to control problems in discrete event processes
+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 @@
+Control of discrete event systems modeled as hierarchical state machines
+Normal rank
@@ Property / cites work @@
+Q4763572
@@ Property / cites work: Q4763572 / rank @@
+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 @@
+Predicates and predicate transformers for supervisory control of discrete event dynamical systems
+Normal rank
@@ Property / cites work @@
+Q3787458
@@ Property / cites work: Q3787458 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to supervisory control
@@ Property / cites work: An algebraic approach to supervisory control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4763559
@@ Property / cites work: Q4763559 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Stabilization of discrete-event processes
@@ Property / cites work: Stabilization of discrete-event processes / rank @@
+Normal rank
@@ Property / cites work @@
+A graph-theoretic optimal control problem for terminating discrete event processes
+Normal rank
@@ Property / cites work @@
+Optimal Supervisory Control of Discrete Event Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Formulas for calculating supremal controllable and normal sublanguages
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event processes with partial observations
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Supervisory control of concurrent discrete-event systems
+Normal rank
@@ Property / cites work @@
+Sharing out control in distributed processes
@@ Property / cites work: Sharing out control in distributed processes / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical control of discrete-event systems
@@ Property / cites work: Hierarchical control of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical control of timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+On supervisory control of real-time discrete-event systems
+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 @@
+On-line control of partially observed discrete event systems
+Normal rank
@@ Property / cites work @@
+Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
+Normal rank
@@ Property / cites work @@
+On supervisory control of sequential behaviors
@@ Property / cites work: On supervisory control of sequential behaviors / rank @@
+Normal rank
@@ Property / cites work @@
+Control of Infinite Behavior of Finite Automata
@@ Property / cites work: Control of Infinite Behavior of Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Supervision of Infinite Behavior of Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Output stabilizability of discrete-event dynamic systems
+Normal rank
@@ Property / cites work @@
+Q3975447
@@ Property / cites work: Q3975447 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability and stabilizability of discrete event dynamic systems
+Normal rank
@@ Property / cites work @@
+Language Stability and Stabilizability of Discrete Event Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Language convergence in controlled discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q4202958
@@ Property / cites work: Q4202958 / rank @@
+Normal rank
@@ Property / cites work @@
+On control of systems modelled as deterministic Rabin automata
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability for a temporal logic used in discrete-event system analysis
+Normal rank
@@ Property / cites work @@
+On the control of discrete-event dynamical systems
+Normal rank
@@ Property / cites work @@
+Modular supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Control of vector discrete-event systems. I. The base model
+Normal rank
@@ Property / cites work @@
+Control of vector discrete-event systems. II. Controller synthesis
+Normal rank
@@ Property / cites work @@
+Concurrent vector discrete-event systems
@@ Property / cites work: Concurrent vector discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Limited lookahead policies in supervisory control of discrete event systems
+Normal rank