Solving reachability problems by a scalable constrained optimization method (Q2303529): Difference between revisions

@@ Property / describes a project that uses @@
+ve08
@@ Property / describes a project that uses: ve08 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2758995393
@@ Property / OpenAlex ID: W2758995393 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01051
@@ Property / arXiv ID: 1611.01051 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Hybrid System Falsification through Local Search
+Normal rank
@@ Property / cites work @@
+S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q3841797
@@ Property / cites work: Q3841797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4868576
@@ Property / cites work: Q4868576 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical solution of saddle point problems
@@ Property / cites work: Numerical solution of saddle point problems / rank @@
+Normal rank
@@ Property / cites work @@
+Practical Methods for Optimal Control and Estimation Using Nonlinear Programming
+Normal rank
@@ Property / cites work @@
+An Interior Point Algorithm for Large-Scale Nonlinear Programming
+Normal rank
@@ Property / cites work @@
+On Nonsingular Saddle-Point Systems with a Maximally Rank Deficient Leading Block
+Normal rank
@@ Property / cites work @@
+Q5689624
@@ Property / cites work: Q5689624 / rank @@
+Normal rank
@@ Property / cites work @@
+Partitioned variable metric updates for large structured optimization problems
+Normal rank
@@ Property / cites work @@
+Q2771497
@@ Property / cites work: Q2771497 / rank @@
+Normal rank
@@ Property / cites work @@
+Combined Global and Local Search for the Falsification of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Numerical experience with iterative methods for equality constrained nonlinear programming problems
+Normal rank
@@ Property / cites work @@
+Interior‐point method for non‐linear non‐convex optimization
+Normal rank
@@ Property / cites work @@
+Q5491447
@@ Property / cites work: Q5491447 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285814
@@ Property / cites work: Q3285814 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127749181
@@ Property / Wikidata QID: Q127749181 / rank @@
+Normal rank