Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Science of Design for Societal-Scale Cyber-Physical Systems (CPS)
Home
Call for Students
Research Team
Research Seminars
Summer Exchange
Project Meetings
Publications
Files
CPS-VO
»
Science of Design for Societal-Scale Cyber-Physical Systems (CPS)
» BIBLIO
Biblio
List
Filter
Show only items where
Author
Type
Term
Year
Keyword
is
Anon
A. Emhemed
A. Hahn
A. Khavari
A. Laszka
A. M. Khavari
Alexander Pretschner
Alexander Trende
Alicia Flores Requardt
Amay Saxena
Amjad Ibrahim
Anand Narayan
Andras Kemeny
Andreas Hein
Andreas Lüdtke
Andreas Luedtke
Andreas Wendemuth
Anirudh Unni
Annabelle Pratt
Annika Dreßler
Antoine Scemama
Arjen van der Meer
Armin Grunwald
Arvind Easwaran
Astrid Nieße
Astrid Rakow
Avi Gopstein
Avi M. Gopstein
Aviv Tamar
Axel Hahn
B. Potteiger
B. Weinert
Badger, Julia M.
Bai Xue
Barve, Yogesh
Bastian Cornelsen
Benedikt Kretzmeyer
Bernhard Steffen
Bert Böddeker
Bertram Wortelen
Bianca Biebl
Bican Xia
Birte Kramer
Björn Koopmann
Black, Nancy L.
Boris Wirtz
Bradley Potteiger
Brionna Davis
Burns, Martin
C. Steinbrinki
C. Tang
Caltais, Georgiana
Cámara, Javier
Carlos A. Barreto
Carlos Barreto
Charles Hartsell
CheeYee Tang
Chih-Yuan Chiu
Christian Hinrichs
Christian Köhler
Christian Lehsing
Christian Neurohr
Claire J. Tomlin
Claire Tomlin
Cornelia Schmidt
Cornelius Steinbrink
Cuong Nguyen
Cyndi Moyo
D. E. Morales Bondy
D. H. Le
Dang Van Hung
Daniel E. Morales Bondy
Daniel Sonntag
Dario Niermann
Dasom Lee
David G. Holmberg
David Holmberg
David J. Hess
David L Freyberg
Davood Babazadeh
Detlef Houdeau
Donggun Lee
Duncan Callaway
E. Guillo-Sansano
E. Rikos
Eckard Böde
Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer
Eckhard Böde
Edmund Widl
Edward Griffor
Ehsan Zibaei
Eike Möhlmann
Elena Arcidiacono
Emfinger, William
Eric M. S. P. Veith
Eric Veith
Erika Puiutta
Esther Bosch
Evangelos Pournaras
F. Eggert
F. Köster
Fabian Walocha
Fei Yan
Felix Lehfuss
Filip Pröstl Andrén
Florent Colombet
Florian Andres
Florian Schlögl
Frank Köster
Frank Poppen
Franziska Roesner
Frauke Oest
Frédéric Mérienne
G. Karsai
Gabor Karsai
Georg Lauss
Glückler, Johannes
Grace Jennings
Günter Ehmen
H. Neema
Harsh Vardhan
Hauer, Florian
Hengjun Zhao
Hess, David J
Himanshu Neema
Höfig, Kai
Holzinger, Andreas
Ilias Gerostathopoulos
Ingo Siegert
Ingo Stierand
Isil Dillig
J. Sztipanovits
Jakob Scheunemann
James Worrell
Jamie Fisac
Jan Grippenkoven
Jan Sören Schwarz
Jan Steffen Becker
Jan-Patrick Osterloh
Janos Stzipanovits
Janos Sztipanovits
Jelmer Borst
Jessica Heesen
Jiani Li
Jipp Meike
Jochem Rieger
Jochem Rieger
Jochem W. Rieger
Johanna Grund
Johannes Helbig
Jonathan Lacotte
Jörg Bremer
Jörg Tegtmeier
Jörn Mu
Joseph Menke
Julian Nida-Rümelin
Julian Schindler
Jürgen Niehaus
Jutta Geldermann
K. Stouffer
Kacianka, Severin
Kai Heussen
Karin Quaas
Karsten Lemmer
Keith Stouffer
Kevin M. Smith
Kieseberg, Peter
Kim Grüttner
Klas Ihme
Klaus Bengler
Klaus Heine
Krivine, Jean
Lars Weber
Lee, Dasom
Lukas Westhofen
M Blanki
M. H. Syed
M. Uslar
M. Z. Degefa
Mahsa Shirmohammadi
Maike Schwammberger
Mani Swaminathan
Marc Wilbrink
Marco Pavone
Margaret Chapman
Marie-Christin Harre
Marie-Christin Harre, Andreas Lüdtke
Marija Ilic
Mario Faschang
Marita Blank-Babazadeh
Marius Siemonsmeier
Marjan Sirjani
Mark Busse
Mark Eilers
Mark Ruth
Mark Schweda
Marten Lohstroh
Martin Baumann
Martin Burns
Martin Fraenzle
Martin Fränzle
Martin Frönzle
Martin J. Burns
Matthias Büker
Matthis Eicher
Maximilian Kneissl
Meike Jipp
Meilun Li
Meng Zhang
Merkebu Z. Degefa
Merle Weßel
Meyer, Heinz-Dieter
Michael Decker
Michael Sonnenschein
Michael Sonneschein
Milos Cvetkovic
Mingshuai Chen
Mirco Käsberg
Mohamed Abdelaal
Moritz Held
Muhammad Alam
N. Akroud
N. Hatziarhyriou
Naijun Zhan
Narayanan Rajagopal
Neal M. Sarkar
Neema, Himanshu
Neumann, W. Patrick
Nguyen, Cuong
Nikos Hatziargyriou
Nils Müllner
Noy, Ian
Olaf Op den Camp, Jeroen Uittenbogaard, Maximilian Schwalm, Bram Bakker, Marie-Christin Harre
Oleg Sokolsky
Oliver Gehrke
P. Kotsampopoulos
P. Volgyesi
Panos Kotsampopoulos
Patricia Derler
Patricia Hidalgo-Gonzalez
Paul Boynton
Paul Kröger
Peter Dabrock
Peter Heidl
Peter Liggesmeyer
Peter N. Mosaad
Peter Palensky
Peter Volgyesi
Philipp Ittershagen
Philipp Reinkemeier
Philipp Slusallek
Phillips, Scott
Poechhacker, Nikolaus
Q. T. Tran
Qiuhua Huang
Qiuye Wang
R. Brandl
Ralf Kalmar
Raphael Stern
Rees, Stephen
Rimo Arndt
Ritika Shrivastava
Rodrigo Henriquez-Auba
Roel Dobbe
Roland Galbas
Roth, Thomas
Rozier, Kristin Yvonne
Rupamathi Jaddivada
S. Lehnhoff
S. Rohjans
Saifullah Khan
Sanjit A. Seshia
Sean Anderson
Sebastian Feuerstack
Sebastian Lehnhoff
Sebastian Rohjans
Sebastian vom Dorff
Serdar Tasiran
Sergiy Bogomolov
Severin Kacianka
Shankar Sastry
Shenghua Feng
Simon Rehwald
Song, Eugene
Stefan Puch
Steffen, Martin
Steinbrink, Cornelius
Stephan Balduin
Stéphane Espié
Stephanie Kemper
Steven Bushby
Steven T. Bushby
Suarsana, Laura
Sulayman K. Sowe
Susmit Jha
Sven Hallerbach
Sztipanovits Janos
Sztipanovits, Janos
T. I. Strasser
Taylor Pothast
Thomas Peikenkamp
Thomas Raub
Thomas Roth
Thomas Strasser
Thorsten van Ellen
Threet, Zachariah
Tiziana Margaria
Tjark Koopmann
Tjoa, A Min
Tobias Klesel
Tobias Matzner
Tobias Witt
Tom McDermott
Ulrich Eberle
Uwe Drewitz
V. H. Nguyen
Victoria Cheng
Victoria Tuck
W. Emfinger
Weippl, Edgar
Werner Damm
Willem Hagemann
Willem Hagemann
William Emfinger
X. Koutosukos
X. Koutsoukos
Xenofon D. Koutsoukos
Xenofon Koutsoukos
Xingyu Zhou
Y. Vorobeychik
Yangjia Li
Yash Vardhan Pant
Yi Li
Yingying Tang
Yiqun Xia
Yogesh Bichpuriya
Yuanfang Chen
Yuyin Song
Zeller, Marc
Zhikun She
Book Chapter
Conference Paper
Journal Article
Journal
Conference Proceedings
Report
Thesis
Patent
Presentation
Miscellaneous
Unpublished
Associated Award ID - 1743772
Keywords - 1743772
Keywords - ACC
Keywords - accountability
Keywords - actuation capability
Keywords - adaptability
Keywords - adaptive cruise control
Keywords - adaptive driver assistance
Keywords - AI
Keywords - Analytical models
Keywords - approximate safety verification
Keywords - architecture management approaches
Keywords - Artificial Intelligence
Keywords - attacker-defender games
Keywords - automated vehicles
Keywords - automation
Keywords - Automation systems
Keywords - automotive
Keywords - autonomous adaptive control
Keywords - autonomous aerial vehicles
Keywords - Autonomous automobiles
Keywords - Autonomous Driving
Keywords - autonomous driving system parameters
Keywords - autonomous Droop-Controlled Inverter-based microgrids
Keywords - autonomous systems
Keywords - autonomous vehicle
Keywords - autonomous vehicle interaction
Keywords - autonomous vehicles
Keywords - Bayesian networks
Keywords - behavior detection
Keywords - bounded temporal horizon
Keywords - bounded verification techniques
Keywords - brain-level interactions
Keywords - causal models
Keywords - causation
Keywords - classical stability theory
Keywords - closed-loop systems
Keywords - Cloud Computing
Keywords - co-simulation
Keywords - Co-Simulations
Keywords - Collaborative Work
Keywords - communication technologies
Keywords - complex infrastructures
Keywords - Computational modeling
Keywords - computer architecture
Keywords - computer security
Keywords - Computer simulation
Keywords - Computers and Society
Keywords - Connected Vehicle
Keywords - connected vehicles
Keywords - control
Keywords - controller
Keywords - courses of action
Keywords - CPS (cyber-physical system)
Keywords - CPS attack experiments
Keywords - critical infrastructure
Keywords - critical infrastructures
Keywords - cyber components
Keywords - cyber physical systems
Keywords - Cyber Physical Systems (CPS)
Keywords - cyber-attack effect evaluation
Keywords - cyber-physical system
Keywords - cyber-physical systems
Keywords - Cyber–physical systems (CPSs)
Keywords - cybersecurity design process
Keywords - Cyberspace
Keywords - Dams Sector
Keywords - Data Structures and Algorithms
Keywords - Data-driven controllers
Keywords - DDEs
Keywords - Delay Differential Equations
Keywords - delay-dependent estimations spectral analysis
Keywords - delayed coupling
Keywords - delayed interaction
Keywords - delays
Keywords - denial-of-service attacks
Keywords - detection
Keywords - Distributed model
Keywords - distributed simulation
Keywords - Distributed Simulations
Keywords - Docker
Keywords - domain specific characteristics
Keywords - domain-specific aspects
Keywords - domain-specific requirements elicitation
Keywords - Driver assistance systems
Keywords - driver models
Keywords - driver state assessment
Keywords - driver state identification
Keywords - driver workload estimation
Keywords - driving
Keywords - driving behavior modeling
Keywords - Driving Simulation
Keywords - driving simulator experiments
Keywords - drones
Keywords - dual-task
Keywords - dynamic conflict resolution
Keywords - dynamic systems
Keywords - e-Navigation
Keywords - EAM
Keywords - embedded computers
Keywords - embedded control
Keywords - embedded systems
Keywords - energy domain
Keywords - energy management
Keywords - ethics
Keywords - execution-integration
Keywords - Experimental Testbed
Keywords - Experimentation
Keywords - Explanations
Keywords - facial recognition
Keywords - federated testbeds
Keywords - finite-time reachability approach
Keywords - Floods
Keywords - fNIRS
Keywords - formal methods
Keywords - formal modeling
Keywords - formal reasoning
Keywords - frequency
Keywords - Frequency Regulation
Keywords - frustration
Keywords - functional near-infrared spectroscopy
Keywords - game-graph
Keywords - Games
Keywords - grids
Keywords - halpern-pearl models
Keywords - Hardware
Keywords - hardware-in-the loop simulation
Keywords - hardware-in-the-loop
Keywords - hardware-in-the-loop simulation testbed
Keywords - HAV
Keywords - high level architecture (HLA)
Keywords - high-level architecture
Keywords - highly automated vehicle
Keywords - Highly Automated Vehicles
Keywords - highway assistants
Keywords - HIL testbed
Keywords - HMI Design
Keywords - holistic models
Keywords - Human behavior
Keywords - Human Cyber Physical Systems
Keywords - human impacts. hydrometeorology
Keywords - human interaction
Keywords - human operated traffic
Keywords - human vehicle interaction
Keywords - human-autonomous vehicle interactions
Keywords - hybrid dynamical systems
Keywords - hybrid power dynamics
Keywords - hydrologyde
Keywords - industrial internet
Keywords - Industrie 4.0
Keywords - information and communication technologies
Keywords - information and communication technology
Keywords - integration
Keywords - internet
Keywords - Internet of Things
Keywords - Internet of Things (IoT)
Keywords - interoperability
Keywords - interoperability perspectives
Keywords - Justification based reasoning
Keywords - low inertia
Keywords - machine human interaction
Keywords - MAF
Keywords - maritime domain
Keywords - Memory
Keywords - mental workload
Keywords - Microgrids
Keywords - model based software development framework
Keywords - Model Integrated Computing
Keywords - model-based optimization
Keywords - model-driven engineering
Keywords - model-integration
Keywords - modeling
Keywords - modeling and simulation
Keywords - modeling and simulation integration platform
Keywords - Multi Agent System
Keywords - multi driver studies
Keywords - neurophysiological sensors
Keywords - object detection model
Keywords - open systems
Keywords - optimization and control
Keywords - PAC
Keywords - peerreviewed
Keywords - performance optimization
Keywords - physical components
Keywords - physical means
Keywords - physical system
Keywords - PIRE
Keywords - platform specific performance measurements
Keywords - power engineering computing
Keywords - power grids
Keywords - power system simulation
Keywords - predictive control
Keywords - railway transportation system
Keywords - RAM
Keywords - reachability
Keywords - Regulation
Keywords - Reinforcement learning
Keywords - renewable energy
Keywords - Requirements
Keywords - resilience
Keywords - resilient cyber-physical systems
Keywords - responsibility
Keywords - risk-neutral
Keywords - risk-sensitive evaluation
Keywords - Routing protocols
Keywords - Safety
Keywords - safety verifications
Keywords - safety-critical domains
Keywords - secure cyber-physical systems
Keywords - security
Keywords - security and resilience
Keywords - security of data
Keywords - SGAM
Keywords - simulation
Keywords - simulation and modeling
Keywords - simulation environment
Keywords - simulation environments
Keywords - simulation integration platforms
Keywords - SInformation Visualization
Keywords - Smart Grid
Keywords - smart power grids
Keywords - smart transportation systems
Keywords - smart-grid
Keywords - Societal Design
Keywords - Societal Designs
Keywords - socio- technical system-of-systems
Keywords - socio-technical systems
Keywords - Software
Keywords - software engineering
Keywords - Sparse Learned Controllers
Keywords - standardized elicitation
Keywords - state variables
Keywords - statistically formal verification
Keywords - stochastic dynamic systems
Keywords - stormwater catchment
Keywords - stormwater infrastructure
Keywords - string stable
Keywords - Structural Causal Models
Keywords - SURE
Keywords - synthesizing controllers
Keywords - system architectures
Keywords - System Dynamics
Keywords - system failures
Keywords - system functions
Keywords - system of systems
Keywords - system properties
Keywords - system-of-system engineering efforts
Keywords - Systems
Keywords - Systems Simulation
Keywords - technical dynamic systems
Keywords - testbed
Keywords - testbed science
Keywords - time-critical situations
Keywords - tool-integration
Keywords - Traffic
Keywords - traffic control
Keywords - Traffic flow
Keywords - traffic networks
Keywords - Traffic Safety
Keywords - traffic scenarios
Keywords - Transportation
Keywords - Transportation Networks
Keywords - unbounded temporal horizon
Keywords - unmanned aerial vehicle case study
Keywords - Urban areas
Keywords - urban grid network
Keywords - urban transportation
Keywords - V2V
Keywords - Variable Inertia
Keywords - vehicle dynamics
Keywords - vehicle to vehicle communications
Keywords - verification
Keywords - virtual reality
Keywords - vision-based vehicle detection
Keywords - visual attention
Keywords - visual-motor coordination
Keywords - vulnerability assessment
Keywords - Water and Wastewater Systems Sector
Keywords - working memory load
SoS LR 3.0: Hard Problem - Resilient Architectures
SoS LR 3.0: Lablet - VU
SoS LR 3.0: Project - Foundations of a CPS Resilience
Topics - Automotive
Topics - Avionics
Topics - Critical Infrastructure
Topics - Dams Sector
Topics - Smart Grid
Topics - Transportation
Topics - Water and Wastewater Systems Sector
2022
2021
2020
2019
2018
2017
2016
2014
1743772
ACC
accountability
actuation capability
adaptability
adaptive cruise control
adaptive driver assistance
AI
Analytical models
approximate safety verification
architecture management approaches
artificial intelligence
attacker-defender games
automated vehicles
Automation
Automation systems
automotive
autonomous adaptive control
autonomous aerial vehicles
Autonomous automobiles
autonomous driving
autonomous driving system parameters
autonomous Droop-Controlled Inverter-based microgrids
autonomous systems
autonomous vehicle
autonomous vehicle interaction
Autonomous vehicles
avionics
Bayesian networks
behavior detection
bounded temporal horizon
bounded verification techniques
brain-level interactions
causal models
causation
classical stability theory
closed-loop systems
cloud computing
Co-Simulation
Co-Simulations
Collaborative Work
communication technologies
complex infrastructures
Computational modeling
Computer architecture
computer security
Computer simulation
Computers and Society
connected vehicle
connected vehicles
Control
controller
courses of action
CPS (cyber-physical system)
CPS attack experiments
critical infrastructure
critical infrastructures
cyber components
cyber physical systems
Cyber Physical Systems (CPS)
cyber-attack effect evaluation
cyber-physical system
Cyber-physical systems
Cyber–physical systems (CPSs)
cybersecurity design process
Cyberspace
Dams Sector
Data Structures and Algorithms
Data-driven controllers
DDEs
Delay Differential Equations
delay-dependent estimations spectral analysis
delayed coupling
delayed interaction
delays
denial-of-service attacks
detection
Distributed model
distributed simulation
Distributed Simulations
Docker
domain specific characteristics
domain-specific aspects
domain-specific requirements elicitation
Driver assistance systems
driver models
driver state assessment
driver state identification
driver workload estimation
driving
driving behavior modeling
Driving Simulation
driving simulator experiments
drones
dual-task
dynamic conflict resolution
dynamic systems
e-Navigation
EAM
embedded computers
embedded control
Embedded systems
energy domain
Energy management
Ethics
execution-integration
Experimental Testbed
experimentation
Explanations
facial recognition
federated testbeds
finite-time reachability approach
Floods
fNIRS
formal methods
formal modeling
formal reasoning
Foundations of a CPS Resilience
frequency
Frequency Regulation
frustration
functional near-infrared spectroscopy
game-graph
Games
grids
halpern-pearl models
Hardware
hardware-in-the loop simulation
Hardware-in-the-Loop
hardware-in-the-loop simulation testbed
HAV
high level architecture (HLA)
high-level architecture
highly automated vehicle
Highly Automated Vehicles
highway assistants
HIL testbed
HMI Design
holistic models
Human Behavior
Human Cyber Physical Systems
human impacts. hydrometeorology
human interaction
human operated traffic
human vehicle interaction
human-autonomous vehicle interactions
hybrid dynamical systems
hybrid power dynamics
hydrologyde
Industrial Internet
industrie 4.0
information and communication technologies
information and communication technology
integration
Internet
Internet of Things
Internet of Things (IoT)
interoperability
interoperability perspectives
Justification based reasoning
low inertia
machine human interaction
MAF
maritime domain
Memory
mental workload
Microgrids
model based software development framework
Model Integrated Computing
model-based optimization
model-driven engineering
model-integration
Modeling
Modeling and Simulation
modeling and simulation integration platform
Multi Agent System
multi driver studies
neurophysiological sensors
object detection model
open systems
optimization and control
PAC
peerreviewed
Performance optimization
physical components
physical means
physical system
PIRE
platform specific performance measurements
power engineering computing
power grids
power system simulation
predictive control
railway transportation system
RAM
reachability
Regulation
reinforcement learning
renewable energy
requirements
resilience
Resilient Architectures
resilient cyber-physical systems
responsibility
risk-neutral
risk-sensitive evaluation
Routing protocols
Safety
safety verifications
safety-critical domains
secure cyber-physical systems
security
security and resilience
security of data
SGAM
simulation
simulation and modeling
simulation environment
simulation environments
simulation integration platforms
SInformation Visualization
Smart grid
smart power grids
smart transportation systems
smart-grid
Societal Design
Societal Designs
socio- technical system-of-systems
socio-technical systems
Software
software engineering
Sparse Learned Controllers
standardized elicitation
state variables
statistically formal verification
stochastic dynamic systems
stormwater catchment
stormwater infrastructure
string stable
Structural Causal Models
SURE
synthesizing controllers
system architectures
System Dynamics
system failures
system functions
system of systems
system properties
system-of-system engineering efforts
Systems
Systems Simulation
technical dynamic systems
testbed
testbed science
time-critical situations
tool-integration
traffic
Traffic Control
Traffic flow
traffic networks
Traffic Safety
traffic scenarios
Transportation
Transportation networks
unbounded temporal horizon
unmanned aerial vehicle case study
Urban areas
urban grid network
urban transportation
V2V
Variable Inertia
Vehicle dynamics
vehicle to vehicle communications
verification
virtual reality
vision-based vehicle detection
visual attention
visual-motor coordination
VU
vulnerability assessment
Water and Wastewater Systems Sector
working memory load
Biblio