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 |