Title of article :
Verification of a cruise control system using counterexample-guided search
Author/Authors :
Olaf Stursberg، نويسنده , , Ansgar Fehnker، نويسنده , , Zhi Han and Bruce H. Krogh، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Pages :
10
From page :
1269
To page :
1278
Keywords :
Counterexample , model refinement , Hybrid systems , Reachability analysis , Verification , Automata , Abstraction
Journal title :
Electric Power Systems Research
Serial Year :
2004
Journal title :
Electric Power Systems Research
Record number :
373297
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=373297
بازگشت