Approximate Bisimulation for High-Level Datapaths in Intelligent Transportation Systems

A relation called approximate bisimulation is proposed to achieve behavior and structure optimization for a type of high-level datapath whose data exchange processes are expressed by nonlinear polynomial systems. The high-level datapaths are divided into small blocks with a partitioning method and t...

Full description

Bibliographic Details
Main Authors: Hui Deng, Jinzhao Wu, Hongyan Tan
Format: Article
Language:English
Published: SAGE Publishing 2013-01-01
Series:Advances in Mechanical Engineering
Online Access:https://doi.org/10.1155/2013/305636