Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Safety verification of nonlinear systems based on rational invariants - MaRDI portal

Safety verification of nonlinear systems based on rational invariants

From MaRDI portal

Publication:2819719

Jump to:navigation, search

DOI10.1145/2631948.2631967zbMath1347.65038OpenAlexW2128169400MaRDI QIDQ2819719

No author found.

Publication date: 29 September 2016

Published in: Proceedings of the 2014 Symposium on Symbolic-Numeric Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2631948.2631967

zbMATH Keywords

safety verification sum-of-squares relaxation rational invariant BMI solving

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Semidefinite programming (90C22) Nonlinear ordinary differential equations and systems (34A34) Symmetries, invariants of ordinary differential equations (34C14) Numerical interpolation (65D05)

This page was built for publication: Safety verification of nonlinear systems based on rational invariants

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2819719&oldid=15733003"