Title of article :
Approximation Metrics for Discrete and Continuous Systems
Author/Authors :
A. Girard and G. J. Pappas، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
Bisimulation , Metrics , transition systems. , Abstraction , approximation
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control
