known_bugs.txt

由matlab开发的hybrid系统的描述语言

Mathematical expressions:
-------------------------

HYSDEL implement a simple symbolic computation tool. The simple symbolic 
manipulator handles efficiently linear and affine expression but cannot detect 
that an expression is linear if it involves cancellation on non linear terms.
Example:
--------
REAL x1,x2,x3;

CONTINUOUS{
	x1 = x1 + 2 * x2 + 3 * x3 + 4 x1; /* OK! = 5 * x1 + 2 x2 + 3 * x3 */
	x2 = x1 + log(2) * x2 - log(2) * x2; /* OK! = x1 */
	x3 = x1 + x2 * x3 - x3 * x2; /* ERROR! although linear, HYSDEL will*/
				     /* report an error */
}