Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints.
Hongkai DaiFrank PermenterPublished in: CoRR (2022)
Keyphrases
- control theory
- adaptive control
- quasiconvex
- control system
- penalty functions
- nonlinear dynamics
- single input single output
- inequality constraints
- control method
- nonlinear functions
- constrained minimization
- convex constraints
- convex functions
- input data
- convex optimization
- constraint satisfaction
- functional programs
- optimal control
- convex hull
- basis functions
- control signals
- tracking error
- mobile robot
- class of nonlinear systems
- robust stability
- model checking
- dynamical systems
- piecewise linear
- linear matrix inequality
- stability analysis
- control scheme
- constrained optimization
- mixed integer