Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387): Difference between revisions

@@ Property / DOI @@
-.1016/j.automatica.2021.109745
@@ Property / DOI: 10.1016/j.automatica.2021.109745 / rank @@
-Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Small Gain Theorems for Large Scale Systems and Construction of ISS Lyapunov Functions
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Constructing Control System Abstractions from Modular Components
+Normal rank
@@ Property / cites work @@
+Opacity of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+Compositional Synthesis of Finite-State Abstractions
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Networks of Control Systems
@@ Property / cites work: Symbolic Models for Networks of Control Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of Centralized and Decentralized Opacity in Linear Systems
+Normal rank
@@ Property / cites work @@
+Verification of Infinite-Step Opacity and Complexity Considerations
+Normal rank
@@ Property / cites work @@
+Current-State Opacity Formulations in Probabilistic Finite Automata
+Normal rank
@@ Property / cites work @@
+Verification of initial-state opacity in security applications of discrete event systems
+Normal rank
@@ Property / cites work @@
+Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
+Normal rank
@@ Property / cites work @@
+Bisimilar Finite Abstractions of Interconnected Systems
+Normal rank
@@ Property / cites work @@
+Decidability of opacity verification problems in labeled Petri net systems
+Normal rank
@@ Property / cites work @@
+On Approximate Opacity of Cyber-Physical Systems
@@ Property / cites work: On Approximate Opacity of Cyber-Physical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
+Normal rank
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2021.109745
@@ Property / DOI: 10.1016/J.AUTOMATICA.2021.109745 / rank @@
+Normal rank