Conservative time discretization: a comparative study (Q2165508): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3209616618
@@ Property / OpenAlex ID: W3209616618 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01454
@@ Property / arXiv ID: 2111.01454 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
+Normal rank
@@ Property / cites work @@
+Reachable set computation for uncertain time-varying linear systems
+Normal rank
@@ Property / cites work @@
+Q4417974
@@ Property / cites work: Q4417974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical verification of affine systems with up to a billion dimensions
+Normal rank
@@ Property / cites work @@
+JuliaReach
@@ Property / cites work: JuliaReach / rank @@
+Normal rank
@@ Property / cites work @@
+Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
+Normal rank
@@ Property / cites work @@
+Q5701670
@@ Property / cites work: Q5701670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249565
@@ Property / cites work: Q4249565 / 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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating the Matrix Exponential of an Advection-Diffusion Operator Using the Incomplete Orthogonalization Method
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Hybrid Systems Using Support Functions
+Normal rank
@@ Property / cites work @@
+Reachability analysis of linear systems using support functions
+Normal rank