Results 11 to 20 of about 25,571,312 (380)
Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems [PDF]
Communications in nonlinear science & numerical simulation, 2013 In this paper, we consider the problem of computing estimates of the domain-of-attraction for non-polynomial systems. A polynomial approximation technique, based on multivariate polynomial interpolation and error analysis for remaining functions, is ...
Lin, Wang, Wu, Min, Yang, Zhengfeng
core +2 more sources
msolve: A Library for Solving Polynomial Systems [PDF]
International Symposium on Symbolic and Algebraic Computation, 2021 We present a new open source C library msolve dedicated to solving multivariate polynomial systems of dimension zero through computer algebra methods. The core algorithmic framework of msolve relies on Gröbner bases and linear algebra based algorithms ...
Jérémy Berthomieu +2 more
semanticscholar +1 more source
Data-driven design of safe control for polynomial systems [PDF]
European Journal of Control, 2021 We consider the problem of designing an invariant set using only a finite set of input-state data collected from an unknown polynomial system in continuous time. We consider noisy data, i.e., corrupted by an unknown-but-bounded disturbance.
Alessandro Luppi +3 more
semanticscholar +1 more source
Data-Driven Stabilization of Nonlinear Polynomial Systems With Noisy Data [PDF]
IEEE Transactions on Automatic Control, 2020 In a recent article, we have shown how to learn controllers for unknown linear systems using finite-length noisy data by solving linear matrix inequalities.
Meichen Guo, C. De Persis, P. Tesi
semanticscholar +1 more source
Learning control for polynomial systems using sum of squares relaxations [PDF]
IEEE Conference on Decision and Control, 2020 This paper considers the problem of learning control laws for nonlinear polynomial systems directly from the data, which are input-output measurements collected in an experiment over a finite time period.
Meichen Guo, C. D. Persis, P. Tesi
semanticscholar +1 more source
Dissipativity verification with guarantees for polynomial systems from noisy input-state data [PDF]
American Control Conference, 2020 In this paper, we investigate the verification of dissipativity properties for polynomial systems without an explicitly identified model but directly from noise-corrupted measurements.
Tim Martin, F. Allgöwer
semanticscholar +1 more source
Data-Driven System Analysis of Nonlinear Systems Using Polynomial Approximation [PDF]
IEEE Transactions on Automatic Control, 2021 In the context of data-driven control of nonlinear systems, many approaches lack of rigorous guarantees, call for nonconvex optimization, or require knowledge of a function basis containing the system dynamics.
Tim Martin, F. Allgöwer
semanticscholar +1 more source
Stability conditions and Liapunov functions for quasi-polynomial systems [PDF]
Applied Mathematics Letters, 2019 The stability of equilibrium points of quasi-polynomial systems of ODEs is considered. The criteria and Liapunov functions found generalize those traditionally known for Lotka-Volterra equations, that now appear as a particular case.
B. Hernández-Bermejo
semanticscholar +1 more source
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties [PDF]
IEEE Transactions on Automatic Control, 2018 In this paper, we propose a convex programming based method to address a long-standing problem of inner-approximating backward reachable sets of state-constrained polynomial systems subject to time-varying uncertainties.
Bai Xue, M. Fränzle, N. Zhan
semanticscholar +1 more source
Separation bounds for polynomial systems
Journal of symbolic computation, 2020 Based on recent advances on aggregate separation bounds for univariate polynomials, we extend these results to the isolated roots of zero-dimensional, as well as positive-dimensional and overdetermined polynomial systems.
I. Emiris +2 more
semanticscholar +1 more source