Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems

Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems

Bibliographic Details
Main Authors:	Shen, Shen, Tedrake, Russ
Other Authors:	Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format:	Article
Language:	English
Published:	Institute of Electrical and Electronics Engineers (IEEE) 2022
Online Access:	https://hdl.handle.net/1721.1/143980

Similar Items

Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization
by: Shen, Shen, et al.
Published: (2021)

Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization
by: Shen, Shen, et al.
Published: (2021)

Sampling Algebraic Varieties for Sum of Squares Programs
by: Cifuentes, Diego Fernando, et al.
Published: (2019)

Control design along trajectories with sums of squares programming
by: Majumdar, Anirudha, et al.
Published: (2014)

Certifying Unstability of Switched Systems Using Sum of Squares Programming
by: Legat, Benoît, et al.
Published: (2022)

Certifying Unstability of Switched Systems Using Sum of Squares Programming
by: Legat, Benoît, et al.
Published: (2021)

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
by: Scher, Guy, et al.
Published: (2022)

Balancing and Step Recovery Capturability via Sums-of-Squares Optimization
by: Posa, Michael Antonio, et al.
Published: (2020)

Achievable PID performance using sums of squares programming
by: Sendjaja, Antonius Yudi, et al.
Published: (2009)

Sum-of-squares geometry processing
by: Marschner, Zoë, et al.
Published: (2022)

Rounding sum-of-squares relaxations
by: Barak, Boaz, et al.
Published: (2015)

Fault detection and isolation of nonlinear systems : an unknown input observer approach with sum-of-squares techniques
by: Xu, Jun, et al.
Published: (2013)

Sum of squares generalizations for conic sets
by: Kapelevich, Lea, et al.
Published: (2022)

Hypercontractivity, sum-of-squares proofs, and their applications
by: Barak, Boaz, et al.
Published: (2013)

On the sum-of-squares degree of symmetric quadratic functions
by: de Wolf, Ronald, et al.
Published: (2018)

Low rank decompositions for sum of squares optimization
by: Sun, Jia Li, S.M. Massachusetts Institute of Technology
Published: (2007)

Equivariant Semidefinite Lifts and Sum-of-Squares Hierarchies
by: Fawzi, Hamza, et al.
Published: (2016)

Noisy tensor completion via the sum-of-squares hierarchy
by: Barak, Boaz, et al.
Published: (2022)

Noisy Tensor Completion via the Sum-of-Squares Hierarchy
by: Barak, Boaz, et al.
Published: (2021)

Sum-of-Squares Collision Detection for Curved Shapes and Paths
by: Zhang, Paul, et al.
Published: (2023)

Hexahedral Mesh Repair via Sum‐of‐Squares Relaxation
by: Marschner, Z, et al.
Published: (2021)

Converse results on existence of sum of squares Lyapunov functions
by: Ahmadi, Amir Ali, et al.
Published: (2012)

Robustness Verification and Optimization of Nonlinear Systems
by: Lee, Dongchan
Published: (2022)

Community detection in hypergraphs, spiked tensor models, and Sum-of-Squares
by: Kim, Chiheon, et al.
Published: (2018)

Dictionary Learning and Tensor Decomposition via the Sum-of-Squares Method
by: Barak, Boaz, et al.
Published: (2016)

Psychometric study of bar-on emotional quotient inventory: Youth version in Malaysian sample
by: Chua Bee Seok, et al.
Published: (2020)

Singular hyperkähler quotients
by: Kaledin, Dmitri
Published: (2007)

G Scattered Data Interpolation with Minimized Sum of Squares of Principal Curvatures
by: Saaban, A., et al.
Published: (2005)

Sparse sums of squares on finite abelian groups and improved semidefinite lifts
by: Fawzi, Hamza, et al.
Published: (2016)

Moment-Sum-of-Squares Approach for Fast Risk Estimation in Uncertain Environments
by: Jasour, Ashkan M., et al.
Published: (2020)

Active Sampling-Based Binary Verification of Dynamical Systems
by: Quindlen, John F., et al.
Published: (2021)

A Nearly Tight Sum-of-Squares Lower Bound for the Planted Clique Problem
by: Barak, Boaz, et al.
Published: (2022)

G1 scattered data interpolation with minimized sum of squares of principal curvatures
by: Saaban, Azizan, et al.
Published: (2005)

Functional Scattered DataG1 Interpolation With Sum Of Squares Of Principal Curvatures.
by: Saaban, A., et al.
Published: (2005)

Rank-one matrix completion is solved by the sum-of-squares relaxation of order two
by: Cosse, Augustin, et al.
Published: (2017)

A Nearly Tight Sum-of-Squares Lower Bound for the Planted Clique Problem
by: Barak, Boaz, et al.
Published: (2018)

Warm Start of Mixed-Integer Programs for Model Predictive Control of Hybrid Systems
by: Marcucci, Tobia, et al.
Published: (2021)

Topological invariants of symplectic quotients
by: Metzler, David S. (David Scott)
Published: (2008)

The geometry and topology of quotient varieties
by: Hu, Yi
Published: (2009)

Quotient-singularities in characteristic p
by: Peskin, Barbara R
Published: (2011)