A New Method for Detection Discrete-Trace Transistion Systems of Hybrid Systems - - International Conference on Control Automation and Systems 2008 doi 2008-10 Article type Conference