Formalization of fractional order PD control systems in HOL4.
Chunna ZhaoShanshan LiPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- fractional order
- control system
- pid controller
- closed loop
- feedback control
- open loop
- differential equations
- dynamical systems
- fuzzy control
- theorem prover
- control method
- fuzzy logic
- control scheme
- control law
- transfer function
- differential evolution
- control algorithm
- multiscale
- control strategy
- neural network
- fuzzy controller
- diffusion equation
- state space
- color images