Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints.
Hongkai DaiFrank PermenterPublished in: ACC (2023)
Keyphrases
- control theory
- adaptive control
- quasiconvex
- penalty functions
- nonlinear systems
- tracking error
- nonlinear functions
- control system
- control scheme
- model checking
- nonlinear dynamics
- single input single output
- functional programs
- robust stability
- control signals
- input data
- control method
- control strategy
- constrained minimization
- dynamical systems
- convex hull
- asymptotic stability
- closed loop
- inequality constraints
- lyapunov function
- sufficient conditions
- class of nonlinear systems
- continuous functions
- convex functions
- convex optimization
- optimal control
- control law
- functional language
- basis functions
- adaptive neural
- constraint satisfaction
- feasible set
- finite number
- fuzzy model
- controller design
- constrained optimization