Robust invariant sets generation for state-constrained perturbed polynomial systems

DOI10.1145/3302504.3311810OpenAlexW2938029150MaRDI QIDQ5239228

Naijun Zhan, Qiuye Wang, Bai Xue, Martin Fränzle

Publication date: 22 October 2019

Published in: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

Hamilton-Jacobi-Bellman equationspolynomial systemssemi-definite programsrobust invariant sets

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (5)

Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming ⋮ Reference dependent invariant sets: sum of squares based computation and applications in constrained control ⋮ Reachability analysis using dissipation inequalities for uncertain nonlinear systems ⋮ Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems ⋮ A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation

This page was built for publication: Robust invariant sets generation for state-constrained perturbed polynomial systems