Copertina

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Devadze, Grigory, Magron, Victor, Streif, Stefan
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Optimization and Control Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards Automatic Linearization via SMT Solving
di: Cao, Jian, et al.
Pubblicazione: (2024)

Duality theory in linear optimization and its extensions -- formally verified
di: Dvorak, Martin, et al.
Pubblicazione: (2024)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
di: Badings, Thom, et al.
Pubblicazione: (2025)

Barrier Certificates for Uncertain Temporal Specifications
di: Mamduhi, Mohammad H., et al.
Pubblicazione: (2026)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
di: Li, Xiakun, et al.
Pubblicazione: (2026)

Quantitative semidefinite certificates for ground-state energies of Pauli Hamiltonians
di: Klep, Igor, et al.
Pubblicazione: (2026)

Some remarks on practical stabilization via CLF-based control under measurement noise
di: Schmidt, Patrick, et al.
Pubblicazione: (2025)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
di: Monir, Negar, et al.
Pubblicazione: (2026)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
di: Hsieh, Chiao, et al.
Pubblicazione: (2025)

Determining the Winner in Alternating-Move Games
di: Bellaïche, Itamar, et al.
Pubblicazione: (2026)

Boolean Variation and Boolean Logic BackPropagation
di: Nguyen, Van Minh
Pubblicazione: (2023)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
di: Zhang, Zhiwei, et al.
Pubblicazione: (2025)

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
di: Lourenço, Bruno F., et al.
Pubblicazione: (2026)

Certifying Concavity and Monotonicity in Games via Sum-of-Squares Hierarchies
di: Leon, Vincent, et al.
Pubblicazione: (2025)

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
di: Roberson, David E., et al.
Pubblicazione: (2023)

Convergence rates for polynomial optimization on set products
di: Magron, Victor
Pubblicazione: (2025)

Data-Scarce Identification of Game Dynamics via Sum-of-Squares Optimization
di: Sakos, Iosif, et al.
Pubblicazione: (2023)

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
di: Magron, Victor, et al.
Pubblicazione: (2020)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
di: So, Oswin, et al.
Pubblicazione: (2026)

A Unifying Framework for Global Optimization: From Theory to Formalization
di: Serré, Gaëtan, et al.
Pubblicazione: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
di: Brauße, Franz, et al.
Pubblicazione: (2024)

SMLP: Symbolic Machine Learning Prover
di: Brauße, Franz, et al.
Pubblicazione: (2024)

Sums of squares certificates for polynomial moment inequalities
di: Klep, Igor, et al.
Pubblicazione: (2023)

Time-varying optimal control under measurement errors
di: Schmidt, Patrick, et al.
Pubblicazione: (2026)

CESAR: Control Envelope Synthesis via Angelic Refinements
di: Kabra, Aditi, et al.
Pubblicazione: (2023)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

On the Complexity of p-Order Cone Programs
di: Blanco, Víctor, et al.
Pubblicazione: (2025)

On the Degree Automatability of Sum-of-Squares Proofs
di: Bortolotti, Alex, et al.
Pubblicazione: (2025)

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
di: Zhou, Can, et al.
Pubblicazione: (2026)

Deep Learning as the Disciplined Construction of Tame Objects
di: Bareilles, Gilles, et al.
Pubblicazione: (2025)

Generalized fluctuation bounds for stochastic algorithms in the presence of compactness
di: Neri, Morenikeji, et al.
Pubblicazione: (2026)

Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation
di: Streufert, Peter A.
Pubblicazione: (2021)

A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
di: Wang, Jie, et al.
Pubblicazione: (2023)

Some remarks on stochastic converse Lyapunov theorems
di: Osinenko, Pavel, et al.
Pubblicazione: (2025)

Computational expressivity of (circular) proofs with fixed points
di: Curzi, Gianluca, et al.
Pubblicazione: (2023)

An ecumenical view of proof-theoretic semantics
di: Nascimento, Victor, et al.
Pubblicazione: (2023)

Approximating the order 2 quantum Wasserstein distance using the moment-SOS hierarchy
di: Chhatoi, Saroj Prasad, et al.
Pubblicazione: (2025)

On the Boundary of the Robust Admissible Set in State and Input Constrained Nonlinear Systems
di: Rußwurm, Franz, et al.
Pubblicazione: (2025)

Borel selection of dominating hyperplanes
di: Clerico, Eugenio
Pubblicazione: (2026)

Polyconvexity with Moments and Sums of Squares
di: Fantuzzi, Giovanni, et al.
Pubblicazione: (2026)