Title of article :
Straightening out rectangular differential inclusions
Author/Authors :
George J. Pappas، نويسنده , , Shankar Sastry، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1998
Keywords :
Differential inclusions , formal verification , Straightening out theorem , Hybrid systems , coordinate transformation
Journal title :
Systems and Control Letters
Journal title :
Systems and Control Letters
