Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830): Difference between revisions

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MATISSE
@@ Property / describes a project that uses: MATISSE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HYST
@@ Property / describes a project that uses: HYST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+benchmodred
@@ Property / describes a project that uses: benchmodred / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2274499187
@@ Property / OpenAlex ID: W2274499187 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06417
@@ Property / arXiv ID: 1602.06417 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate simulation relations for hybrid systems
+Normal rank
@@ Property / cites work @@
+Q2784654
@@ Property / cites work: Q2784654 / rank @@
+Normal rank
@@ Property / cites work @@
+HYST
@@ Property / cites work: HYST / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701670
@@ Property / cites work: Q5701670 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal component analysis in linear systems: Controllability, observability, and model reduction
+Normal rank
@@ Property / cites work @@
+Bisimilar linear systems.
@@ Property / cites work: Bisimilar linear systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate bisimulation relations for constrained linear systems
+Normal rank
@@ Property / cites work @@
+Model-order reduction of ion channel dynamics using approximate bisimulation
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324980
@@ Property / cites work: Q4324980 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar control affine systems
@@ Property / cites work: Bisimilar control affine systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank