Verifying Hybrid Systems Modeled as Timed Automata: A Case Study.
Myla ArcherConstance L. HeitmeyerPublished in: HART (1997)
Keyphrases
- hybrid systems
- timed automata
- model checking
- black box
- temporal logic
- intelligent systems
- neural network
- meta learning
- soft computing
- computational intelligence
- artificial intelligence
- discrete event
- theorem prover
- case study
- genetic programming
- evolutionary computation
- fuzzy logic
- theorem proving
- decision making
- real time systems
- real time