A semantic model for interacting cyber-physical systems (Q2079682): Difference between revisions

@@ Property / describes a project that uses @@
+StateFlow
@@ Property / describes a project that uses: StateFlow / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ptolemy
@@ Property / describes a project that uses: Ptolemy / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3216696200
@@ Property / OpenAlex ID: W3216696200 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling Timed Concurrent Systems
@@ Property / cites work: Modeling Timed Concurrent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A modular formal semantics for Ptolemy
@@ Property / cites work: A modular formal semantics for Ptolemy / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Dynamic networks of heterogeneous timed machines
@@ Property / cites work: Dynamic networks of heterogeneous timed machines / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract behavior types: a foundation model for components and their composition
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Nivat's processes and their synchronization
@@ Property / cites work: Nivat's processes and their synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
+Normal rank
@@ Property / cites work @@
+On the complexity of verification of time-sensitive distributed systems
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Realizing \(\omega\)-regular hyperproperties
@@ Property / cites work: Realizing \(\omega\)-regular hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid I/O automata.
@@ Property / cites work: Hybrid I/O automata. / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank