Verification of Hybrid Systems: Formalization and Proof Rules in PVS.
Erika Ábrahám-MummMartin SteffenUlrich HannemannPublished in: ICECCS (2001)
Keyphrases
- hybrid systems
- formal verification
- theorem proving
- black box
- meta learning
- intelligent systems
- discrete event
- soft computing
- neural network
- artificial intelligence
- computational intelligence
- model checking
- theorem prover
- knowledge representation
- evolutionary algorithm
- mobile agents
- genetic programming
- artificial neural networks
- decision trees