Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers (Q5039505): 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 @@
+Python
@@ Property / describes a project that uses: Python / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+dReal
@@ Property / describes a project that uses: dReal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Matlab
@@ Property / describes a project that uses: Matlab / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SeDuMi
@@ Property / describes a project that uses: SeDuMi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sostools
@@ Property / describes a project that uses: Sostools / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3016425199
@@ Property / OpenAlex ID: W3016425199 / rank @@
+Normal rank
@@ Property / cites work @@
+Review on computational methods for Lyapunov functions
+Normal rank
@@ Property / cites work @@
+Classical converse theorems in Lyapunov's second method
+Normal rank
@@ Property / cites work @@
+Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
+Normal rank
@@ Property / cites work @@
+Automated formal synthesis of provably safe digital controllers for continuous plants
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view
@@ Property / cites work: Decision procedures. An algorithmic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+Q3845518
@@ Property / cites work: Q3845518 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability by Liapunov's direct method. With applications
+Normal rank
@@ Property / cites work @@
+Q5724099
@@ Property / cites work: Q5724099 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability of dynamical systems: A constructive approach
+Normal rank
@@ Property / cites work @@
+An alternative converse Lyapunov theorem for discrete-time systems
+Normal rank
@@ Property / cites work @@
+Q5431011
@@ Property / cites work: Q5431011 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation-guided lyapunov analysis for hybrid dynamical systems
+Normal rank
@@ Property / cites work @@
+dReal: An SMT Solver for Nonlinear Theories over the Reals
+Normal rank
@@ Property / cites work @@
+Handbook of Model Checking
@@ Property / cites work: Handbook of Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
+Normal rank