Workshop on Game Changing and Controversial Topics in Cyber-Physical Systems - List of Presentations |
First Name |
Last Name |
Affiliation |
E-mail |
Presentation |
Sergiy |
Bogomolov |
Institute of Science and Technology Austria |
sergiy.bogomolov@ist.ac.at |
Abstractions for CPS |
Manfred |
Broy |
Zentrum Digitalisierung.Bayern (Center Digitization.Bavaria) |
Silke.Mueller@zd-b.de |
Modeling CPS Reliability * From Program to CPS Correctness |
David |
Corman |
National Science Foundation |
dcorman@nsf.gov |
CPS: Some Current Controversies |
Tamas |
Daboczi |
Budapest University of Technology and Economics |
daboczi@mit.bme.hu |
Handling Unusual and Umodeled Events |
Holger |
Giese |
Hasso Plattner Institue at the University of Potsdam |
holger.giese@hpi.uni-potsdam.de |
Self-Awareness- A Game Changing Topic for Cyber- Physical Systems? |
Edward |
Griffor |
NIST |
edward.griffor@nist.gov |
Game Changing and Controversial Topics in CPS |
Ethan |
Jackson |
Microsoft Research |
ejackson@microsoft.com |
What is (not) a system science for CPS? |
Gabor |
Karsai |
Vanderbilt University |
gabor.karsai@vanderbilt.edu |
Extreme-Scale CPS |
Xenofon |
Koutsoukos |
Vanderbilt University |
xkoutsou@alumni.nd.edu |
Energy-Based Control Design of Cyber-Physical Systems (CPS Design Using Acausal Models) |
Aron |
Laszka |
UC Berkeley |
laszka.aron@gmail.com |
Security and Resilience Problems in Unmanned Aircraft Systems (UAS) and UAV Traffic Management (UTM) |
Edward |
Lee |
UC Berkeley |
eal@eecs.berkeley.edu |
Determinsim: Resurrecting Laplace's Demon |
Insup |
Lee |
University of Pennsylvania |
lee@cis.upenn.edu |
Model Based Approach for Assuring Safety of Human-CPS Interactions? |
Pieter |
Mosterman |
MathWorks/McGill University |
pieter.mosterman@mathworks.com |
|
Sandeep |
Neema |
Vanderbilt University |
sandeep@isis.vanderbilt.edu
|
Machine Learning - Game Changer for CPS? |
Andras |
Pataricza |
Budapest University of Technology and Economics |
pataric@mit.bme.hu |
|
Bernhard |
Rumpe |
RWTh Aachen University |
rumpe@se-rwth.de |
|
Joseph |
Salvo |
GE Global Research |
Salvo@ge.com |
The Great Disruption: The Industrial Internet and Digital Manufacturing |
Joseph |
Sifakis |
EPFL |
joseph.sifakis@epfl.ch |
Core Research Topics for CPS |
Jonathan |
Sprinkle |
University of Arizona |
sprinkjm@email.arizona.edu |
We Don't Need No Education |
Janos |
Sztipanovits |
Vanderbilt University |
janos.sztipanovits@vanderbilt.edu |
Model-based Design and Epistemic Uncertainties |
Daniel |
Varro |
Budapest University of Technology and Economics |
daniel.varro@gmail.com |
Design-time Models vs. Run-time Models |