Statistical verification of dynamical systems using set oriented methods (Q2988933): Difference between revisions

@@ Property / author @@
+Geir E. Dullerud
@@ Property / author: Geir E. Dullerud / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1145/2728606.2728627
+Normal rank
@@ Property / OpenAlex ID @@
+W2067733097
@@ Property / OpenAlex ID: W2067733097 / rank @@
+Normal rank
@@ Property / cites work @@
+Requirements for hybrid cosimulation standards
@@ Property / cites work: Requirements for hybrid cosimulation standards / rank @@
+Normal rank
@@ Property / cites work @@
+Q5476735
@@ Property / cites work: Q5476735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2737800
@@ Property / cites work: Q2737800 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+On Fixed Points of Strictly Causal Functions
@@ Property / cites work: On Fixed Points of Strictly Causal Functions / rank @@
+Normal rank
@@ Property / cites work @@
+THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
+Normal rank