Performance safety enforcement in strongly connected timed event graphs (Q2021327): Difference between revisions

@@ Property / cites work @@
+State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
+Normal rank
@@ Property / cites work @@
+Properties and performance bounds for timed marked graphs
+Normal rank
@@ Property / cites work @@
+Detection and mitigation of classes of attacks in supervisory control systems
+Normal rank
@@ Property / cites work @@
+Firing rate optimization of cyclic timed event graphs by token allocations
+Normal rank
@@ Property / cites work @@
+Q5200628
@@ Property / cites work: Q5200628 / rank @@
+Normal rank
@@ Property / cites work @@
+Design of Supervisors for Active Diagnosis in Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
+Normal rank
@@ Property / cites work @@
+Supervisory control of \((\max,+)\) automata: a behavioral approach
+Normal rank
@@ Property / cites work @@
+Active fault tolerant control of discrete event systems using online diagnostics
+Normal rank
@@ Property / cites work @@
+An integrated control strategy to solve the disturbance decoupling problem for max-plus linear systems with applications to a high throughput screening system
+Normal rank
@@ Property / cites work @@
+Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
+Normal rank
@@ Property / cites work @@
+Global optimization of mixed-integer nonlinear programs: a theoretical and computational study
+Normal rank
@@ Property / cites work @@
+Decidability of opacity verification problems in labeled Petri net systems
+Normal rank
@@ Property / cites work @@
+Current-state opacity enforcement in discrete event systems under incomparable observations
+Normal rank
@@ Property / cites work @@
+Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem
+Normal rank
@@ Property / cites work @@
+Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
+Normal rank