Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version)
Krishnendu ChatterjeeVinayak S. PrabhuPublished in: CoRR (2012)
Keyphrases
- discrete event
- petri net
- building blocks
- simulation models
- finite state machines
- complex systems
- distributed systems
- intelligent systems
- computer systems
- mathematical models
- database
- management system
- image sequences
- computer vision
- real world
- knowledge based systems
- basis functions
- numerical simulations
- information retrieval
- neural network
- databases