arXiv (All)
open access
Barrier Certificate Synthesis for Non-Polynomial Robotic Dynamics via Polynomial Lifting
Safe operation of robotic systems requires trajectories to remain within a prescribed safe set under admissible control inputs. Barrier certificates provide such guarantees by certifying a controlled-invariant region within that set. Sum-of-squares optimization offers a systematic way to synthesize
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Nonlinear Optimization#67412
- Transformer-Informed Trajectory Optimization for Relative Motion in Cislunar Orbits#1061100
- Automated algorithm design for convex optimization problems with linear equality constraints#986152
- A hierarchy of eigencomputations for polynomial optimization on the sphere#1000446
- The An-soku Attractor: Natural Convergence of Advanced AI Systems toward Global Load Minimization#222016
Record · ID 1037568
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive