Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System.
Cinzia BernardeschiAndrea DomeniciPublished in: Inf. Process. Lett. (2016)
Keyphrases
- model checking
- tracking control
- control system
- desirable properties
- highly nonlinear
- interactive theorem proving
- control strategy
- steady state error
- control theory
- neural network controller
- verification method
- diffusion processes
- face verification
- control method
- adaptive neural
- nonlinear dynamics
- control policy
- database
- partial differential equations
- data acquisition
- reinforcement learning
- social networks
- genetic algorithm
- neural network
- real time