Control design for nondeterministic input/output automata (Q1662972): 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.ejcon.2014.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1999721401
@@ Property / OpenAlex ID: W1999721401 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+Supervisory control of a rapid thermal multiprocessor
+Normal rank
@@ Property / cites work @@
+Bisimulation, the supervisory control problem and strong model matching for finite state machines
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3152840
@@ Property / cites work: Q3152840 / rank @@
+Normal rank
@@ Property / cites work @@
+Input/output control of asynchronous sequential machines
+Normal rank
@@ Property / cites work @@
+THE ABSTRACT THEORY OF AUTOMATA
@@ Property / cites work: THE ABSTRACT THEORY OF AUTOMATA / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572939
@@ Property / cites work: Q5572939 / rank @@
+Normal rank
@@ Property / cites work @@
+Ensuring the conformance of reactive discrete-event systems by means of supervisory control
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event systems with output: Application to hybrid systems
+Normal rank
@@ Property / cites work @@
+Control design for nondeterministic input/output automata
+Normal rank