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...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
SAGE Publishing
2013-01-01
|
Series: | Advances in Mechanical Engineering |
Online Access: | https://doi.org/10.1155/2013/305636 |