| contributor author | Althoff, Matthias | |
| date accessioned | 2020-03-12T23:49:48Z | |
| date available | 2020-03-12T23:49:48Z | |
| date issued | 2014 | |
| identifier issn | 0885-8950 | |
| identifier other | 6750746.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1124840?locale-attribute=en&show=full | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Formal and Compositional Analysis of Power Systems Using Reachable Sets | |
| type | Journal Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8304404 | |
| subject keywords | computational complexity | |
| subject keywords | differential algebraic equations | |
| subject keywords | nonlinear equations | |
| subject keywords | power system transient stability | |
| subject keywords | reachability analysis | |
| subject keywords | IEEE 14-bus benchmark systems | |
| subject keywords | IEEE 30-bus benchmark systems | |
| subject keywords | compositional analysis | |
| subject keywords | computation times | |
| subject keywords | formal analysis | |
| subject keywords | index-1 differential-algebraic equations | |
| subject keywords | nonlinear equations | |
| subject keywords | operating conditions | |
| subject keywords | power system stability analysis | |
| subject keywords | reachability analysis | |
| subject keywords | semi-explicit equations | |
| subject keywords | transient stability | |
| subject keywords | variable energy production | |
| subject keywords | Analytical models | |
| subject keywords | Comput | |
| identifier doi | 10.1109/TPWRS.2014.2306731 | |
| journal title | Power Systems, IEEE Transactions on | |
| journal volume | 29 | |
| journal issue | 5 | |
| filesize | 2894222 | |
| citations | 0 | |
