A formal proof in Coq of a control function for the inverted pendulum.
Damien RouhlingPublished in: CPP (2018)
Keyphrases
- inverted pendulum
- formal proof
- theorem prover
- simulation study
- feedback control
- intelligent control
- nonlinear systems
- fuzzy controller
- control algorithm
- evolutionary neural networks
- fuzzy systems
- initial conditions
- mobile robot
- sagittal plane
- biped robot
- first order logic
- optimal control
- adaptive control
- fuzzy rules
- control system
- legged robots
- closed loop
- fuzzy control
- genetic programming
- dynamic programming
- pattern recognition
- artificial intelligence
- machine learning
- neural network