Title of article

On the formal verification of hybrid systems

Author/Authors

H. Guéguen and J. Zaytoon، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2004

Pages

15

From page

1253

To page

1267

Keywords

Verification , reachability , approximations , Abstraction , Hybrid automata

Journal title

Electric Power Systems Research

Serial Year

2004

Journal title

Electric Power Systems Research

Record number

373296