Quantitative Temporal Simulation and Refinement Distances for Timed Systems.

Krishnendu Chatterjee Vinayak S. Prabhu

Published in: IEEE Trans. Autom. Control. (2015)

Keyphrases

learning systems
databases
machine learning
expert systems
spatial and temporal
quantitative and qualitative
social networks
information systems
knowledge base
spatio temporal
petri net
temporal constraints
simulation models