Formal and Compositional Analysis of Power Systems Using Reachable Sets
Author:
Publisher:
Year
: 2014DOI: 10.1109/TPWRS.2014.2306731
Keyword(s): computational complexity,differential algebraic equations,nonlinear equations,power system transient stability,reachability analysis,IEEE 14-bus benchmark systems,IEEE 30-bus benchmark systems,compositional analysis,computation times,formal analysis,index-1 differential-algebraic equations,nonlinear equations,operating conditions,power system stability analysis,reachability analysis,semi-explicit equations,transient stability,variable energy production,Analytical models,Comput
Collections
:
-
Statistics
Formal and Compositional Analysis of Power Systems Using Reachable Sets
Show full item record
| 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 | https://libsearch.um.ac.ir:443/fum/handle/fum/1124840?locale-attribute=en | |
| 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 |