Compositionality issues in discrete, continuous, and hybrid systems (Q2716781): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2131926924
@@ Property / OpenAlex ID: W2131926924 / rank @@
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Supervisory control using failure semantics and partial specifications
+Normal rank
@@ Property / cites work @@
+Paradigms and puzzles in the theory of dynamical systems
+Normal rank
@@ Property / cites work @@
+On interconnections, control, and feedback
@@ Property / cites work: On interconnections, control, and feedback / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to hybrid dynamical systems
@@ Property / cites work: An introduction to hybrid dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete-event control of nondeterministic systems
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+A new 𝒦-matrix approach to <i>N</i>-body scattering
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verified hybrid controllers for automated vehicles
+Normal rank
@@ Property / cites work @@
+Compositional and uniform modeling of hybrid systems
+Normal rank
@@ Property / cites work @@
+Verification of logic controllers for continuous plants using timed condition/event-system models
+Normal rank
@@ Property / cites work @@
+The complementary-slackness class of hybrid systems
+Normal rank
@@ Property / cites work @@
+Complementarity modeling of hybrid systems
@@ Property / cites work: Complementarity modeling of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+System structure and singular control
@@ Property / cites work: System structure and singular control / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Complementarity Systems
@@ Property / cites work: Linear Complementarity Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The rational complementarity problem
@@ Property / cites work: The rational complementarity problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249571
@@ Property / cites work: Q4249571 / rank @@
+Normal rank