A higher order method for input-affine uncertain systems (Q2677088): Difference between revisions

@@ Property / author @@
-Sanja Živanović Gonzalez
@@ Property / author: Sanja Živanović Gonzalez / rank @@
-Normal rank
@@ Property / author @@
-Q1763573
@@ Property / author: Q1763573 / rank @@
-Normal rank
@@ Property / author @@
+Sanja Živanović Gonzalez
@@ Property / author: Sanja Živanović Gonzalez / rank @@
+Normal rank
@@ Property / author @@
+Peter J. Collins
@@ Property / author: Peter J. Collins / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ariadne
@@ Property / describes a project that uses: Ariadne / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4297025045
@@ Property / OpenAlex ID: W4297025045 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.11330
@@ Property / arXiv ID: 2001.11330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324260
@@ Property / cites work: Q3324260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000472
@@ Property / cites work: Q4000472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767615
@@ Property / cites work: Q2767615 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994508
@@ Property / cites work: Q3994508 / rank @@
+Normal rank
@@ Property / cites work @@
+A computable and compositional semantics for hybrid automata
+Normal rank
@@ Property / cites work @@
+Theory of control systems described by differential inclusions
+Normal rank
@@ Property / cites work @@
+Q3639060
@@ Property / cites work: Q3639060 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for parametric ODEs
+Normal rank
@@ Property / cites work @@
+Efficient polyhedral enclosures for the reachable set of nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Approximation of reachable sets using optimal control and support vector machines
+Normal rank
@@ Property / cites work @@
+A Lohner-type algorithm for control systems and ordinary differential inclusions
+Normal rank
@@ Property / cites work @@
+A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty
+Normal rank
@@ Property / cites work @@
+Accurate reachability analysis of uncertain nonlinear systems
+Normal rank
@@ Property / cites work @@
+Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
+Normal rank
@@ Property / cites work @@
+Formal Verification Applied to Robotic Surgery
@@ Property / cites work: Formal Verification Applied to Robotic Surgery / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808034
@@ Property / cites work: Q4808034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256529
@@ Property / cites work: Q3256529 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3779682
@@ Property / cites work: Q3779682 / rank @@
+Normal rank
@@ Property / cites work @@
+The logarithmic norm. History and modern theory
@@ Property / cites work: The logarithmic norm. History and modern theory / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorously computed orbits of dynamical systems without the wrapping effect
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2677088