Symbolic models for infinite networks of control systems: a compositional approach (Q2074749): Difference between revisions

@@ Property / DOI @@
-.1016/j.nahs.2021.101097
@@ Property / DOI: 10.1016/j.nahs.2021.101097 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SCOTS
@@ Property / describes a project that uses: SCOTS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3200681303
@@ Property / OpenAlex ID: W3200681303 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03327
@@ Property / arXiv ID: 2102.03327 / rank @@
+Normal rank
@@ Property / cites work @@
+On the ill-posedness of certain vehicular platoon control problems
+Normal rank
@@ Property / cites work @@
+Distributed control of spatially invariant systems
+Normal rank
@@ Property / cites work @@
+A Lyapunov-Based Small-Gain Theorem for Infinite Networks
+Normal rank
@@ Property / cites work @@
+Input-to-State Stability of Infinite-Dimensional Systems: Recent Results and Open Questions
+Normal rank
@@ Property / cites work @@
+Stability conditions for infinite networks of nonlinear systems and their application for stabilization
+Normal rank
@@ Property / cites work @@
+ISS small-gain criteria for infinite networks with linear gain functions
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar Finite Abstractions of Interconnected Systems
+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 @@
+Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
+Normal rank
@@ Property / cites work @@
+Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
+Normal rank
@@ Property / cites work @@
+Compositional Synthesis of Finite-State Abstractions
+Normal rank
@@ Property / cites work @@
+Q5375276
@@ Property / cites work: Q5375276 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Control System Abstractions from Modular Components
+Normal rank
@@ Property / cites work @@
+Symbolic models for nonlinear time-delay systems using approximate bisimulations
+Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
+Normal rank
@@ Property / cites work @@
+Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
+Normal rank
@@ Property / cites work @@
+SCOTS
@@ Property / cites work: SCOTS / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.NAHS.2021.101097
@@ Property / DOI: 10.1016/J.NAHS.2021.101097 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2074749