- Title:
Formal and Compositional Analysis of Power Systems using Reachable Sets
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Althoff, M.
- Journal title:
- IEEE Transactions on Power Systems
- Year:
- 2014
- Journal volume:
- 29
- Journal issue:
- 5
- Pages contribution:
- 2270-2280
- Fulltext / DOI:
- doi:10.1109/TPWRS.2014.2306731
- BibTeX