Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications
Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu
Topics & Concepts
Lyapunov functionConverseMathematicsLyapunov redesignLyapunov equationControl-Lyapunov functionDynamical systems theoryControl theory (sociology)Lyapunov optimizationStability (learning theory)Lyapunov exponentControl (management)Computer scienceNonlinear systemChaoticMachine learningArtificial intelligencePhysicsGeometryQuantum mechanicsAdvanced Control Systems OptimizationFormal Methods in VerificationAdaptive Control of Nonlinear Systems