About: Modeling, Verification, and Control of Complex Systems for Energy Networks

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Modeling, Verification, and Control of Complex Systems for Energy Networks Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Power networks (or generally 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). The aim of this Dagstuhl seminar (conference) is 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. The seminar will cover relevant approaches to modeling and analysis of stochastic hybrid dynamics, in the context of energy networks. It will thus foster cross-fertilization between techniques originating from disparate scientific communities, with the seminar hosting contributions from a number of different fields, such as the computer sciences, systems and control theory, power systems and probability theory. Power networks (or generally 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). The aim of this Dagstuhl seminar (conference) is 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. The seminar will cover relevant approaches to modeling and analysis of stochastic hybrid dynamics, in the context of energy networks. It will thus foster cross-fertilization between techniques originating from disparate scientific communities, with the seminar hosting contributions from a number of different fields, such as the computer sciences, systems and control theory, power systems and probability theory. (en)
Title	Modeling, Verification, and Control of Complex Systems for Energy Networks Modeling, Verification, and Control of Complex Systems for Energy Networks (en)
skos:prefLabel	Modeling, Verification, and Control of Complex Systems for Energy Networks Modeling, Verification, and Control of Complex Systems for Energy Networks (en)
skos:notation	RIV/49777513:23520/14:43923252!RIV15-MSM-23520___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0090)
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Střelec, Martin
http://linked.open.../riv/druhVysledku	W - Uspořádání (zorganizování) workshopu
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Západočeská univerzita v Plzni / Fakulta aplikovaných věd
http://linked.open...dnocenehoVysledku	29864
http://linked.open...ai/riv/idVysledku	RIV/49777513:23520/14:43923252
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	energy networks; reliability engineering and assessment; formal synthesis; complex stochastic systems; verification; control; analysis (en)
http://linked.open.../riv/klicoveSlovo	complex stochastic systems reliability engineering and assessment analysis control verification energy networks formal synthesis
http://linked.open...ontrolniKodProRIV	[F3A176EBEEC0]
http://linked.open...v/mistoKonaniAkce	Schloss Dagstuhl, Wadern, Germany
http://linked.open...in/vavai/riv/obor	JE
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...ocetUcastnikuAkce	40 (xsd:int)
http://linked.open...nichUcastnikuAkce	38 (xsd:int)
http://linked.open...vavai/riv/projekt	NTIS - New Technologies for Information Society
http://linked.open...UplatneniVysledku	2014
http://linked.open...iv/statKonaniAkce	DE - Spolková republika Německo
http://linked.open...iv/tvurceVysledku	Střelec, Martin Abate, Alessandro Fraenzle, Martin Hiskens, Ian
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/ukonceniAkce	2014-10-31 (xsd:date)
http://linked.open.../riv/zahajeniAkce	2014-10-26 (xsd:date)
http://localhost/t...ganizacniJednotka	23520

Faceted Search & Find service v1.16.116 as of Feb 22 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of Feb 22 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software