Bisimilar Finite Abstractions of Interconnected Systems.

Yuichi Tazaki Jun-ichi Imura

Published in: HSCC (2008)

Keyphrases

high level
knowledge based systems
artificial intelligence
finite number
complex systems
management system
information technology
computing systems
learning systems
computer systems
distributed systems
neural network
expert systems
three dimensional
multimedia
computer vision
information retrieval