Synthesizing SystemC Code from Delay Hybrid CSP (Q5055993): Difference between revisions

@@ Property / author @@
+Shu-Ling Wang
@@ Property / author: Shu-Ling Wang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LUSTRE
@@ Property / describes a project that uses: LUSTRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Charon
@@ Property / describes a project that uses: Charon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962792452
@@ Property / OpenAlex ID: W2962792452 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09019
@@ Property / arXiv ID: 1709.09019 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953375
@@ Property / cites work: Q4953375 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Reliable Code from Hybrid-Systems Models
+Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+Q3143382
@@ Property / cites work: Q3143382 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated simulation-based verification of delayed differential dynamics
+Normal rank
@@ Property / cites work @@
+Q5457277
@@ Property / cites work: Q5457277 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Bounded invariant verification for time-delayed nonlinear networked dynamical systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
+Normal rank
@@ Property / cites work @@
+Symbolic models for nonlinear time-delay systems using approximate bisimulations
+Normal rank
@@ Property / cites work @@
+Approximate bisimulation and discretization of hybrid CSP
+Normal rank
@@ Property / cites work @@
+Synthesizing SystemC Code from Delay Hybrid CSP
@@ Property / cites work: Synthesizing SystemC Code from Delay Hybrid CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of Simulink/Stateflow Diagrams
+Normal rank
@@ Property / cites work @@
+Automatic verification of stability and safety for delay differential equations
+Normal rank