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