Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.nahs.2021.101057
+Normal rank
@@ Property / OpenAlex ID @@
+W3163408930
@@ Property / OpenAlex ID: W3163408930 / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems under partial observation
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem
+Normal rank
@@ Property / cites work @@
+Enforcing Detectability in Controlled Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Decentralized state estimation and diagnosis of p-time labeled Petri nets systems
+Normal rank
@@ Property / cites work @@
+State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
+Normal rank
@@ Property / cites work @@
+Fault detection for discrete event systems using Petri nets with unobservable transitions
+Normal rank
@@ Property / cites work @@
+Verification of State-Based Opacity Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Decidability of opacity verification problems in labeled Petri net systems
+Normal rank
@@ Property / cites work @@
+Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
+Normal rank
@@ Property / cites work @@
+Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
+Normal rank
@@ Property / cites work @@
+Detection and mitigation of classes of attacks in supervisory control systems
+Normal rank
@@ Property / cites work @@
+Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
+Normal rank
@@ Property / cites work @@
+Safe diagnosability for fault-tolerant supervision of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Active fault tolerant control of discrete event systems using online diagnostics
+Normal rank
@@ Property / cites work @@
+Admission control in stochastic event graphs
@@ Property / cites work: Admission control in stochastic event graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Generalized Stochastic Petri Nets
@@ Property / cites work: Introduction to Generalized Stochastic Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Properties and performance bounds for timed marked graphs
+Normal rank
@@ Property / cites work @@
+Firing rate optimization of cyclic timed event graphs by token allocations
+Normal rank
@@ Property / cites work @@
+New challenges in dynamic load balancing
@@ Property / cites work: New challenges in dynamic load balancing / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of metaheuristics
@@ Property / cites work: Handbook of metaheuristics / rank @@
+Normal rank
@@ Property / cites work @@
+A simple recipe for concise mixed 0-1 linearizations
+Normal rank