1 Search Results for "Strelec, Martin"

Document
DOI: 10.4230/DagRep.4.10.69
Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441)

Authors: Alessandro Abate, Martin Fränzle, Ian Hiskens, and Martin Strelec

Published in: Dagstuhl Reports, Volume 4, Issue 10 (2015)

Abstract
Power and energy networks) are systems of great societal and economic relevance and impact, particularly given the recent growing emphasis on environmental issues and on sustainable substitutes (renewables) to traditional energy sources (coal, oil, nuclear). Power networks also represent systems of considerable engineering interest. The aim of this Dagstuhl seminar has been to survey existing and explore novel formal frameworks for modeling, analysis and control of complex, large scale cyber-physical systems, with emphasis on applications in power networks. Stochastic hybrid systems (SHS) stand for a mathematical framework that allows capturing the complex interactions between continuous dynamics, discrete dynamics, and probabilistic uncertainty. In the context of power networks, stochastic hybrid dynamics arises naturally: (i) continuous dynamics models the evolution of voltages, frequencies, etc.; (ii) discrete dynamics models controller logic and changes in network topology (unit commitment); and (iii) probability models the uncertainty about power demand, power supply from renewables and power market price. The seminar has covered relevant approaches to modeling and analysis of stochastic hybrid dynamics, in the context of energy networks.
Cite as

Alessandro Abate, Martin Fränzle, Ian Hiskens, and Martin Strelec. Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441). In Dagstuhl Reports, Volume 4, Issue 10, pp. 69-97, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{abate_et_al:DagRep.4.10.69,
  author =	{Abate, Alessandro and Fr\"{a}nzle, Martin and Hiskens, Ian and Strelec, Martin},
  title =	{{Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441)}},
  pages =	{69--97},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{10},
  editor =	{Abate, Alessandro and Fr\"{a}nzle, Martin and Hiskens, Ian and Strelec, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.10.69},
  URN =		{urn:nbn:de:0030-drops-48939},
  doi =		{10.4230/DagRep.4.10.69},
  annote =	{Keywords: Analysis, control, and verification of complex stochastic systems; formal synthesis; reliability engineering and assessment; energy networks}
}
  • Refine by Author
  • 1 Abate, Alessandro
  • 1 Fränzle, Martin
  • 1 Hiskens, Ian
  • 1 Strelec, Martin

  • Refine by Classification

  • Refine by Keyword
  • 1 Analysis
  • 1 and verification of complex stochastic systems; formal synthesis; reliability engineering and assessment; energy networks
  • 1 control

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2015

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact