booklet of cps week 2016

CPS Week 2016 2

Contents

Welcome to CPS Week 2016 .............................................................................................. 4 Organizers ........................................................................................................................... 5 Sponsors .............................................................................................................................. 8 CPS Week Overview ......................................................................................................... 11

List of events .................................................................................................................. 11

Program overview .......................................................................................................... 14 Venue Map ..................................................................................................................... 16 Way to Mittlere Lounge .................................................................................................. 19 Banquet .......................................................................................................................... 20

Opening and Keynote Speakers ........................................................................................ 21

Scientific Keynotes ......................................................................................................... 21 Industrial Keynotes ......................................................................................................... 23

Morning Opening Speakers ............................................................................................ 27 Banquet Opening Speakers ........................................................................................... 29 MathWorks Industry Talk ................................................................................................ 30

Tutorials ............................................................................................................................. 31

Control Theoretical Tools for Analysis and Design of Cyber-Physical Systems ............. 32 Domain Specific Language and Management Environment ........................................... 33 From Idea to Provably Safe Implementation .................................................................. 34

Game-Theoretic Methods for Cyber-Physical Systems .................................................. 35 Modelling and Analysis of Communicating Systems ...................................................... 36

Parameter-Invariant Monitor Design for Cyber Physical Systems .................................. 37 Conferences ...................................................................................................................... 38

HSCC 2016 .................................................................................................................... 38

ICCPS 2016 ................................................................................................................... 44

IPSN 2016 ...................................................................................................................... 50 RTAS 2016 ..................................................................................................................... 56

Workshops ......................................................................................................................... 62

ARCH 2016 .................................................................................................................... 63 ConsIoT 2016 ................................................................................................................. 65

CPPS 2016 .................................................................................................................... 66 CPS Data 2016 .............................................................................................................. 68 CPSoS ........................................................................................................................... 69

CPSR-SG 2016 .............................................................................................................. 70 CySWater 2016 .............................................................................................................. 72

DARS 2016 .................................................................................................................... 74 DCPS 2016 .................................................................................................................... 74 EITEC 2016 .................................................................................................................... 76

IDEA 2016 ...................................................................................................................... 77 Medical CPS 2016.......................................................................................................... 79 MSCPES 2016 ............................................................................................................... 81 MT CPS 2016 ................................................................................................................. 83

SCOPE 2016 with GCTC ............................................................................................... 84 SCSP-W ......................................................................................................................... 86 SelPhyS 2016 ................................................................................................................ 88

3 CPS Week 2016

SNR 2016 ....................................................................................................................... 89 SoSCYPS ....................................................................................................................... 91 SPBD 2016 .................................................................................................................... 92 TuToR ............................................................................................................................ 93

Collocated Events .............................................................................................................. 94

Microsoft Indoor Localization Competition ...................................................................... 94 CPS Community Forum ................................................................................................. 95 EMC² Summit 2016 ........................................................................................................ 97 Transatlantic Cyber-Physical Systems Summit ............................................................ 100

Exhibitions ....................................................................................................................... 101

Local Information ............................................................................................................. 102 About Vienna ................................................................................................................ 102 Transportation in Vienna .............................................................................................. 103

Hotel information .......................................................................................................... 105 Sightseeing .................................................................................................................. 105 Museums ...................................................................................................................... 106

Music and Theater........................................................................................................ 107 Coffee houses .............................................................................................................. 108

Restaurants .................................................................................................................. 109 Wifi ................................................................................................................................... 109

CPS Week 2016 4

Welcome to CPS Week 2016 It is our great pleasure to welcome you at CPS-Week 2016 in Vienna. The four main conferences, 21 workshops, six tutorials, three summit meetings, the localization competition, and the RiSE LogiCS spring-school cover all the important topics in CPS, and justify the reputation of CPS-Week as the world’s leading event in the area of cyber-physical systems. The collocation of CPS-Week with the Artemis Spring-Event also enables the interaction between academia and industry. We hope that you will get back home enriched by attending this event, and also by the history, culture, and beauty of Vienna, and Austria. Radu Grosu and Tom Henzinger CPS-Week Chairs

5 CPS Week 2016

Organizers

Organizing Committee General co-Chairs Radu Grosu, Vienna University of Technology, Austria Thomas A. Henzinger, Institute of Science and Technology (IST), Austria Finance Chair Dejan Nickovic, Austrian Institute of Technlogy (AIT), Austria Industrial Liaison co-Chairs Stefan Poledna, TTTech, Austria Peter Palensky, Delft University of Technology, Netherlands Local Arrangement Chair Ezio Bartocci, Vienna University of Technology, Austria Publication Chair Edmund Widl, Austrian Institute of Technlogy (AIT), Austria Publicity Chair Hermann Kopetz, Vienna University of Technology, Austria Registration co-Chairs Sergiy Bogomolov, Institute of Science and Technology (IST), Austria Edmund Widl, Austrian Institute of Technlogy (AIT), Austria Student Volunteer Program Chair Przemysław Daca, Institute of Science and Technology (IST), Austria Web and Social Media Chair Ezio Bartocci, Vienna University of Technology, Austria Workshops/Demo co-Chairs Christoph Kirsch, University of Salzburg, Austria Ana Sokolova, University of Salzburg, Austria

Steering Committee Chair George J. Pappas, University of Pennsylvania, USA Committee Members Werner Damm, University of Oldenburg, Germany

CPS Week 2016 6

Insup Lee, University of Pennsylvania, USA Sanghyuk Son, DGIST, Korea and University of Virginia, USA Jack Stankovic, University of Virginia, USA Feng Zhao, Microsoft, China Raj Rajkumar, Carnegie Mellon University, USA

Conference Organizers HSCC PC co-Chairs Georgios Fainekos, Arizona State University, USA Alessandro Abate, University of Oxford, UK ICCPS General co-Chairs Xenophone Koutsoukos, Vanderbilt University, USA Ian Mitchell, University of British Columbia, Canada ICCPS PC co-Chairs Sonia Martinez, University of California, USA Eduardo Tovar, University of Porto, Portugal IPSN General Chair Guoliang Xing, Michigan State University, USA IPSN TPC co-Chairs Suman Nath, Microsoft Research, USA Niki Trigoni, University of Oxford, UK David Culler, University of California at Berkeley, USA RTAS General Chair Jim Anderson, University of North Carolina at Chapel Hill, USA RTAS Program Chair Rob Davis, University of York, UK

Organizing Universities Vienna University of Technology (TU Wien), Vienna, Austria Institute of Science and Technology (IST Austria), Klosterneuburg, Austria Austrian Institute of Technology (AIT Austria), Vienna, Austria University of Salzburg, Salzburg, Austria Österreichische Computer Gesellschaft / Austrian Computer Society OSG Austrian Research Promotion Agency (FFG)

7 CPS Week 2016

Volunteers Andreas Brandstätter (TU Wien) Przemek Daca (IST Austria) Lukas Esterle (TU Wien) Andreas Fellner (AIT, TU Wien) Bernhard Frömel (TU Wien) Mirco Giacobbe (IST Austria) Ramin Hasani (TU Wien) Christian Hirsch (TU Wien) Ahmad Istiaq (AIT, TU Wien) Stefan Jaksic (AIT, TU Wien) Ayrat Khalimov (TU Graz) Hui Kong (IST Austria) Bernhard Kragl (IST Austria) Anna Lukina (TU Wien) Patrick Moosbrugger (TU Wien) Andreas Pavlogiannis (IST Austria) Alena Rodionova (TU Wien) Mohamed Amin Ben Sassi (TU Wien) Christoph Schmittner (AIT, TU Wien) Konstantin Selyunin (TU Wien) Khan Sohail (AIT, TU Wien) Thorsten Tarrach (IST Austria) Ikram Ullah (AIT, TU Wien) Guodong Wang (TU Wien)

Booklet authors Przemek Daca, Ramin Hasani, Anna Lukina, Patrick Moosbrugger, Alena Rodionova, Konstantin Selyunin and Guodong Wang.

CPS Week 2016 8

Sponsors

Platinum Sponsor

Gold Sponsors

Silver Sponsors

Travel Award Sponsors

9 CPS Week 2016

Technical Sponsors

Localization Competition Sponsors

Institutional Sponsors

CPS Week 2016 10

11 CPS Week 2016

CPS Week Overview The CPS Week brings together four leading conferences - HSCC, ICCPS, IPSN and RTAS - as well as several workshops and tutorials on various aspects on the research and development of cyber-physical systems: Embedded Systems, Hybrid Systems, Real-Time Systems, and Sensor Networks.

List of events

Conferences

1. HSCC 2016 - the 19th ACM International Conference on Hybrid Systems: Computation and Control

2. ICCPS 2016 - the 7th ACM/IEEE International Conference on Cyber-Physical Systems

3. IPSN 2016 - the 15th ACM/IEEE International Conference on Information Processing in Sensor Networks

4. RTAS 2016 - the 22nd IEEE Real-Time and Embedded Technology and Applications Symposium

Tutorials

1. Control Theoretical Tools for Analysis and Design of Cyber-Physical Systems

2. Domain Specific Language and Management Environment for Extensible Cyber Physical Systems

3. From Idea to Provably Safe Implementation - Modeling, Proving, Simulation, and Synthesis in KeYmaera X

4. Game-Theoretic Methods for Cyber-Physical Systems

5. Modelling and Analysis of Communicating Systems

6. Parameter-Invariant Monitor Design for Cyber Physical Systems

Workshops

1. ARCH 2016 3rd International Workshop on Applied veRification for Continuous and Hybrid Systems

2. ConsIoT 2016 1st International Workshop on Consumers and the Internet of Things

3. CPPS 2016 1st International Workshop on Cyber-Physical Production Systems

4. CPS Data 2nd International Workshop on modelling, analysis, and control of complex CPS

CPS Week 2016 12

5. CPSR-SG 2016

Joint International Workshop on Cyber-Physical Security and Resilience in Smart Grids

6. CPSoS Cyber-Physical Systems of Systems

7. CySWater 2016

2nd International Workshop on Cyber-Physical Systems for Smart Water Networks

8. DARS 2016 Workshop on Design and Analysis of Robust Systems

9. DCPS 2016 First CPSWeek Workshop on Declarative Cyber-Physical Systems

10. EITEC 2016 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems

11. IDEA 2016 Integrating Dataflow, Embedded Computing, and Architecture

12. Medical CPS 2016

7th International Workshop on Medical Cyber-Physical Systems

13. MSCPES 2016

Modeling and Simulation of Cyber-Physical Energy Systems

14. MT CPS 2016 Monitoring and Testing Cyber-Physical Systems

15. SCOPE 2016 w/GCTC

1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC)

16. SCSP-W Smart City Security and Privacy Workshop

17. SelPhyS 2016 Self-Awareness in Cyber-Physical Systems

18. SNR 2016 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis

19. SOSCYPS Science of Security of CPS

20. SPBD 2016 1st Workshop on Security and Privacy in Big Data

21. TuToR Tutorial-Workshop on Tools for Real-Time Systems

(List of events continues on the next page)

13 CPS Week 2016

Collocated events

1. Microsoft Indoor Localization Competition

2. CPS Community Forum (The forum is open to all CPS Week 2016 attendees free of cost)

3. EMC2 - Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

4. Transatlantic Cyber-Physical Systems Summit

CPS Week 2016 14

Program overview * Workshops starting times vary – please see the specific schedule.

Time Monday

11/04/2016 Tuesday

12/04/2016 Wednesday 13/04/2016

Thursday 14/04/2016

07:15-8:10

Registration

Registration

Registration

08:10-8:15

Opening: Max Lemke, European Commission - DG

CONNECT 08:15-8:25

Opening: Johannes Fröhlich, TU Wien

Rectorate

Opening: Michael Wiesmuller, BMViT 08:25-

8:30 Presentation of CPS Week

2017

08:30-9:00

Workshops* & Tutorials Localization

Competition EMC2 and CPSoS

Keynote: Rajeev Alur

Keynote: Ken Butts

Keynote: Tomaso Poggio 09:00-9:30

Keynote: Rada Rodriguez

09:30-10:00

Coffee Break Keynote: Joseph J. Salvo Coffee Break

10:00-10:30

Conference Day 1 - Session 1

(HSCC, ICCPS, IPSN, RTAS)

Workshops

Keynote: Sabine Herlitschka

Conference Day 3 - Session 6 (HSCC, ICCPS, IPSN, RTAS)

ARTEMIS Spring Event

10:30-11:00

Coffee Break Coffee Break

11:00-11:30 Workshops &

Tutorials Localization





11:30-12:00

12:00-12:30

Lunch Lunch 12:30-13:00

Lunch Lunch 13:00-13:30

13:30-14:00



Workshops



14:00-14:30 Workshops &






14:30-15:00

15:00-15:30

15:30-16:00

Coffee Break Coffee Break Coffee Break Coffee Break

The program continues on the next page

http://www.cpsweek.org/2016/program.html#lemke

http://www.cpsweek.org/2016/program.html#frohlich

http://www.cpsweek.org/2016/program.html#frohlich

http://www.cpsweek.org/2016/program.html#wiesmuller

http://www.cpsweek.org/2016/program.html#wiesmuller

http://www.cpsweek.org/2016/events.html


http://research.microsoft.com/en-us/events/msindoorloccompetition2016/


http://www.artemis-emc2.eu/events/2016041116-emc2-summit-2016-at-cps-week-2016-vienna-austria-call-for-papers/

http://www.cpsweek.org/2016/program.html#alur

http://www.cpsweek.org/2016/program.html#butts

http://www.cpsweek.org/2016/program.html#poggio

http://www.cpsweek.org/2016/program.html#rodriguez

http://www.cpsweek.org/2016/program.html#salvo

http://www.cs.ox.ac.uk/conferences/hscc2016/

http://iccps.acm.org/2016/

http://ipsn.acm.org/2016/

http://2016.rtas.org/


http://www.cpsweek.org/2016/program.html#herlitschka

http://www.cpsweek.org/2016/program.html#herlitschka
































15 CPS Week 2016

Time Monday

11/04/2016 Tuesday

12/04/2016 Wednesday 13/04/2016

Thursday 14/04/2016

16:00-16:30 Workshops &



Poster & Demo Session Conference Day 2 -

Session 5 (HSCC, ICCPS, IPSN, RTAS)




16:30-17:00

17:00-17:30

Poster & Demo Session

MathWorks Industry Talk: Pieter J. Mosterman,

MathWorks

17:30-18:00

18:00-18:30

CPS Community Forum

ACM SIGBED Meeting (Open to all CPS Week

attendees) Organizers: I. Lee, E. Tovar, O. Sokolsky

Closing

18:30-18:45

18:45-19:00

Break 19:00-19:30

19:30-20:00

Opening: Bernd Rosauer,

Siemens Opening: Heinrich

Daembkes, ARTEMIS-IA

Banquet at Vienna City Hall (Rathaus)

(Awards Cerimony)

Music by Barbara Helfgott & Rondo Vienna

20:00-20:30

20:30-21:00

21:00-21:30

21:30-22:00














http://www.cpsweek.org/2016/program.html#mathworks



http://www.cpsweek.org/2016/program.html#rosaurer

http://www.cpsweek.org/2016/program.html#daembkes

http://www.cpsweek.org/2016/program.html#daembkes

https://en.wikipedia.org/wiki/Rathaus,_Vienna

https://en.wikipedia.org/wiki/Rathaus,_Vienna

http://www.cpsweek.org/2016/program.html#music

http://www.cpsweek.org/2016/program.html#music

CPS Week 2016 16

Venue Map

(see room names on the following pages)

17 CPS Week 2016

Dachfoyer (Rooftop)

Room 1 Foyer

Room 2 Kugel

Room 3 Sitzungssaal

Mezzanin

Room 4 Festsaal

Room 5 Grosser Redountensaal

Room 6 Metternichsaal

Room 7 Zeremoniensaal

Room 8 Hofburg Galerie

Room 9 Kleiner Redoutensaal

Room 10 Rittersaal

Room 11 Geheime Ratstube

Room 12 Marmorsaal

Room 13 Antekammer

Room 14 Trabantenstube

Room 15 Salon

Room 16 Untere Lounge

- Mittlere Lounge

Room 17 Künstlerzimmer

Room 18 Radetzky App. I

Room 19 Radetzky App. II

Room 20 Radetzky App. III

Room 21 Maria Theresien App. I

Room 22 Maria Theresien App. II

Room 23 Maria Theresien App. III

Room 24 Wintergarten

Room 25 Vorsaal

Room 26 Seitengalerie

Room 27 Orchestergang

Room 28 Entree - Zimmer

CPS Week 2016 18

Parterre (ground floor)

Room 29 Prinz Eugen Saal

Room 30 Forum

Room 31 Gardehalle I

Room 32 Gartensaal

Room 33 Schatzkammersaal

Room 34 Erzherzog Karl Saal

Room 35 Halle

Room 36 Seitenhalle

Room 37 Gardehalle II

Room 38 Passageraum

- Souterrain

19 CPS Week 2016

Way to Mittlere Lounge

CPS Week 2016 20

Banquet When: Wednesday, April 13th, at 8:00 pm; entrance starts at 7:30 pm. Where: Rathaus, Lichtenfelsgasse 2, Feststiege 1.

Po

int

A -

CP

S W

eek e

ntr

an

ce, B

- B

an

qu

et

locati

on

21 CPS Week 2016

Opening and Keynote Speakers

Scientific Keynotes Tuesday, April 12th, 8:30-9:30, Grosser Redoutensaal (Room 5)

Rajeev Alur,

Zisman Family Professor,

Computer and Information Science, UPenn, USA

Quantitative Policies over Streaming Data Abstract: Decision making in cyber-physical systems often requires dynamic monitoring of a data stream to compute performance-related quantitative properties. We propose Quantitative Regular Expressions as a high-level declarative language for modular specifications of such quantitative policies. This language is rooted in the emerging theory of regular functions, and every policy described in this language can be compiled into a space-efficient streaming implementation. We describe a prototype system that is integrated within an SDN controller and show how it can be used to specify and enforce dynamic updates for traffic engineering as well as in response to security threats. We conclude by outlining the rich opportunities for both theoretical investigations and practical systems for real-time decision making in IoT applications. This talk is based on recent and ongoing work with Penn researchers Dana Fisman, Sanjeev Khanna, Boon Thau Loo, Kostas Mamouras, Mukund Raghothaman, and Yifei Yuan. Biography: Rajeev Alur is Zisman Family Professor of Computer and Information Science at University of Pennsylvania. He obtained his bachelor's degree in computer science from IIT Kanpur in 1987, and PhD in computer science from Stanford University in 1991. Before joining Penn in 1997, he was with Computing Science Research Center at Bell Labs. His research is focused on formal methods for system design, and spans theoretical computer science, software verification and synthesis, and cyber-physical systems. He is a Fellow of the ACM, a Fellow of the IEEE, an Alfred P. Sloan Faculty Fellow, and a Simons Investigator. He was awarded ACM/IEEE Logic in Computer Science (LICS) Test-of-Time award in 2010 and the inaugural CAV (Computer-Aided Verification) award in 2008, for his work on timed automata. Prof. Alur has served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems), and as the general chair of LICS. He is the author of the textbook Principles of Cyber-Physical Systems (MIT Press, 2015), and is currently the lead PI of NSF Expeditions in Computing center ExCAPE (Expeditions in Computer Augmented Program Engineering).

CPS Week 2016 22

Thursday, April 14th, 8:30-9:30, Grosser Redoutensaal (Room 5)

Tomaso Poggio,

Eugene McDermott Professor

Department of Brain and Cognitive Sciences and at the

Artificial Intelligence Laboratory, MIT, USA

The problem of intelligence: Today's Science, Tomorrow's Engineering

Abstract: The birth of artificial-intelligence research as an autonomous discipline is generally thought to have been the month long Dartmouth Summer Research Project on Artificial Intelligence in 1956, which convened 10 leading electrical engineers — including MIT’s Marvin Minsky and Claude Shannon — to discuss “how to make machines use language” and “form abstractions and concepts.” A decade later, impressed by rapid advances in the design of digital computers, Minsky was emboldened to declare that “within a generation ... the problem of creating ‘artificial intelligence’ will substantially be solved.” The problem, of course, turned out to be much more difficult than AI’s pioneers had imagined. In recent years, by exploiting machine learning — in which computers learn to perform tasks from sets of training examples — artificial-intelligence researchers have built special-purpose systems that can do things like interpret spoken language or play professional-level Go games or drive cars using vision. Some of the present excitement is due to realistic expectations for further progress. There is also a substantial amount of hype. We do not yet understand how the brain gives rise to intelligence, nor do we know how to build machines that are as broadly intelligent as we are. However, systems that are intelligent in narrow domains are being developed. Semi-autonomous driving is possible today and will become increasingly close to autonomous driving over the next decade. Similar advances are taking place in other areas. I will briefly review what we can expect from today’s engineering of intelligence. I will also sketch the vision of the Center for Brains, Minds and Machines which strives to make progress on the science of intelligence — that will eventually enable more sophisticated engineering of intelligence. Biography: Tomaso A. Poggio, is the Eugene McDermott Professor in the Dept. of Brain & Cognitive Sciences at MIT and the director of the NSF Center for Brains, Minds and Machines at MIT. He is a member of the Computer Science and Artificial Intelligence Laboratory and of the McGovern Brain Institute. He received the Laurea Honoris Causa

23 CPS Week 2016

from the University of Pavia for the Volta Bicentennial, the 2003 Gabor Award, the Okawa Prize 2009, the AAAS Fellowship and the 2014 Swartz Prize for Theoretical and Computational Neuroscience. A former Corporate Fellow of Thinking Machines Corporation and a former director of PHZ Capital Partners, Inc., is a director of Mobileye and was involved in starting, or investing in, several other high tech companies including Arris Pharmaceutical, nFX, Imagen, Digital Persona and Deep Mind.

Industrial Keynotes Wednesday, April 13th, 8:30-9:00, Grosser Redoutensaal (Room 5)

Ken Butts

Executive Engineer, Powertrain Control, Toyota, USA

Smart Mobility Society

Abstract: Many consider Smart Mobility to be an exemplar application of cyber-physical systems technology. Here we present an overview of Smart Mobility opportunities and their effect on our society - particularly in the areas of Safety and Ecology. Our ultimate goal for safety is no traffic accidents which we (partially) pursue through active safety, automated driving assist, and autonomy. One of our environmental challenges is to reduce 2050 vehicle carbon dioxide emissions by 90% from 2010 levels. Toward this end, next generation vehicles will use hybrid vehicle technology to yield improved energy efficiency and diversity. Intelligent transportation systems, vehicle connectivity, and smart grid integration offer further benefit. We close by outlining two fundamental research topics our group is pursuing to help realize the Smart Mobility Society: Model Predictive Control and Verification & Validation. Biography: Ken Butts received the B.E. degree in electrical engineering from General Motors Institute (now Kettering University), Flint, MI, the M.S. degree in electrical engineering from the University of Illinois, Urbana-Champaign, and the Ph.D. degree in electrical engineering systems from the University of Michigan, Ann Arbor. He is an Executive Engineer with the Powertrain and Chassis Division, Toyota Motor Engineering and Manufacturing North America, Ann Arbor, MI, where he is investigating methods to improve engine control development productivity.

CPS Week 2016 24

Wednesday, April 13th, 9:00-9:30, Grosser Redoutensaal (Room 5)

Rada Rodriguez

SVP Central and Eastern Europe, CEO Schneider Electric GmbH, Germany

Smart Grid- Opportunities and challenges for the Industry

Abstract: Smart grids enable the two way communication between the generation and the consumption of electrical energy, contributing to a more flexible, reliable and cost efficient energy supply. Due to the strong change in the energy mix in Europe over the past 10 years, the energy supply becomes much more decentralized and volatile, increasing dramatically the need for grid automation especially in the distribution part. The competitiveness of the manufacturing industry in Europe depends on a cost efficient, reliable and highly secure energy supply, which can be provided within the frame of a smart grid. However the realization of the smart (distribution) grid and further the connection of the smart grid to the smart factory meets many social, economic and political challenges. Biography: Mrs. Rodriguez is a well-respected leader acting also as board member at Eltel, the Scandinavian leader for service of electrical end IT networks, and as board member at ZVEI. As part of a large international group, in her professional role Mrs. Rodriguez is responsible for developing and growing the business in the different countries of central and eastern Europe. She is an active change agent driving the transformation of the companies under her responsibility to fit the current and future challenges. She attributes her success to her ambition, energy and commitment, challenging current situations and always aiming for personal growth. She separates herself from her peers through a multi-cultural experience and view. Looking toward the future, Mrs. Rodriguez intents to actively contribute to the profitable growth of the company and to continue with her social engagement for a better and sustainable society.

25 CPS Week 2016


Joseph J. Salvo,

Dir. of CS and Arch., GE Global Research, USA

Internet of Things Biography: Dr. Salvo is the Director and Founder of the Industrial Internet Consortium with an aim to connect brilliant minds and machines in powerful value creation networks. For the past 15 years he and his laboratory have developed a series of large-scale internet-based sensing arrays to manage and oversee business systems and deliver a portfolio of information-based services. Some of their commercial business releases include complex decision platforms (e.g. GE Veriwise™ GE RailwiseTM, Global Vendor Managed Inventory, Ener.GE™, and E-Materials Management) that deliver near real-time customer value through system transparency and knowledge-based computational algorithms. Pervasive networked sensors systems combined with near-real time collaboration can deliver time-critical, high fidelity data to enable information analysis across traditional business process boundaries. Total supply chain, digital manufacturing, energy management and financial services can be integrated to create a virtual enterprise environment that encourages discovery and process improvement on a global basis. Electronic RFID tagging and distributed knowledge networks extend the reach of these systems with anywhere/anytime access to mission critical information. Dr. Salvo’s group will be providing the core Digital Market Commons to UI Labs for the recently announced Digital Design Manufacturing Innovation Institute in Chicago. Crowdsourcing and cloud computing platforms promise to further democratize the flow of information, computation and ideas. Commercial business implementations of this work are currently active in Asia, Europe as well as North and South America.

CPS Week 2016 26


Sabine Herlitschka,

CEO Infineon Austria

Industry 4.0

Abstract: The Internet of Things will evolve the industry to the next level. The evolutionary step towards the it will change business. Some business areas have already experienced massive effects of the digitalization. For example print houses: 20 years ago, printing a small edition of individualized books was expensive and thus not common. Print houses focused on the efficient production of large volumes in a few weeks time. Today the most successful print houses offer individual printing services for photo books, mugs or on various other items within 48 hours. Individually designed products for mass market prices in a fully digital business is the key to success. This example also shows the risks and challenges of this evolution: Ignoring the development and the specific challenges for workforce, processes, safety and security is the fastest way to go out of business. Infineon is actively shaping this evolutionary process in two ways: as a supplier for industrial reliable sensors, controllers and switches and using methods of digitalization and virtualization in its complex manufacturing process. The optimization of the manufacturing environment will have major impact on Research and Development, Logistics, Service and existing business models. Infineon already implemented a few processes in its manufacturing environment showing positive effects by improved data transparency, thus increasing production efficiency as well as stability. But many challenges are still not clearly identified: What skills do you need to address the future challenges? How will this change the way of cooperation? Are we open minded enough to identify the future needs of our customers? Biography: Since April 2014 Sabine Herlitschka is CEO of Infineon Technologies Austria AG. She studied Food Science and Biotechnology at the University of Natural Resources and Life Sciences in Vienna. She achieved her doctoral degree while doing research in an international biotechnology company. Additionally, Sabine Herlitschka obtained a degree as business technician and MBA in General Management. Stages in her career include Internships at the U.S. National Science Foundation and the American Association for the Advancement of Science, vice-rector for research management and international cooperation at the Medical University of Graz as well as Head of the Department of European and International Programmes at the FFG. Before she became member of the Executive Board of Infineon Technologies Austria AG in 2011, she was Fulbright Scholar at the George Washington University and at the John Hopkins University / School of Advanced International Studies in Washington DC (2010). Since 2013, she is also member of the advisory board of TU Wien.

27 CPS Week 2016

Morning Opening Speakers Tuesday, April 12th, 8:15-8:30, Grosser Redoutensaal (Room 5)

Johannes Fröhlich

Vice Rector for Research and Innovation,

Technische Universität Wien


Michael Wiesmüller

Head of Department for ICT, Industrial & Nano Technologies

and Space. Austrian Federal Ministry of Transport, Innovation

and Technology (BMVIT)

Cyber Physical System - a New Innovation Engine for Austrian High-tech-Industries

Biography: Initially stemming from the humanities and holding a degree in philosophy of science, working several years as scientists in the Humanities and as Management Consultant with A.T. Kearney he joined the Federal Ministry of Transport, Innovation and Technology (BMVIT) in late nineties. He is currently Head of Department for ICT, Industrial & Nano Technologies and Space. Main responsibility of this department covers the design of Innovation Policies for High-Tech-Industries, national R&D strategies and programs in these domains, and all areas of International R&D Policy and Coordination. Among others he acts as Austrian Delegate to the European ICT-Program, as Governance Board Member of the JTI’s ECSEL, as Director of the EUREKA Clusters. ITEA 3 and CATRENE and Austrian Lead Delegate to the Key Enabling Technologies. He represents Austria in various Mirror-Groups of European Technology Platforms and in several European Policy Coordination Initiatives.

CPS Week 2016 28

Thursday, April 14th, 8:10-8:25, Grosser Redoutensaal (Room 5)

Max Lemke

Directorate General CONNECT of the European Commission

Towards a European strategy for seizing the opportunities from digital technologies

in products, processes and business models

Abstract: The economic footprint of digital technologies goes far beyond the contribution of the ICT-producing sectors to the economy. The competitiveness and value creation of a wide majority of other industries depend heavily on digital technologies. ICT has become an essential part of the value chains of most industries and the advent of these new digital technologies such as the Internet of Things and cyber-physical systems, Big Data or AI-based systems is reshuffling value chains and business models in all sectors. Under its Digital Single Market policy, on 6 April the European Commission is planning to adopt a package of initiatives to maximise the growth potential of the digital economy. This package is planned to include an action plan for "Digitising European Industry - reaping the full benefits of a digital single market". Concrete actions at EU-level are proposed that support the digital transformation of all sectors of European industry complementing and scaling up other European, national, regional initiatives by engaging all relevant stakeholders. Horizon 2020 and the Joint Undertaking ECSEL are key implementation means for this strategy. Concrete plans in terms of European components and cyber-physical systems research and innovation actions in relation to this strategy will be discussed. More: https://ec.europa.eu/digital-agenda/en/digitising-european-industry. Biography: Dr. Max Lemke is the Head of Unit for "Complex Systems and Advanced Computing" in Directorate General CONNECT of the European Commission. In the European Commission's Research and Innovation Programme HORIZON 2020, Max is responsible for the areas embedded and cyber-physical systems, advanced computing, and ICT for manufacturing. Max is co-responsible in CONNECT for the Joint Technology Initiative ECSEL (Electronic Components and Systems for European Leadership) and the Public Private Partnership Factories of the Future. In the latter context he also has launched the I4MS initiative (ICT Innovation for Manufacturing SMEs). He has recently been strongly involved in developing a European strategy for digitising industry for the new Commission. As Deputy Head of Unit for “New Infrastructure Paradigms and Experimental Facilities" from 2007 - 2010 he was responsible for building the European FIRE Future Internet Research and Experimentation Facility under the ICT Programme, and for stimulating the deployment of internet-based services in smart cities by using open innovation methodologies. He was also involved in starting the Public Private Partnership

https://ec.europa.eu/digital-agenda/en/digitising-european-industry

29 CPS Week 2016

initiative on the Future Internet. Since 1995, Max has worked as scientific officer in different ICT domains of the research, development and innovation programmes of the European Commission, e.g. Grid technologies, Simulation and Visualisation, High Performance Computing, Security. Before joining the Commission, Max has worked in research and industry in Germany, the US, and the UK. With a Doctorate in Natural Sciences, he has a scientific background in numerical mathematics, parallel computing, and software engineering.

Banquet Opening Speakers Wednesday, April 13th, 20:00, Rathaus

Bernd Rosauer

Head of Research, Technology Field IT Platforms

Siemens AG, Corporate Technology

Abstract: The field of Cyber-Physical Systems is about real-time control of distributed embedded systems. Developing distributed real-time embedded systems already represents a challenge. But the challenge gets huge if those systems are large-scale and cross-domain like, e.g., a software application offering smart mobility services for travelers in megacities. The basic question now is: Will the traditional architecture of systems of embedded systems remain the same or will it evolve into something new? Biography: Bernd Rosauer is globally heading Siemens’ applied research in IT Platforms which form the basis of Siemens’ products, services and solutions. He obtained his diploma in computer science from University Karlsruhe (TH) in 1989. Bernd Rosauer worked for Internet start-ups more than 15 years before joining Siemens in 2001. In Siemens, he has headed various functions ranging from internal IT to R&D. Currently, at Siemens Corporate Technology, the research work of Bernd Rosauer’s team focuses on technologies and applications related to smart embedded systems, cyber-physical systems, cloud computing, mobile computing, social computing and collaboration, as well as platform architecture.

CPS Week 2016 30

Wednesday, April 13th, 20:00, Rathaus

Heinrich Daembkes

Airbus Defence and Space

President of ARTEMIS Industry Association

CPS and Digitization: Core for our competitiveness

Abstract: We are in the mid of an industrial revolution, caused by the digitalisation of our products, processes, and business. Cyber-Physical Systems are at the centre of our new products, determining key product behaviour and performance. For safety critical systems deterministic behaviour is required, leading to strict demands on quality of services and on timing issues. This presentation will show some of the core challenges we need to master in order to stay competitive. Biography: Heinrich Daembkes is working with Airbus Defence and Space in the Electronics Engineering unit. After more than 20 year of work on RF-systems his special interests are now in the domains of systems engineering of complex safety critical systems and networked automated systems. His special interests are in embedded systems, Cyber-Physical-Systems, for realtime and safety critical software systems. Since January 2013 he is also President of the ARTEMIS Industrial Association.

MathWorks Industry Talk Tuesday, April 12th, 17:00, Mittlere Lounge

Pieter J. Mosterman

MathWorks

Cyber-Physical System Ensembles: Analyzing Needs and Enabling Opportunity

Abstract: Over the past half century, Moore's Law has enabled the low-cost and high-scale manufacturing of components with extremely beneficial properties such as size, weight, power consumption, and reliability. These components are capable of carrying out computational behaviors of unparalleled richness and complexity. While their flexibility has

http://www.mathworks.com/discovery/cyber-physical-systems.html

31 CPS Week 2016

made it a go-to technology for adaption and system integration, the highly algorithmic nature of their computation has enabled communication technology that now globally powers the internet. At the nexus of this adaptability and connectivity, Cyber-Physical Systems emerge as autonomous systems that are able to dynamically create collaborating system ensembles. In this industry perspective, a range of opportunities that derive from advances in the theory and methodology for dynamically forming such collaborative system ensembles is presented. Needs to realize the opportunities and challenges to these needs are identified. Research advances to overcome the challenges are highlighted in terms of technology directions and computational foundations. Biography: Pieter J. Mosterman is a Senior Research Scientist at MathWorks in Natick, Massachusetts, where he works on computational modeling, simulation, and code generation technologies. He also holds an adjunct professor position at the School of Computer Science at McGill University. Prior to this, he was a research associate at the German Aerospace Center (DLR) in Oberpfaffenhofen. He earned his PhD in Electrical and Computer Engineering from Vanderbilt University in Nashville, Tennessee, and his M.Sc. in Electrical Engineering from the University of Twente, the Netherlands. His primary research interests are in Computer Automated Multiparadigm Modeling (CAMPaM) with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration. Dr. Mosterman designed the Electronics Laboratory Simulator that was nominated for The Computerworld Smithsonian Award by Microsoft Corporation in 1994. In 2003, he was awarded the IMechE Donald Julius Groen Prize for his paper on the hybrid bond graph modeling and simulation environment HyBrSim. In 2009, he received the Distinguished Service Award of The Society for Modeling and Simulation International (SCS) for his services as editor in chief of SIMULATION: Transactions of SCS. Dr. Mosterman was guest editor for special issues on CAMPaM of SIMULATION, IEEE Transactions on Control Systems Technology, and ACM Transactions on Modeling and Computer Simulation. He has chaired over 30 scientific events, served on more than 100 international program committees, published over 100 peer reviewed papers, and is the inventor on over 80 awarded patents.

CPS Week 2016 32

Tutorials

Control Theoretical Tools for Analysis and Design of Cyber-Physical Systems

Ricardo G. Sanfelice, Ph.D. Associate Professor Department of Computer Engineering University of California Santa Cruz

Monday, April 11th, Morning, Radetzky App. 1 (Room 18) Cyber-physical systems combine digital and analog devices, interfaces, networks, computer systems, and the like with the natural and man-made physical world. The inherent interconnected and heterogeneous combinations of behaviors in these systems make their analysis and design a challenging task. Safety and reliability specifications imposed in cyber-physical applications, which are typically translated into stringent robustness standards, aggravate the matter. Unfortunately, state-of-the-art tools for system analysis and design cannot cope with the intrinsic complexity in cyber-physical systems. Tools suitable for analysis and design of cyber-physical systems must allow a combination of physical or continuous dynamics and the cyber or computational components, as well as handle a variety of types of perturbations, such as exogenous disturbances, time delays, and system failures. This tutorial provides an introduction to modeling and analysis of cyber-physical systems using control theoretical tools. After an introduction to the class of systems of interest via examples in engineering and science, several models of continuous-time systems and discrete-time systems are introduced. The main focus is on models in terms of differential equations for the modeling of physical process. Finite state machines are introduced and combined with the physical models. With this basic background, the more advanced timed automata and hybrid automata models are outlined. Stability and forward invariance are presented as analysis and design tools and a brief introduction to linear temporal logic is also given.

33 CPS Week 2016

Domain Specific Language and Management Environment for Extensible Cyber Physical System

Martin Lehofer, Siemens Corporate Technology; Princeton, NJ, USA Subhav Pradhan,Vanderbilt University; Nashville, TN, USA Martin

Monday, April 11th, Afternoon, Radetzky App. 3 (Room 20) In this tutorial we will use an emulated version of the real-life case study to demonstrate the various features of the CHARIOT tool chain for extensible Cyber Physical Systems and describe to you how you can use it to develop similar applications yourself. By following this tutorial you will be able to design, develop, and deploy a distributed smart parking application (described below). You will also learn about our approach to achieving autonomous resilience, which requires understanding of goal-based system description as well as different resilience patterns that can be encoded using CHARIOT at design-time. Finally, you will be able to evaluate the runtime reconfiguration mechanism by injecting failures to a live system and observing how the system reconfigures to maintain system goal without any external input.

CPS Week 2016 34

From Idea to Provably Safe Implementation - Modeling, Proving, Simulation, and Synthesis in KeYmaera X

André Platzer Associate Professor of Computer Science Computer Science Department Carnegie Mellon University

Monday, April 11th, Afternoon, Radetzky App. 1 (Room 18) This tutorial will explain how hybrid system theorem proving in KeYmaera X can be used as a powerful technique to analyze and design safe cyber-physical systems. We will illustrate how developers can benefit from KeYmaera X by demonstrating on a series of examples how KeYmaera X can be used to:

find bugs in a system design

write automated tactics for (sub)systems that serve as "unit proofs", in analogy to unit tests

fully verify a final system design

derive new products from a verified system design and refine a system design while retaining correctness proofs

automatically synthesize monitoring expressions from the system design -- monitoring expressions can be used as test cases or as runtime monitors to check compliance of observed behavior with the verified model.

The tutorial will introduce the modeling language, proof techniques, and synthesis tools of KeYmaera X. We will present techniques for analyzing both discrete and continuous parts of a model, such as differential invariants for differential equations.

Poster The KeYmaera X Theorem Prover for Hybrid Systems Nathan Fulton, Stefan Mitsch, Andre Platzer

35 CPS Week 2016

Game-Theoretic Methods for Cyber-Physical Systems

Dr. Walid Saad ECE, Virginia Tech, USA

Monday, April 11th, Morning, Künstlerzimmer (Room 17) Cyber-physical systems (CPSs) are characterized by three key features: heterogeneity, in terms of technology, services, and human interactions, dynamics, in terms of rapidly varying environments and uncertainty at both the cyber and physical realms, and size, in terms of number of users, devices, and services. These characteristics motivate the need for distributed optimization and control solutions that can lay the foundations of smart and secure CPSs. In this respect, game theory is expected to play a critical role towards deploying such intelligent CPSs in which cyber-physical devices, and possibly humans, can make independent and strategic decisions, smartly adapting to their environment. In particular, the presence of interactions between cyber, physical, and human realms in CPSs motivates the adoption of game-theoretic methods that go beyond classical game theory. To this end, this tutorial will provide a comprehensive overview on game theory in its two branches: noncooperative and cooperative games, as it applies to the design of future CPSs. We particularly discuss new emerging types of games suitable for CPS, such as the use of games with bounded rationality and the impact of CPS user behavior on game-theoretic analysis. For each type of games, we present the fundamental components, introduce the key mathematical techniques, and solution concepts, while highlighting the challenges and methods for applying game theory in two emerging CPS domains: (i)- Energy management in the smart grid and (ii)- CPS security.

CPS Week 2016 36

Modelling and Analysis of Communicating Systems

Jan Friso Groote, Eindhoven University of Technology

Monday, April 11th, Afternoon, Künstlerzimmer (Room 17) mCRL2 is a process algebra based language to specify behavioural models with data and time. It not only has an extensive underlying theory, which allows to mathematically prove the correctness of models, but it also has a very well developed toolset that can be used to analyse and visualise behaviour. Besides the process specification language there is also a very rich modal logic, based on the modal mu-calculus. As data is also a first class citizen in the modal formulas, the expressivity and usability is unparalleled by any other modal logic. The language and tools have been used to model and verify many systems. Medical scanners and patient platforms run on software developed using this toolset. Several protocols among which Flexray and the firewire protocol have been analysed with this software. Particularly noteworthy is that the sensor control software, some of which consist of more than 60.000 finite state machines, has been studied and analysed using this language and toolset. In this tutorial we review the main concepts of the language and the tools. If time allows we can study the simple and well known Peterson’s mutual exclusion protocol in the form it was presented on wikipedia in the summer of 2015. This will show the effectiveness in uncovering problems in such systems using model checking. More info: mitpress.mit.edu/books/modeling-and-analysis-communicating-systems www.mcrl2.org

http://www.mcrl2.org/

37 CPS Week 2016

Parameter-Invariant Monitor Design for Cyber Physical Systems

James Weimer, Oleg Sokolsky, and Insup Lee School of Engineering and Applied Science, University of Pennsylvania

Monday, April 11th, Morning, Radetzky App. 3 (Room 20) With recent advances in low-power low-cost communication, sensing, and actuation technologies, Cyber Physical Systems (CPS) have revolutionized automated medical diagnostics and care, building energy management, and smart grids. With this revolution, dawns a new era of CPS monitoring where fusing measurements from multiple devices provides unprecedented early detection of critical events. However, some applications (e.g. medical diagnostics) explicit models and/or rich training data relating available measurements to events are unavailable or impractical. Under these troublesome scenarios, this tutorial presents a parameter-invariant approach to monitor design which has successful in developing monitors for medical conditions, building control failures, and network disturbances. Owing its mathematical origin to the robust radar signal processing literature, the parameter-invariant approach to is presented as consisting of three components: (1) foundations of parameter-invariant design, (2) modeling CPS for parameter-invariance, and (3) applied parameter-invariant monitoring. To illustrate each component, the tutorial makes extensive use of case study monitors related to medical alarms (e.g. hypoxia, hypovolemia, and hypoglycemia), building energy management, and power grids. Novice participants with an undergraduate-level understanding of linear algebra will be introduced to a new and powerful monitor design technique for CPS.Ê Those familiar with signal processing will enjoy the elegance and rigor of the parameter-invariant monitor design and gain invaluable insight into application dependent modeling for medicine, buildings, and power grids. Complementary, those with practical experience will gain insight into how high-fidelity models can be reduced to useful models for the purposes of CPS monitoring. Upon completion of this tutorial, all participants will be able to apply the general form of the parameter-invariant monitor to the application of their choice.

CPS Week 2016 38

Conferences

HSCC 2016 19th ACM International Conference on Hybrid Systems: Computation and Control

Committee Program Committee Chairs Alessandro Abate, University of Oxford, UK Georgios Fainekos, Arizona State University, USA

Publicity Chair Sayan Mitra, University of Illinois at Urbana Champaign, USA

Repeatability Evaluation Chair Ian M. Mitchell, University of British Columbia, Canada

Demo/Poster Chair

James Kapinski, Toyota Motors, USA

Program Committee

Shun-ichi Azuma, Kyoto University, Japan Christel Baier, TU Dresden, Germany Ezio Bartocci, TU Vienna, Austria

Calin Belta, Boston University, USA

Spring Berman, Arizona State University, USA Mireille Broucke, University of Toronto, Canada Krishnendu Chatterjee, IST Austria, Austria Alessandro Cimatti, Fondazione Bruno Kessler, Italy Alessandro D'Innocenzo, University of L'Aquila, Italy Thao Dang, VERIMAG, France Jyotirmoy Deshmukh, Toyota Motors, USA Xu Chu Ding, United Technology Research Center, USA Alexandre Donzé, UC Berkeley, USA Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany Antoine Girard, University of Grenoble, France Ichiro Hasuo, University of Tokyo, Japan Jun-ichi Imura, Tokyo Institute of Technology, Japan Franjo Ivancic, Google NY, USA Taylor Johnson, UT Arlington, USA Agung Julius, Rensselaer Polytechnic institute, USA Sertac Karaman, MIT, USA Joost-Pieter Katoen, RWTH Aachen University, Germany Marta Kwiatkowska, University of Oxford, UK Jun Liu, University of Waterloo, Canada Daniele Magazzeni, King's College London, UK

http://users.crhc.illinois.edu/mitras/

http://www.cs.ubc.ca/~mitchell/

https://www.linkedin.com/pub/jim-kapinski/2/99/4b3

http://www.robot.kuass.kyoto-u.ac.jp/~sazuma/

http://wwwtcs.inf.tu-dresden.de/~baier/

http://www.eziobartocci.com/

http://sites.bu.edu/hyness/calin/

http://faculty.engineering.asu.edu/acs/springberman

http://www.control.toronto.edu/~broucke/

http://pub.ist.ac.at/~kchatterjee/

https://es-static.fbk.eu/people/cimatti/

http://people.disim.univaq.it/~alessadin/

http://www-verimag.imag.fr/~tdang/

http://www.cs.utexas.edu/~deshmukh/

https://www.linkedin.com/pub/xuchu-dennis-ding/16/775/88a

http://www.eecs.berkeley.edu/~donze/

http://hs.informatik.uni-oldenburg.de/25665.html

https://sites.google.com/site/antoinesgirard/

http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/

http://www.cyb.mei.titech.ac.jp/index.html.en

https://sites.google.com/site/ivancic/

http://www.taylortjohnson.com/

http://www.ecse.rpi.edu/homepages/agung/

http://sertac.scripts.mit.edu/web/

http://www-i2.informatik.rwth-aachen.de/~katoen/

http://www.cs.ox.ac.uk/marta.kwiatkowska/

http://junliu.name/

http://www.inf.kcl.ac.uk/staff/danmag/

39 CPS Week 2016

Manuel Mazo Jr, TU Delft, The Netherlands Sayan Mitra, University of Illinois at Urbana Champaign, USA Jens Oehlerking, Robert Bosch GmbH, Germany Meeko Oishi, University of New Mexico, USA Necmiye Ozay, University of Michigan, USA Andreas Podelski, University of Freiburg, Germany Pavithra Prabhakar, Kansas State University, USA Maria Prandini, Politecnico di Milano, Italy Akshay Rajhans, The MathWorks, USA S Ramesh, General Motors R&D, India Sriram Sankaranarayanan, University of Colorado at Boulder, USA Oleg Sokolsky, University of Pennsylvania, USA Herbert Tanner, University of Delaware, USA Ufuk Topcu, UT Austin, USA Ashuthosh Trivedi, IIT Bombay, India Jana Tumova, KTH, Sweden Verena Wolf, Saarland University, Germany Majid Zamani, Technical University of Munich, Germany Naijun Zhan, Chinese Academy of Sciences, PR China Paolo Zuliani, Newcastle University, UK

Steering Committee

Rajeev Alur, University of Pennsylvania, USA Werner Damm, OFFIS, Germany John Lygeros, ETH Zurich, Switzerland Oded Maler, Verimag, France Paulo Tabuada, UCLA, USA Claire Tomlin, University of California Berkeley, USA

http://www.mmazojr.net/Manuel_Mazo_Jr/Home.html

http://users.crhc.illinois.edu/mitras/

http://www.bosch.com/en/com/home/index.php

http://www.unm.edu/~oishi/

http://web.eecs.umich.edu/~necmiye/

http://swt.informatik.uni-freiburg.de/staff/podelski

http://people.cis.ksu.edu/~pprabhakar

http://home.deib.polimi.it/prandini/

https://sites.google.com/site/akshayrajhans/

https://www.linkedin.com/in/rameshsethu

http://www.cs.colorado.edu/~srirams/

http://www.cis.upenn.edu/~sokolsky/

http://www.me.udel.edu/people/tanner.html

https://www.ae.utexas.edu/faculty/faculty-directory/topcu

http://www.cse.iitb.ac.in/~trivedi/

http://people.kth.se/~tumova/home.html

http://mosi.uni-saarland.de/?page_id=53

https://sites.google.com/site/zamani1362/

http://lcs.ios.ac.cn/~znj/

https://sites.google.com/site/zupaolo/

http://www.cis.upenn.edu/~alur/

http://ses.informatik.uni-oldenburg.de/30854.html

http://control.ee.ethz.ch/~jlygeros/

http://www-verimag.imag.fr/~maler/

http://www.seas.ucla.edu/~tabuada/

http://www.eecs.berkeley.edu/~tomlin/

CPS Week 2016 40

Program Tuesday, April 12

07:15 - 08:15 Registration

08:15 - 09:30 Opening and Keynote Speaker Rajeev Alur, University of Pennsylvania, USA Room: 5, Grosser Redoutensaal

09:30 - 10:00 Coffee Break

10:00 - 12:00 Session: Temporal logic applications Chair: Sayan Mitra Room: 14, Trabantenstube

10:00 - 10:30 A Decision Tree Approach to Data Classification using Signal Temporal Logic Giuseppe Bombara, Cristian-Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka and Calin Belta

10:30 - 11:00 Temporal Logic as Filtering Alena Rodionova, Ezio Bartocci, Dejan Nickovic and Radu Grosu

11:00 - 11:30 Directed Specifications and Assumption Mining for Monotone Dynamical Systems Eric S. Kim, Murat Arcak and Sanjit A. Seshia

11:30 - 12:00 Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto Sangiovanni-Vincentelli, Shankar Sastry and Sanjit Seshia

12:00 - 13:30 Lunch

13:30 - 15:30 Session: Analysis of switched systems Chair: Maria Prandini Room: 14, Trabantenstube

13:30 - 14:00 Computing the domain of attraction of switching systems subject to non-convex constraints Nikolaos Athanasopoulos and Raphael Jungers

14:00 - 14:30 Generating unstable trajectories for Switched Systems via Dual Sum-Of-Squares techniques Benoit Legat, Raphael Jungers and Pablo A. Parrilo

14:30 - 15:00 A Topological Method for Finding Invariant Sets of Switched Systems Laurent Fribourg, Eric Goubault, Sameh Mohamed and Sylvie Putot

15:00 - 15:30 Hybridization for Stability Analysis of Switched Linear Systems Pavithra Prabhakar and Miriam Garcia Soto

15:30 - 16:00 Coffee break

16:00 - 18:00 Session: Case studies and tool papers Chair: Akshay Rajhans Room: 14, Trabantenstube

16:00 - 16:15 Case study: Case Studies in Data-Driven Verification of Dynamical Systems Alex Kozarev, John Quindlen, Jonathan How and Ufuk Topcu

16:15 - 16:30 Case study: Towards Model Checking of Implantable Cardioverter Defibrillators

41 CPS Week 2016

Houssam Abbas, Kuk Jin Jang, Zhihao Jiang and Rahul Mangharam 16:30 - 16:40 Tool paper: SL2SX Translator: From Simulink to SpaceEx Verification Tool

Stefano Minopoli and Goran Frehse 16:40 - 16:50 Tool paper: SCOTS: A Tool for the Synthesis of Symbolic Controllers

Matthias Rungger and Majid Zamani

16:50 - 18:00 Session: Poster and demo presentations Chair: Jim Kapinski Room: 28, Entrée Zimmer

POSTERS

A Scalable Method for Finding Flaws in the Design of Technical Systems that Are Modelled by Ordinary Differential Equations Jan Kuratko and Stefan Ratschan

DynIBEX: a Differential Constraint Library for Studying Dynamical Systems Julien Alexandre Dit Sandretto and Alexandre Chapoutot

CSiSAT: A Satisfiability Solver for SMT Formulae with Continuous Probability Distributions Yang Gao and Martin Franzle

Temporal Logic Verification for Delay Differential Equations Peter Nazier Mosaad and Martin Franzle

Statistical Verification of the Toyota Powertrain Control Verification Benchmark Nima Roohi, Yu Wang, Matthew West, Geir Dullerud and Mahesh Viswanathan

Online Learning of STL Formulae for Signal Classification Giuseppe Bombara and Calin Belta

DEMOS

Montre: A Tool for Monitoring Timed Regular Expressions Dogan Ulus

System Testing with S-TaLiRo: Recent Functionality and Additions Bardh Hoxha, Adel Dokhanchi and Georgios Fainekos

Hybrid Systems Model Transformations with HyST Stanley Bak, Sergiy Bogomolov and Taylor T Johnson

18:00 - 20:00 CPS Community Forum

Wednesday, April 13


08:15 - 10:30 Opening and Industrial Keynote Speakers Ken Butts, Toyota, USA Rada Rodriguez, Schneider Electric, Germany Joe Salvo, GE Global Research, USA Sabine Herlitschka, Infineon, Austria Room: 5, Grosser Redoutensaal


11:00 - 12:30 Session: Safety and stability analysis Chair: Taylor Johnson Room: 14, Trabantenstube

CPS Week 2016 42

11:00 - 11:30 Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems Siyuan Dai and Xenofon Koutsoukos

11:30 - 12:00 Verification and synthesis of timing contracts for embedded controllers Mohammad Al Khatib, Antoine Girard and Thao Dang

12:00 - 12:30 Formal Analysis of Robustness at Model and Code Level Timothy Wang, Pierre-Loic Garoche, Pierre Roux, Romain Jobredeaux and Eric Feron

12:30 - 14:00 Lunch

14:00 - 15:30 Session: Methods for reachability analysis Chair: Thao Dang Room: 14, Trabantenstube

14:00 - 14:30 Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy Deshmukh and Xiaoqing Jin

14:30 - 15:00 SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems Kyungmin Bae, Peter Olveczky, Soonho Kong and Sicun Gao

15:00 - 15:30 Scalable Static Hybridization Methods for Analysis of Nonlinear Systems Stanley Bak, Sergiy Bogomolov, Thomas Henzinger, Taylor T Johnson and Pradyot Prakash


16:00 - 18:00 Session: Time- and event-based models Chair: Necmiye Ozay Room: 14, Trabantenstube

16:00 - 16:30 Adaptive Decentralized MAC for Event-triggered Networked Control Systems Mikhail Vilgelm, Mohammadhossein Mamduhi, Wolfgang Kellerer and Sandra Hirche

16:30 - 17:00 Event-separation properties and asymptotic ehavior of hybrid event-based control systems Tobias Noesselt, Matthias Schultalbers and Jan Lunze

17:00 - 17:30 Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling Heejin Ahn and Domitilla Del Vecchio

17:30 - 18:00 Building Power Consumption Models from Executable Timed I/O Automata Specifications Benoit Barbot, Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti

19:30 - Banquet, Concert and Awards

Thursday, April 14


08:10 - 09:30 Opening and Keynote Speaker Tomaso Poggio, CSAIL, MIT, USA Room: 5, Grosser Redoutensaal


43 CPS Week 2016

10:00 - 12:00 Session: Control synthesis Chair: Majid Zamani Room: 14, Trabantenstube

10:00 - 10:30 Control synthesis for large collections of systems with mode-counting constraints Petter Nilsson and Necmiye Ozay

10:30 - 11:00 Compositional Synthesis with Parametric Reactive Controllers Rajeev Alur, Salar Moarref and Ufuk Topcu

11:00 - 11:30 Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors Jonathan Decastro and Hadas Kress-Gazit

11:30 - 12:00 Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions Ricardo Sanfelice

12:00 - 13:30 Lunch

13:30 - 14:30 Invited speaker Optimal Co-Design of Scheduling and Control for Networked Systems Sandra Hirche Chair: Alessandro Abate

14:30 - 15:30 Session: Models with uncertainty Chair: Antoine Girard, Room: 14, Trabantenstube

14:30 - 15:00 Entropy and minimal data rates for state estimation and model detection Daniel Liberzon and Sayan Mitra

15:00 - 15:30 Safety Verification of Piecewise-Deterministic Markov Processes Rafael Wisniewski, Christoffer Sloth, Manuela Bujorianu and Nir Piterman


16:00 - 18:00 Session: Reachability computation Chair: Alex Donze Room: 14, Trabantenstube

16:00 - 16:30 Computing Distances between Reach Flowpipes Rupak Majumdar and Vinayak Prabhu

16:30 - 17:00 Reachset Conformance Testing of Hybrid Automata Hendrik Roehm, Jens Oehlerking, Matthias Woehrle and Matthias Althoff

17:00 - 17:30 From Simulation Models to Hybrid Automata Using Urgency and Relaxation Stefano Minopoli and Goran Frehse

17:30 - 18:00 Parallelotope Bundles for Polynomial Reachability Tommaso Dreossi, Carla Piazza and Thao Dang

CPS Week 2016 44

ICCPS 2016 7th ACM/IEEE International Conference on Cyber-Physical Systems

Committee

General Committee Chairs

Xenofon Koutsoukos, Vanderbilt University, USA Ian M. Mitchell, University of British Columbia, Canada

Program Committee Chairs

Sonia Martinez, University of California at San Diego, USA Eduardo Tovar, CISTER/INESC TEC, ISEP, Portugal

Program Committee

Al Mok, University of Texas at Austin, USA Alberto Speranzon, United Technologies Research Center (UTRC), USA Alvaro Cardenas, University of Texas at Dallas, USA Anis Koubaa, Prince Sultan University, KSA Aranya Chakrabortty, North Carolina State University, USA Arvind Easwaran, Nanyang Techonological University (NTU), Singapore Carlos Canudas de Wit, University of Grenoble, France Chenyang Lu, Washington University in St. Louis, USA Christian Claudel, King Abdullah University of Science and Technology (KAUST), Saudi Arabia Daniel Work, University of Illinois at Urbana-Champaign, USA De-Jiu Chen, Royal Institute of Technology (KTH), Sweden Fumin Zhang, Georgia Institute of Technology, USA Geir Dullerud, University of Illinois Urbana-Champaign (UIUC), USA Georgios Fainekos, Arizona State University, USA Giusseppe Notarstefano, University of Lecce, Italy Henrik Sandberg, Royal Institute of Technology (KTH), Sweden James Weimer, University of Pennsylvania (UPenn), USA Jin-Oh Hahn, University of Maryland, USA Joao Hespanha, University of California, Santa Barbara, USA Jose Ramiro Martínez-de Dios, University of Seville, Spain Kang Shin, University of Michigan, USA Karl-Erik Arzen , Lund University, Sweden Ketan Savla, University of Southern California, USA Krithi Ramamritham, Indian Institute of Techonolgy Bombay (IIT Bombay), India Lui Sha, University of Illinois Urbana-Champaign (UIUC), USA Magnus Egersted, Georgia Institute of Technology, USA Maria Prandini, Politecnico di Milano, Italy Michael Zavlanos, Duke University, USA Minghui Zhu, Penn State University, USA

http://www.vuse.vanderbilt.edu/~koutsoxd/

http://www.cs.ubc.ca/~mitchell/

http://fausto.dynamic.ucsd.edu/sonia/

http://www.cister.isep.ipp.pt/people/eduardo_tovar

http://www.cs.utexas.edu/users/mok/

https://sites.google.com/site/albertosperanzon/home

http://www.utdallas.edu/~alvaro.cardenas/

http://www.dei.isep.ipp.pt/~akoubaa/

http://people.engr.ncsu.edu/achakra2/

http://www.ntu.edu.sg/home/arvinde/

http://www.gipsa-lab.grenoble-inp.fr/~carlos.canudas-de-wit/

http://www.cse.wustl.edu/~lu/

http://www.caee.utexas.edu/faculty/directory/claudel

http://publish.illinois.edu/dbwork/

https://www.kth.se/en/itm/inst/mmk/medarbetare/medarbetare-mda/de-jiu-chen-1.18204

http://iccps.acm.org/2016/users.ece.gatech.edu/~fumin/

http://mechanical.illinois.edu/directory/faculty/dullerud

http://www.public.asu.edu/~gfaineko/

http://cor.unisalento.it/notarstefano/

https://people.kth.se/~hsan/

http://www.seas.upenn.edu/~weimerj/index.html

http://www.enme.umd.edu/faculty/hahn

http://www.ece.ucsb.edu/~hespanha/

http://www.esi2.us.es/~jdedios/

http://web.eecs.umich.edu/~kgshin/

http://www.control.lth.se/Staff/KarlErikArzen.html

http://www-bcf.usc.edu/~ksavla/

https://www.cse.iitb.ac.in/~krithi/

http://cs.illinois.edu/directory/profile/lrs

http://users.ece.gatech.edu/magnus/


http://people.duke.edu/~mz61/

http://www.ee.psu.edu/directory/FacultyInfo/Zhu/ZhuProfilePage.aspx

45 CPS Week 2016

Miroslav Pajic, Duke University, USA Mohammad Al Faruque, University of California, Irvine (UCI), USA Murat Arcak, University of California, Berkeley (UCB), USA Necmiye Ozay, University of Michigan, USA Nicanor Quijano, Universidad de los Andes, Colombia Nisar Ahmed, Colorado University, USA Paul Pop, Technical University of Denmark, Denmark Paulo Tabuada, University of California Los Angeles (UCLA), USA Pedro Jose Marron, University of Duisburg-Essen, Germany Qixin Wang, Hong kong Polytechnic, China Raghuraman Rangarajan, CISTER/INESC TEC, ISEP, Portugal Rahul Mangharam, University of Pennsylvania (UPenn), USA Sayan Mitra, University of Illinois at Urbana-Champaign (UIUC), USA Sertac Karaman, Massachusetts Institute of Technology (MIT), USA Shreyas Sundaram, Purdue University, USA Shinpei Kato, Nagoya University, Japan Solmaz S. Kia, University of California, Irvine (UCI), USA Tarek Abdelzaher, University of Illinois at Urbana-Champaign (UIUC), USA Thomas Nolte, Mälardalen Real-Time Research Centre (MRTC), Sweden Tian He, University of Minnesota, Twin Cities (UMN), USA W.P.M.H (Maurice) Heemels, Eindhoven University of Technology, The Netherlands Wei Zhao, Macau University, China WiP Committee Chairs Taylor Johnson. University of Texas at Arlington (UTArlington), USA Sibin Mohan, University of Illinois at Urbana-Champaign (UIUC), USA

Publicity Committee Chairs

Moris Benham, Mälardalen Real-Time Research Centre (MRTC), Sweden Insik Shin, Korea Advanced Institute of Science and Technology (KAIST), South Korea Sandip Roy, Washington State University, USA

Web Chair

Filipe Pacheco, CISTER/INESC TEC, ISEP, Portugal

Steering Committee

Insup Lee, University of Pennsylvania, USA Jack Stankovic, University of Virginia, USA Eric M. Feron, Georgia Institute of Technology, USA Karl H. Johansson, Royal Institute of Technology (KTH), Sweden Alexandre Bayen (Ex-Officio), University of California at Berkeley, USA Michael Branicky (Ex-Officio), University of Kansas, USA

http://people.duke.edu/~mp275/

http://aicps.eng.uci.edu/

https://www.eecs.berkeley.edu/Faculty/Homepages/arcak.html

http://web.eecs.umich.edu/~necmiye/

http://wwwprof.uniandes.edu.co/~nquijano/

http://www.colorado.edu/aerospace/nisar-ahmed

http://www.imm.dtu.dk/~paupo/

http://www.seas.ucla.edu/~tabuada/

https://www.nes.uni-due.de/staff/pjmarron/

http://www4.comp.polyu.edu.hk/~csqwang/

http://www.cister.isep.ipp.pt/people/raghu_r_/

http://www.seas.upenn.edu/~rahulm/

http://mitras.ece.illinois.edu/

http://sertac.scripts.mit.edu/web/

https://engineering.purdue.edu/~sundara2/

http://www.ertl.jp/~shinpei/

http://solmaz.eng.uci.edu/

http://web.engr.illinois.edu/~zaher/

http://www.idt.mdh.se/~tnt/

http://www-users.cs.umn.edu/~tianhe/

http://www.heemels.tue.nl/

http://www.umac.mo/rectors_office/WeiZhao_biography.html


http://www.cs.illinois.edu/~sibin/

http://www.es.mdh.se/staff/157-Moris_Behnam

http://locust.kaist.ac.kr/

http://www.eecs.wsu.edu/~sroy/

http://www.cister.isep.ipp.pt/people/filipe_pacheco

http://www.cis.upenn.edu/~lee/

http://www.cs.virginia.edu/people/faculty/stankovic.html

http://www.ae.gatech.edu/community/staff/bio/feron-e

https://people.kth.se/~kallej/

http://bayen.eecs.berkeley.edu/

http://dora.eeap.cwru.edu/msb/

CPS Week 2016 46

Program

Tuesday, April 12th




10:00 - 12:00 Session 1: Smart Buildings and Energy Efficiency Room: 33, Schatzkammersaal

10:00 - 10:30 GreenPlanning: Optimal Energy Source Selection and Capacity Planning for Green Datacenters Fanxin Kong and Xue Liu

10:30 - 11:00 Characterizing the Benefits and Limitations of Smart Building Meeting Room Scheduling Abhinandan Majumdar, Zhiru Zhang and David H. Albonesi

11:00 - 11:30 Cyber-Physical-Security Framework for Building Energy Management System Kaveh Paridari, Alie El-Din Mady, Silvio La Porta, Rohan Chabukswar, Jacobo Blanco, André Teixeira, Henrik Sandberg and Menouer Boubekeur

11:30 - 12:00 Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems Madhur Behl, Achin Jain and Rahul Mangharam

12:00 - 13:30 Lunch

13:30 - 15:30 Session 2: Electric Vehicles and Batteries Room: 33, Schatzkammersaal

13:30 - 14:10 *-Aware Charging of Lithium-ion Battery Cells Liang He, Eugene Kim and Kang G. Shin

14:10 - 14:50 Smart Rate Control and Demand Balancing for Electric Vehicle Charging Fanxin Kong, Xue Liu, Zhonghao Sun and Qinglong Wang

14:50 - 15:30 Eco-Friendly Automotive Climate Control and Navigation System for Electric Korosh Vatanparvar and Mohammad Abdullah Al Faruque


16:00 - 18:00 Work-in-Progress, Demos and Posters (See below) Room: 33, Grosser Redoutensaal (within and in front of)

18:00 - 20:00 CPS Community Forum Room: 5, Grosser Redoutensaal

Wednesday, April 13


08:15 - 10:30 Opening and Industrial Keynote Speakers Ken Butts, Toyota, USA Rada Rodriguez, Schneider Electric, Germany

47 CPS Week 2016

Joe Salvo, GE Global Research, USA Sabine Herlitschka, Infineon, Austria Room: 5, Grosser Redoutensaal


11:00 - 12:30 Session 3: Power Networks Estimation and Control Room: 33, Schatzkammersaal

11:00 - 11:30 On Optimal False Data Injection Attack against Automatic Generation Control in Power Grids Rui Tan, Hoang Hai Nguyen, Eddy. Y. S. Foo, Xinshu Dong, David K. Y. Yau, Zbigniew Kalbarczyk, Ravishankar K. Iyer and Hoay Beng Gooi

11:30 - 12:00 Real-Time Distribution Grid State Estimation with Limited Sensors and Load Forecasting Roel Dobbe, Daniel Arnold, Duncan Callaway and Claire Tomlin

12:00 - 12:30 Microgrid Losses: When the Whole is Greater Than the Sum of Its Parts Maxim Buevich, Xiao Zhang, Dan Schnitzer, Tristan Escalada, Arthur Jacquiau-Chamski, Jon Thacker and Anthony Rowe

12:30 - 14:00 Lunch

14:00 - 15:30 Session 4: CPS Control Through Wireless Communications Room: 33, Schatzkammersaal

14:00 - 14:30 Wireless Routing and Control: a Cyber-Physical Case Study Bo Li, Yehan Ma, Tyler Westenbroek, Chengjie Wu, Humberto Gonzalez and Chenyang Lu

14:30 - 15:00 Exploiting Wireless Channel Randomness to Generate Keys for Automotive Cyber-Physical System Security Jiang Wan, Anthony Lopez and Mohammad Abdullah Al Faruque

15:00 - 15:30 Control-aware Random Access Communication Konstantinos Gatsis, Alejandro Ribeiro and George Pappas


16:00 - 18:00 Session 5: Best Paper Award Nominees Room: 33, Schatzkammersaal

16:00 - 16:30 Performance-driven Design of Engine Control Tasks Alessandro Biondi, Marco Di Natale and Giorgio Buttazzo

16:30 - 17:00 Towards Scalable Voltage Control in Smart Grid: A Submodular Optimization Approach Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel Kirschen and Radha Poovendran

17:00 - 17:30 Optimal Pesticide Scheduling in Precision Agriculture Austin Jones, Usman Ali and Magnus Egerstedt

17:30 - 18:00 SMT-Based Observer Design for Cyber Physical Systems Under Sensor Attacks Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, João P. Hespanha and Paulo Tabuada


CPS Week 2016 48

Thursday, April 14th




10:00 - 12:00 Session 6: Security and Vulnerability in CPS systems Room: 33, Schatzkammersaal

10:00 - 10:30 An Unsupervised Spatiotemporal Graphical Modeling approach to Anomaly detection in Distributed CPS Chao Liu, Sambuddha Ghosal, Zhanhong Jiang and Soumik Sarkar

10:30 - 11:00 Acoustic Side-Channel Attacks on Additive Manufacturing Systems Mohammad Abdullah Al Faruque, Sujit Rokka Chhetri, Arquimedes Canedo and Jiang Wan

11:00 - 11:30 Vulnerability of Transportation Networks to Traffic-Signal Tampering Aron Laszka, Bradley Potteiger, Yevgeniy Vorobeychik, Saurabh Amin and Xenofon Koutsoukos

11:30 - 12:00 ZUbers against ZLyfts Apocalypse: An Analysis Framework for DoS Attacks on Mobility-as-a-Service Systems Chenyang Yuan, Jérôme Thai and Alexandre Bayen

12:00 - 13:30 Lunch

13:30 - 15:30 Session 7: Routing and Planning for Enhanced Mobility in CPS Room: 33, Schatzkammersaal

13:30 - 14:10 Least-violating planning in road networks from temporal logic specifications Jana Tumova, Sertac Karaman, Calin Belta and Daniela Rus

14:10 - 14:50 Learning How Players Learn: Estimation of Learning Dynamics in the Routing Game Kiet Lam, Walid Krichene and Alexandre Bayen

14:50 - 15:30 Implan: A Scalable Incremental Motion Planning Framework for Multi-Robot Systems Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas and Sanjit A. Seshia


16:00 - 18:00 Session 8: Estimation and Verification of Human-Machine CPS Room: 33, Schatzkammersaal

16:00 - 16:40 Estimation of Blood Oxygen Content Using Context-Aware Filtering Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George Pappas and Insup Lee

16:40 - 17:20 Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha and Richard Berlin

17:20 - 18:00 Deep Value of Information Estimators for Collaborative Human-Machine Information Gathering Kin Gwn Lore, Nicholas Sweet, Kundan Kumar, Nisar Ahmed and Soumik Sarkar

49 CPS Week 2016

Poster Abstracts

Data-Driven Robust Taxi Dispatch Approaches Fei Miao, Shuo Han, Shan Lin, John Stankovic, Qian Wang, Desheng Zhang, Tian He and George Pappas

Distributed Reasoning For Diagnosing Cascading Outages in Cyber Physical Energy Systems Ajay Chhokra, Abhishek Dubey, Nagbhushan Mahadevan and Gabor Karsai

A Unified Distributed Control Framework for Inverter-based Islanded Microgrid Chin-Yao Chang, Wei Zhang and Jianming Lian

Modeling, Simulation and Verification Environment for Engineering Cyber-Physical Systems Based on Discrete Event System Specification Hae Young Lee and So Jin Lee

Unifying Modeling Substrate for Irrigation Cyber-Physical Systems Davit Hovhannisyan, Fadi Kurdahi, Ahmed Eltawil, Amir Aghakouchak and Mohammad Al Faruque

Thermal Side-Channel Forensics in Additive Manufacturing Systems Sujit Rokka Chhetri, Sina Faezi, Arquimedes Canedo and Mohammad Abdullah Al Faruque

WiP Abstracts

Stabilizing traffic with a single autonomous vehicle Raphael Stern, Daniel Work, Shumo Cui, Hannah Pohlmann, Benjamin Seibold, Maria Laura Delle Monache, Benedetto Piccoli and Jonathan Sprinkle

A Novel Strategy for Active Cell Balancing Sriram Vasudevan, Nitin Shivaraman and Arvind Easwaran

Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving Yunus Emre Sahin and Necmiye Ozay

Preliminary Evaluation of ROS2 Yuya Maruyama, Shinpei Kato and Takuya Azumi

Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology Fred Love, Bruce McMillin, Sivanesan Tulasidas and Wamadeva Balachandran

A Mixed Logical Dynamical System Model for Taxi Cruising Support System Toshimitsu Ushio, Masaki Hiromoto, Akiyoshi Okamoto and Tomoaki Akiyama

Human-Assisted Power Demand Forecasting Based on Action Plan Declaration Subhav Pradhan, Abhishek Dubey and Aniruddha Gokhale

Platform for Designing and Managing Resilient and Extensible CPS Masaki Igarashi, Atsushi Shimada, Hajime Nagahara and Rin-Ichiro Taniguchi

Demo Abstracts

Gesture-based Cyber-Physical In-Home Therapy System in a Big Data Environment Mohamed Abdur Rahman

Systematic Road Environment Generation for Vehicle Software Simulation Baekgyu Kim, Jonathan Shum, Akshay Jarandikar and Shinichi Shiraishi

CPS Week 2016 50

SURE: An Experimentation and Evaluation Testbed for Security and Resilience of CPS Himanshu Neema, Peter Volgyesi, Bradley Potteiger, William Emfinger, Xenofon Koutsoukos, Gabor Karsai, Yevgeniy Vorobeychik and Janos Sztipanovitz

Building IoT Applications with Accessors in CapeCode Marten Lohstroh, Christopher Brooks and Edward Lee

HajjCPS - A Cyber Physical Environment for Providing Location-Aware Services to a Very Large Crowd Mohamed Abdur Rahman and Akhlaq Ahmad

51 CPS Week 2016

IPSN 2016 15th ACM/IEEE International Conference on Information Processing in Sensor Networks

Committee

General Chair

Guoliang Xing (Michigan State University)

Technical Committee Co-Chairs

David Culler (University of California at Berkeley) Suman Nath (Microsoft Research) Niki Trigoni (University of Oxford)

Poster Co-Chairs

Lu Su (SUNY Buffalo) Tian He (University of Minnesota)

Demo Co-Chairs

Xiaofan (Fred) Jiang (Columbia University) Thiemo Voigt (SICS, Sweden)

Competition Chair

Dimitrios Lymberopoulos (Microsoft Research)

IoT Expo Co-Chair

Xiaofan (Fred) Jiang (Columbia University) JeongGil Ko (Ajou University) Thiemo Voigt (SICS, Sweden)

Web Chair

Yuanqing Zheng (Hong Kong Polytechnic University)

PhD Forum Co-Chairs

Luca Mottola (Politecnico di Milano, Italy) Octav Chipara (University of Iowa)

Shadow PC Coordination Chair

Nirupama Bulusu (Portland State University)

Publication Chair

Utz Roedig (University of Lancaster)

CPS Week 2016 52

Publicity Co-Chairs

Mário Alves (Polytechnic Institute of Porto, Portugal) Tamer Nadeem (Old Dominion University) Yanmin Zhu (Shanghai Jiao Tong University)

Technical Program Committee Tarek Abdelzaher (University of Illinois at Urbana-Champaign) Alberto Cerpa (University of California, Merced) Karthik Dantu (University at Buffalo) Jie Gao (Stony Brook University) Omprakash Gnawali (University of Houston) Magnus Halldorsson (Reykjavik University) Tian He (University of Minnesota) Wei Hong (Nest Labs) Wen Hu (University of New South Wales, and NICTA) Polly Huang (National Taiwan University) Andreas Krause (ETH Zurich) Bhaskar Krishnamachari (University of Southern California) Koen Langendoen (Delft University of Technology) Phil Levis (Stanford University) Jie Liu (Microsoft Research) Dimitrios Lymperopoulos (Microsoft Research) Andrew Markham (University of Oxford) Florian Michahelles (Siemens USA) Luca Mottola (Politecnico di Milano, Italy and SICS Swedish ICT) Shahriar Nirjon (University of North Carolina at Chapel Hill) Neal Patwari (University of Utah) Vijay Raghunathan (Purdue University) Kay Roemer (Graz University of Technology) Alex Rogers (University of Southampton) Anthony Rowe (Carnegie Mellon University) Junehwa Song (Korea Advanced Institute of Science and Technology) Jack Stankovic (University of Virginia) Roger Wattenhofer (ETH Zurich) Kamin Whitehouse (University of Virginia) Pei Zhang (Carnegie Mellon University) Marco Zuniga (Delft University of Technology)

53 CPS Week 2016

Program

Tuesday, April 12th




10:00 - 12:00 Session 1: Network and Embedded System Architectures Room: 10, Rittersaal

10:00 - 10:30 Preamble Counter: Achieving Accurate and Real-Time Link Estimation in Low Power Wireless Sensor Networks Daibo Liu, Zhichao Cao, Mengshu Hou, Yi Zhang

10:30 - 11:00 DeepX: A Software Accelerator for Low-Power Deep Learning Inference on Mobile Devices Nicholas Lane, Sourav Bhattacharya, Claudio Forlivesi, Petko Georgiev, Lei Jiao, Lorena Qendro, Fahim Kawsar

11:00 - 11:30 System Design for a Synergistic, Low Power Mote/BLE Embedded Platform Michael P Andersen, Gabe Fierro, David E. Culler

11:30 - 12:00 TinySDM: Software Defined Measurement in Wireless Sensor Networks Chenhong Cao, Luyao Luo, Yi Gao, Wei Dong, Chun Chen

12:00 - 13:30 Lunch

13:30 - 15:30 Session 2: Localization and Tracking

Room: 10, Rittersaal

13:30 - 14:00 Harmonium: Asymmetric, Active UWB for High-Quality Indoor Localization Benjamin Kempke, Pat Pannuto, Prabal Dutta

14:00 - 14:30 Characterizing the Accuracy of a Self-Synchronized Reverse-GPS Wildlife Localization System Adi Weller-Weiser, Yotam Orchan, Ran Nathan, Motti Charter, Anthony J. Weiss, Sivan Toledo

14:30 - 15:30 Localization competition results

CPS Week 2016 54

Wednesday, April 13th




11:00 - 12:30 Session 3: Activity and Health Monitoring Room: 10, Rittersaal

11:00 - 11:30 HB-Phone: A Bed-Mounted Geophone-Based Heartbeat Monitoring System Zhenhua Jia, Musaab Alaziz, Xiang Chi, Richard Howard, Yanyong Zhang, Pei Zhang, Wade Trappe, Anand Sivasubramaniam, Ning An

11:30 - 12:00 Burnout: A Wearable System for Unobtrusive Skeletal Muscle Fatigue Estimation Frank Mokaya, Roland Lucas, Hae Young Noh and Pei Zhang

12:00 - 12:30 HeadScan: A Wearable System for Radio-based Sensing of Head and Mouth-related Activities Biyi Fang, Nicholas Lane, Mi Zhang, Fahim Kawsar

12:30 - 14:00 Lunch

14:00 - 15:00 Session 4: Localization and tracking

14:00 - 14:30 Highly Reliable Signal Strength-Based Border Crossing Localization in Outdoor Time-varying Environments Peter Hillyard, Anh Luong, Neal Patwari

14:30 - 15:00 Indoor Tracking using Crowdsourced Maps Jiang Dong, Yu Xiao, Zhonghong Ou,Yong Cui, and Antti Ylä-Jääski


16:00 - 18:00 Session 5: Robust wireless networks Room: 10, Rittersaal

16:00 - 16:30 Oppcast: Exploiting Spatial and Channel Diversity for Robust Data Collection in Dynamic Urban Environments Mobashir Mohammad, XiangFa Guo, Mun Choon Chan

16:30 - 17:00 Generic Route Repair: Augmenting Wireless Ad Hoc Sensor Networks for Local Connectivity Stefan Hoffmann, Egon Wanke

17:00 - 17:30 RNFD: Routing-Layer Detection of DODAG (Root) Node Failures in Low-Power Wireless Networks Konrad Iwanicki

17:30 - 18:00 CrossZig: Combating Cross-Technology Interference in Low-power Wireless Networks Anwar Hithnawi, Su Li, Hossein Shafagh, James Gross, Simon Duquennoy

18:00 - 19:30 IPSN business meeting


55 CPS Week 2016


7:10 – 8:10

Registration



10:00 - 12:00 Session 6: Biometrics and User Identification Room: 10, Rittersaal

10:00 - 10:30 Walkie-Talkie: Motion-Assisted Automatic Key Generation for Secure On-Body Device Communication Weitao Xu, Girish Revadigar, Chengwen Luo, Neil Bergmann, Wen Hu

10:30 - 11:00 WiWho: WiFi-based Person Identification in Smart Spaces Yunze Zeng, Parth H. Pathak, Prasant Mohapatra

11:00 - 11:30 Sensor-assisted Face Recognition System on Smart Glass via Multi-view Sparse Representation Classification Weitao Xu, Yiran Shen, Neil Bergmann, Wen Hu

11:30 - 12:00 VibID: User Identification through Bio-Vibrometry Lin Yang, Wei Wang, Qian Zhang

12:00 - 13:30 Lunch

13:30 - 15:30 Session 7: Novel Applications Room: 10, Rittersaal

13:30 - 14:10 Accurate Power Quality Monitoring in Microgrids Zhichuan Huang, Ting Zhu, Haoyang Lu, Wei Gao

14:10 - 14:50 MAGIC: Model-Based Actuation for Ground Irrigation Control Daniel A. Winkler, Robert Wang, Francois Blanchette, Miguel Á. Carreira-Perpiñán, Alberto E. Cerpa

14:50 - 15:30 Topic-Aware Social Sensing with Arbitrary Source Dependency Graphs Chao Huang, Dong Wang

15:30 - 16:00 Recursive Ground Truth Estimator for Social Data Streams Shuochao Yao, Md Tanvir Amin, Lu Su, Shaohan Hu, Shen Li, Shiguang Wang, Yiran Zhao, Tarek Abdelzaher, Lance Kaplan, Charu Aggarwal, Aylin Yener

CPS Week 2016 56

RTAS 2016 22nd IEEE Real-Time and Embedded Technology and Applications Symposium

Committee

General Chair James Anderson, University of North Carolina at Chapel Hill, USA

Program Chair

Robert Davis, University of York, UK, INRIA, Paris, France

Work-in-Progress Chair

Vincent Nelis, CISTER, ISEP, Portugal

Demo Chair

Sophie Quinton, Inria Grenoble Rhône-Alpes, France

Webmaster

Harini Ramaprasad, University of North Carolina at Charlotte, USA


David Broman, KTH Sweden, UC Berkeley USA Robert Davis, University of York, UK Rodolfo Pellizzoni, University of Waterloo, Canada

Program Committee

Iain Bate, University of York, UK Timothy Bourke, Inria Paris-Rocquencourt, France Björn Brandenburg, Max Planck Institute for Software Systems (MPI-SWS), Germany Albert M. K. Cheng, University of Houston, Texas, USA Marco Di Natale, Scuola Superiore S. Anna, Italy Rolf Ernst, TU Braunschweig, Germany Chris Gill, Washington University in St. Louis, USA Gernot Heiser, NICTA and UNSW, Australia Xenofon Koutsoukos, Vanderbilt University, USA Cong Liu, University of Texas at Dallas, USA Daniel Lohmann, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Chenyang Lu, Washington University in St. Louis, USA Claire Pagetti, ONERA, France Anthony Rowe, Carnegie Mellon University, CMU Richard West, Boston University, USA Haibo Zeng, Virginia Tech, USA Arvind Easwaran, Nanyang Technological University, Singapore Ahlem Mifdaoui, University of Toulouse - ISAE Enrico Bini, Scuola Superiore Sant’Anna, Pisa, Italy Frank Slomka, Ulm University, Germany

http://www.cs.unc.edu/~anderson/

http://www-users.cs.york.ac.uk/~robdavis/

http://www.cister.isep.ipp.pt/people/vincent_nelis/

https://team.inria.fr/spades/quinton/

http://webpages.uncc.edu/~hramapra/index.html

https://www.kth.se/profile/dbro/

http://www-users.cs.york.ac.uk/~robdavis/

https://ece.uwaterloo.ca/~rpellizz/

http://www-users.cs.york.ac.uk/~ijb/

http://www.tbrk.org/

https://www.mpi-sws.org/~bbb/

http://www2.cs.uh.edu/~acheng/acheng.html

http://retis.sssup.it/~marco/

http://www.ida.ing.tu-bs.de/~ernst

http://www.cse.wustl.edu/~cdgill/

http://gernot-heiser.org/

http://www.vuse.vanderbilt.edu/~koutsoxd/

http://www.utdallas.edu/~cxl137330/

https://www4.cs.fau.de/~lohmann

http://www.cse.wustl.edu/~lu/

http://www.onera.fr/staff/claire-pagetti

http://users.ece.cmu.edu/~agr/

http://www.cs.bu.edu/fac/richwest/

http://www.ece.vt.edu/zeng/

http://www.ntu.edu.sg/home/arvinde/

http://personnel.isae.fr/ahlem-mifdaoui/

http://retis.sssup.it/~bini/

https://www.uni-ulm.de/en/in/es/staff/prof-dr-frank-slomka.html

57 CPS Week 2016

George Lima, Federal University of Bahia, Brazil, Gerhard Fohler, Technische Universität Kaiserslautern, Germany Giorgio Buttazzo, Scuola Superiore Sant’Anna, Pisa, Italy Giuseppe Lipari, University of Lille, France Jim Anderson, University of North Carolina at Chapel Hill Karl-Erik Årzén, Lund University, Sweden Konstantinos Bletsas, CISTER/INESC TEC and ISEP, Portugal Liliana Cucu-Grosjean, INRIA Paris-Rocquencourt, France Marko Bertogna, University of Modena, Italy Martina Maggio, Lund University, Sweden Mikael Sjödin, Malardalen University, Sweden Moris Behnam, Malardalen University, Sweden Nan Guan, Northeastern University (NEU), China. Robert Kaiser, RheinMain University of Applied Sciences, Germany Steve Goddard, University of Nebraska-Lincoln, USA Tarek Abdelzaher, University of Illinois at Urbana Champaign, USA Thomas Nolte, Malardalen University, Sweden Vincent Nelis, CISTER/INESC TEC and ISEP, Portugal Wang Yi, Uppsala University, Sweden Leandro Soares Indrusiak, University of York, UK Chang-Gun Lee, Seoul National University, Korea Sebastian Altmeyer, University of Luxembourg Jan Reineke, Saarland University, Germany Marcus Völp, Technische Universität Dresden, Germany Jens Knoop, TU Vienna, Austria Hiren Patel, University of Waterloo, Canada Jian-Jia Chen, TU Dortmund, Germany Benny Akesson, CISTER/INESC TEC and ISEP, Portugal Dionisio de Niz, SEI, Carnegie Mellon University, USA Neil C. Audsley, University of York, UK Shinpei Kato, Nagoya University, Japan Frank Mueller, North Carolina State University, USA Alexander G. Dean, North Carolina State University, USA Raimund Kirner, University of Hertfordshire, UK Christian Fraboul, University of Toulouse, France Xue Liu, McGill University, Canada Stanley Bak, Air Force Research Lab, USA Peter Puschner, TU Wien, Austria

https://sites.google.com/site/georgemarconidearaujolima/home

http://rts.eit.uni-kl.de/index.php?id=18&people_action=detail&people_id=3

http://retis.sssup.it/~giorgio/

http://www.lifl.fr/~lipari/

http://www.cs.unc.edu/~anderson/

http://www.control.lth.se/Staff/KarlErikArzen.html

http://www.cister.isep.ipp.pt/people/konstantinos_bletsas/

https://who.rocq.inria.fr/Liliana.Cucu/

http://hipert.unimore.it/people/marko/

http://www.martinamaggio.com/

http://www.es.mdh.se/staff/63-Mikael_Sj_din

http://www.es.mdh.se/staff/157-Moris_Behnam

http://user.it.uu.se/~nangu829/

http://www.cs.hs-rm.de/~kaiser/

http://cse.unl.edu/~goddard/

http://web.engr.illinois.edu/~zaher/

http://www.es.mdh.se/staff/48-Thomas_Nolte

http://www.cister.isep.ipp.pt/people/vincent_nelis/

http://user.it.uu.se/~yi/

https://www-users.cs.york.ac.uk/~lsi/

http://rubis.snu.ac.kr/?mid=members_view&member_srl=167

http://sebastian-altmeyer.de/

http://os.inf.tu-dresden.de/~voelp/

http://www.complang.tuwien.ac.at/knoop

https://caesr.uwaterloo.ca/

http://ls12-www.cs.tu-dortmund.de/daes/de/daes/mitarbeiter/prof-dr-jian-jia-chen.html

http://webpages.cister.isep.ipp.pt/~kbake/

http://www.andrew.cmu.edu/user/dionisio

http://www-users.cs.york.ac.uk/~neil

http://www.ertl.jp/~shinpei/

http://moss.csc.ncsu.edu/~mueller/

http://www.cesr.ncsu.edu/agdean

http://homepages.herts.ac.uk/~rk10aah/

http://www.irit.fr/-Publications-?code=2770&nom=Fraboul%20Christian&lang=en

http://www.cs.mcgill.ca/~xueliu/

http://stanleybak.com/

http://ti.tuwien.ac.at/rts/people/puschner

CPS Week 2016 58

Program

Tuesday, April 12th




10:00 - 12:00 Session 1: RTOS and Runtime Software Chair: David Broman Room: 5, Grosser Redoutensaal

10:00 - 10:30 A Real-Time Scratchpad-centric OS for Multi-core Embedded Systems Rohan Tabish, Renato Mancuso, Saud Wasly, Ahmed Alhammad, Sujit S. Phatak, Rodolfo Pellizzoni and Marco Caccamo

10:30 - 11:00 OSEK-Like Kernel Support for Engine Control Applications Under EDF Scheduling Vincenzo Apuzzo, Alessandro Biondi and Giorgio Buttazzo

11:00 - 11:30 A Kernel for Energy-Neutral Real-Time Systems with Mixed Criticalities Peter Wägemann, Tobias Distler, Heiko Janker, Phillip Raffeck and Volkmar Sieh

11:30 - 12:00 Temporal Isolation of Hard Real-Time Applications on Many-core Processors Quentin Perret, Pascal Maurère, Eric Noulard, Claire Pagetti, Pascal Sainrat and Benoit Triquet

12:00 - 13:30 Lunch

13:30 - 15:30 Session 2: Work-in-Progress and Demo presentations Chairs: Vincent Nelis and Sophie Quinton Room: 5, Grosser Redoutensaal

WiP Presentations

Towards Parallelizing Legacy Embedded Control Software Using the LET Programming Paradigm Julien Hennig, Hermann von Hasseln, Hassan Mohammad, Stefan Resmerita, Stefan Lukesch and Andreas Naderlinger

Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations Hela Guesmi, Belgacem Ben Hedi, Simon Bliudze, Mathieu Jan and Saddek Bensalem

Slot-Level Time-Triggered Scheduling on COTS Multicore Platform with Resource Contentions Ankit Agrawal, Gerhard Fohler, Jan Nowotsch, Sascha Uhrig and Michael Paulitsch

Scheduling of Multi-Threaded Tasks to Reduce Intra-Task Cache Contention Corey Tessler and Nathan Fisher

I/O Contention Aware Mapping of Multi-criticalities Real-time Applications over Many-core Architectures Laure Abdallah, Matheu Jan, Jérôme Ermont and Christian Fraboul

59 CPS Week 2016

Memory-aware Response Time Analysis for P-FRP Tasks Xingliang Zou and Albert Cheng

Cache Persistence Aware Response Time Analysis for Fixed Priority Preemptive Systems Syed Aftab Rashid, Geoffrey Nelissen and Eduardo Tovar

An Optimizing Framework for Real-time Scheduling Sakthivel Manikandan Sundharam, Sebastian Altmeyer and Nicolas Navet

Preliminary Performance Evaluation of HEF Scheduling Algorithm Carlos A. Rincon and Albert M. K. Cheng

Using Linked List in Exact Schedulability Tests for Fixed Priority Scheduling Jiaming Lv, Xingliang Zou, Albert M. K. Cheng and Yu Jiang

Online Semi-Partitioned Multiprocessor Scheduling of Soft Real-Time Periodic Tasks for QoS Optimization Behnaz Sanati and Albert Cheng

Towards Worst-Case Bounds Analysis of the IEEE 802.15.4e Harrison Kurunathan, Ricardo Severino, Anis Koubaa and Eduardo Tovar

Demo Presentations

TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices Rafik Henia, Laurent Rioux and Nicolas Sordon

Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems Loïc Fejoz, Nicolas Navet, Sakthivel Manikandan Sundharam and Sebastian Altmeyer

Demonstration of the FMTV 2016 Timing Verification Challenge Arne Hamann, Dirk Ziegenbein, Simon Kramer and Martin Lukasiewycz

Response-Time Analysis for Task Chains in Communicating Threads with pyCPA Johannes Schlatow, Jonas Peeck and Rolf Ernst

Run-Time Monitoring Environments for Real-Time and Safety Critical Systems Geoffrey Nelissen, Humberto Carvalho, David Pereira and Eduardo Tovar

Timing Aware Hardware Virtualization on the L4Re Microkernel Systems Adam Lackorzynski and Alexander Warg

Predictable SoC Architecture based on COTS Multi-core Nitin Shivaraman, Sriram Vasudevan and Arvind Easwaran

A Real-time Low Datarate Protocol for Cooperative Mobile Robot Teams Gaetano Patti, Giovanni Muscato, Nunzio Abbate and Lucia Lo Bello


16:00 - 18:00 Poster Session Room: 5, Grosser Redoutensaal

18:00 - 20:00 CPS Community Forum Room: 5, Grosser Redoutensaal

CPS Week 2016 60

Wednesday, April 13th




11:00 - 12:30 Session 3: Memory Chair: Peter Puschner Room: 5, Grosser Redoutensaal

11:00 - 11:30 Criticality- and Requirement-aware Bus Arbitration for Multi-core Mixed Criticality Systems Mohamed Hassan and Hiren Patel

11:30 - 12:00 Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers Yonghui Li, Benny Akesson, Kai Lampka and Kees Goossens

12:00 - 12:30 Memory Servers for Multicore Systems Rodolfo Pellizzoni and Heechul Yun

12:30 - 14:00 Lunch

14:00 - 15:30 Session 4: Scheduling Chair: Rodolfo Pellizzoni Room: 5, Grosser Redoutensaal

14:00 - 14:30 TaskShuffler: A Schedule Randomization Protocol for Obfuscation Against Timing Inference Attacks in Real-Time Systems Man-Ki Yoon, Sibin Mohan, Chien-Ying Chen and Lui Sha

14:30 - 15:00 Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi and Insup Lee

15:00 - 15:30 Exploring Energy Saving for Mixed-Criticality Systems on Multi-cores Sujay Narayana, Pengcheng Huang, Georgia Giannopoulou, Lothar Thiele and RangaRao Venkatesha Prasad


16:00 - 18:00 Session 5: Outstanding papers Chair: Rob Davis Room: 5, Grosser Redoutensaal

16:00 - 16:30 Attacking the One-Out-Of-m Multicore Problem by Combining Hardware Management with Mixed-Criticality Provisioning Namhoon Kim, Bryan Ward, Micaiah Chisholm, Cheng-Yang Fu, Jim Anderson and Don Smith

16:30 - 17:00 Taming Non-blocking Caches to Improve Isolation in Multicore Real-Time Systems Prathap Kumar Valsan, Heechul Yun and Farzad Farshchi

17:00 - 17:30 Mixed-Criticality Federated Scheduling for Parallel Real-Time Tasks Jing Li, David Ferry, Shaurya Ahuja, Kunal Agrawal, Chris Gill and

61 CPS Week 2016

Chenyang Lu 17:30 - 18:00 Complete, High-Assurance Determination of Loop Bounds and Infeasible

Paths for WCET Analysis Thomas Sewell, Felix Kam and Gernot Heiser






10:00 - 12:00 Session 6: Dataflow and Stateflow modeling Chair: Martina Maggio Room: 5, Grosser Redoutensaal

10:00 - 10:30 Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs Adnan Bouakaz, Pascal Fradet and Alain Girault

10:30 - 11:00 Modeling multi-periodic Simulink systems by Synchronous Dataflow Graphs Enagnon Cédric Klikpo, Jad Khatib and Alix Munier

11:00 - 11:30 Combining Offsets with Precedence Constraints to Improve Temporal Analysis of Cyclic Real-Time Streaming Applications Philip Kurtin, Joost Hausmans and Marco Bekooij

11:30 - 12:00 From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design Yu Jiang, Han Liu, Yixiao Yang, Ming Gu, Jiaguang Sun and Lui Sha

12:00 - 13:30 Lunch

13:30 - 15:30 Session 7: Networks and Communication Chair: Leandro Indrusiak Room: 5, Grosser Redoutensaal

13:30 - 14:00 Response-Time Analysis for Task Chains in Communicating Threads Johannes Schlatow and Rolf Ernst

14:00 - 14:30 Buffer Space Allocation for Real-Time Priority-Aware Networks Hany Kashif and Hiren Patel

14:30 - 15:00 Modeling High-Performance Wormhole NoCs for Critical Real-Time Embedded Systems Milos Panic, Carles Hernandez, Eduardo Quinones, Jaume Abella and Francisco Cazorla

15:00 - 15:30 Multi-Objective Co-Optimization of FlexRay-based Distributed Control Systems Debayan Roy, Licong Zhang, Wanli Chang, Dip Goswami and Samarjit Chakraborty


CPS Week 2016 62

16:00 - 17:30 Session 8: Timing Analysis and Memory Chair: Sebastian Altmeyer Room: 5, Grosser Redoutensaal

16:00 - 16:30 Precise Cache Timing Analysis via Symbolic Execution Duc-Hiep Chu, Joxan Jaffar and Rasool Maghareh

16:30 - 17:00 Improving Early Design Stage Timing Modeling in Multicore Based Real-Time Systems David Trilla, Javier Jalle, Mikel Fernandez, Jaume Abella and Francisco Cazorla

17:00 - 17:30 Trading Cores for Memory Bandwidth in Real-Time Systems Ahmed Alhammad and Rodolfo Pellizzoni

63 CPS Week 2016

Workshops

ARCH 2016

3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

Organizers

Program Chairs

Goran Frehse, UJF-Verimag, France Matthias Althoff, Technische Universitat Munchen, Germany Publicity Chair Sergiy Bogomolov, Institute of Science and Technology Austria, Austria

Evaluation Chair

Taylor T. Johnson, University of Texas at Arlington, USA

Program Committee

Pieter Collins (Maastricht Univ.) Alexandre Donze (UC Berkeley) Ian Mitchell (Univ. British Colombia) Sayan Mitra (UI Urbana Champaign) Andre Platzer (CarnegieMellon Univ.) Nacim Ramdani (Universite d'Orleans) Sriram Sankaranarayanan (UC Boulder) Xin Chen (RWTH Aachen University) Sicun Gao (Massachusetts Institute of Technology) Stanley Bak (Air Force Research Lab) Ajinkya Bhave (LMS) Jyotirmoy Deshmukh (Toyota) Luca Parolini (GE Global Research) Alessandro Pinto (United Technologies) Frank Schiller (Beckhoff Automation) Matthias Woehrle (Bosch) William Hung (Synopsys Inc) Olivier Bouissou (MathWorks) Daniel Bryce (SIFT) Aaron Fifarek (Linquest)

https://sites.google.com/site/frehseg/

http://www6.in.tum.de/Main/Althoff

http://swt.informatik.uni-freiburg.de/staff/bogom


CPS Week 2016 64

Program Monday, April 11th, Schatzkammersaal (Room 33)


09:00 - 10:25 Session 1: Invited Talk and Benchmarks I

09:00 - 09:45 Invited Talk: Reliable and Reproducible Competition Results Dirk Beyer

09:45 - 10:05 Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue Houssam Abbas, Kuk Jin Jang, Rahul Mangharam

10:05 - 10:25 Benchmark: Hybrid automata model of the heart for formal verification of pacemakers Sidharta Andalam, Avinash Malik, Partha Roop, Mark Trew


11:00 - 12:20 Session 2: Benchmarks II

11:00 - 11:20 Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis Scott Livingston, Vasumathi Raman

11:20 - 11:40 Benchmarks for Non-linear Continuous System Safety Verification Andrew Sogokon, Taylor T Johnson, Khalil Ghorbal

11:40 - 12:00 Benchmark: Formal Verification of Charge Pump Phase-Locked Loop and Full Wave Rectifier Through Reachability Analysis Omar Beg, Ali Davoudi, Taylor T Johnson

12:00 - 12:20 Benchmark proposal: hybrid modelling of a wind turbine Simone Schuler, Fabiano Daher Adegas, Adolfo Anta

12:20 - 14:00 Lunch

14:00 - 15:20 Session 3: Benchmarks III and Tools I

14:00 - 14:20 Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms Sergiy Bogomolov, Christian Herrera, Wilfried Steiner

14:20 - 14:40 Benchmark: Large-Scale Linear Systems from Order-Reduction Hoang-Dung Tran, Luan Viet Nguyen, Taylor T Johnson

14:40 - 15:00 High-level Hybrid Systems Analysis with Hypy Stanley Bak, Sergiy Bogomolov, Christian Schilling

15:00 - 15:20 HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski


16:00 - 17:20 Session 4: Tools II

16:00 - 16:20 Tool presentation: FormalSpec - semi-automatic formalization of system requirements for formal verification Axel Busboom, Simone Schuler, Alexander Walsch

16:20 - 16:40 A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour, John Lygeros

16:40 - 17:00 SMT-Based CPS Parameter Synthesis and Repair Heinz Riener, Robert Koenighofer, Goerschwin Fey, Roderick Bloem

17:00 - 17:20 Implementation of Interval Arithmetic in CORA 2016 Matthias Althoff, Dmitry Grebenyuk

65 CPS Week 2016

ConsIoT 2016 International Workshop on Consumers and the Internet of Things

Organizers

Program Chairs

Marco Ricolfi, Turin University, Italy Guido Noto La Diega, Queen Mary University of London, England, United Kingdom Miryam Bianco, Nexa Center for Internet and Society (DAUIN), Polytechnic of Turin

Program Monday, April 11th, Gartensaal (Room 32)

09:00 - 09:15 Welcome and Framework Guido Noto La Diega

09:15 - 09:30 Introduction

09:30 - 15:15 Session 1: Consumers and the IoT: Hot Topics

09:30 - 09:50 Internet of Things: twin Challenges for the Regulation Pierre-Jean Benghozi

09:50 - 10:00 Q&A and comments

10:00 - 10:20 Big Data in the Platform Economy Alain Strowel



11:00 - 11:20 Human and Artificial Intelligence in the Internet of Things: A possible Balance? Claudio Borean


11:30 - 11:40 (Intellectual) Ownership of Consumers' Information in the Internet of Things: a new proposed Taxonomy of personal Data Gianclaudio Malgieri


11:45 - 12:30 Roadmap Ideas for the Development of new IoT Products, between Business Models, Technology and social Megatrends Alessandro Bassi

12:30 - 14:00 Lunch

14:00 - 14:20 Me and my Smartwatch: How close are we? An Analysis from a European Consumer Protection Law Perspective Lucie Guibault


14:30 - 14:50 Internet of medical Things: Ethical Challenges and Opportunities Effy Vayena


15:00 - 15:10 The Quest for Privacy in the Consumer IoT Johanna Ullrich, Artemios G. Voyiatzis, Edgar R. Weippl


http://nexa.polito.it/people/mricolfi

http://italiot.altervista.org/about-us/

http://nexa.polito.it/people/mbianco

CPS Week 2016 66

15:15 - 17:00 Session 2: Consumers and the IoT: Discussion

15:15 - 15:20 Scene setting Hanne Melin

15:20 - 15:30 Introduction to discussion Miryam Bianco


16:00 - 17:00 Discussion

17:00 - 17:15 Conclusion Marco Ricolfi

CPPS 2016 1st International Workshop on Cyber-Physical Production Systems

Organizers


Detlef Gerhard, TU Wien, Austria Stefan Schulte, TU Wien, Austria Rainer Stark, TU Berlin, Germany

Program Committee

Michael Abramovici, Ruhr University Bochum, Germany Ezio Bartocci, TU Wien, Austria Stefan Biffl, TU Wien, Austria Friedrich Bleicher, TU Wien, Austria Schahram Dustdar, TU Wien, Austria Martin Eigner, Kaiserslautern University of Technology, Germany Madjid Fathi, University of Siegen, Germany Radu Grosu, TU Wien, Austria Gerti Kappel, TU Wien, Austria Wolfgang Kastner, TU Wien, Austria Burkhard Kittl, TU Wien, Austria Jürgen Mangler, University of Vienna, Austria Jivka Ovtcharova, Karlsruhe Institute of Technology, Germany Kristin Paetzold, Bundeswehr University Munich, Germany Daniela Popescu, Technical University of Cluj-Napoca, Romania Andreas Reinhardt, Technische Universität Clausthal, Germany Marta Sabou, TU Wien, Austria Wilfried Sihn, TU Wien, Austria Mathias Uslar, OFFIS Oldenburg, Germany Manuel Wimmer, TU Wien, Austria Tanja Zseby, TU Wien, Austria

67 CPS Week 2016

Program Tuesday, April 12th, Sitzungsaal (Room 3)

10:00 - 11:30 Session 1: CPPS Modelling & Engineering Chair: Stefan Schulte

10:00 - 10:30 Towards Collective Intelligence System Architectures for Supporting Multi-Disciplinary Engineering of Cyber-Physical Production Systems Angelika Musil, Juergen Musil and Stefan Biffl

10:30 - 11:00 Towards Model-Integrated Service-Oriented MES Solmaz Mansour Fallah, Sabine Wolny and Manuel Wimmer

11:00 - 11:30 Supporting the Engineering of Cyber-Physical Production Systems with the AutomationML Analyzer Marta Sabou, Fajar J. Ekaputra, Olga Kovalenko and Stefan Biffl

11:30 - 14:00 Lunch Break

14:00 - 15:30 Session 2: CPPS Integration & Simulation Chair: Gerti Kappel

14:00 - 14:30 A Middleware Architecture for Vertical Integration Ahmed Ismail, Wolfgang Kastner

14:30 - 15:00 Towards a Methodology and Instrumentation Toolset for Cloud Manufacturing Olena Skarlat, Michael Borkowski and Stefan Schulte

15:00 - 15:30 Process-Level Modeling and Simulation for HP’s Multi Jet Fusion 3D Printing Technology Hokeun Kim, Yan Zhao and Lihua Zhao


16:00 - 17:30 Session 3: CPPS System and Framework Support Chair: Detlef Gerhard

16:00 - 16:30 Secure Cyber-Physical Production Systems: Solid Steps towards Realization Johanna Ullrich, Artemios G. Voyiatzis and Edgar R. Weippl

16:30 - 17:00 Reference Framework of a Model to identify the Need of Digital Assistance Systems and their Efficiency in Cyber-Physical Assembly Systems Philipp Hold and Wilfried Sihn

17:00 - 17:30 Ontological Reasoning for Consistency in the Design for Cyber-Physical Systems Ken Vanherpen, Joachim Denil, István Dávid, Paul De Meulenaere, Pieter J. Mosterman, Martin Törngren, Ahsan Qamar and Hans Vangheluwe

CPS Week 2016 68

CPS Data 2016 2nd International Workshop on modelling, analysis, and control of complex CPS

Organizers

Organizing Committee

Michael Ditze, TWT GmbH, Germany Cornel Klein, Siemens AG, Germany Markus Pfeil, TWT GmbH, Germany Frank Golatowski, Universität Rostock, Germany Peter Gorm Larsen, Aarhus University, Denmark Harald Schöning, Software AG, Germany

Publicity chair

Christian König, TWT GmbH, Germany

Technical Program Committee

Alexey Cheptsov, University of Stuttgart, Germany Achim Rettberg, Hella Electronics & University of Oldenburg, Germany Mohammad Al Faruqe, University of California, USA Andreas Riegg, Daimler AG, Germany Stephan Grimm, Siemens AG, Germany Thilo Stadelmann, ZHAW Zürich, Switzerland Kai Hackbarth, ProSyst Software GmbH, Germany Jürgen Tacken, Redknee Inc, Germany Holmer Hemsen, DFKI, Germany Alexander Viehl, FZI, Germany Bastian Koller, University of Stuttgart, Germany Daniel Watzenig, Virtual Vehicle, Austria Christoph Niedermeier, Siemens AG, Germany Jim Woodcock, University of York, UK Peter Altenbernd, HS Darmstadt, Germany

Program Monday, April 11th, Büro 4.03

09:00 - 10:30 Session 1: Architectures / Semantic Web / Linked-data

09:00 - 09:30 Declarative Programming and Querying in a Distributed Cyber-Physical System: The i-VISION Case Käfer et al

09:30 - 10:00 Applying the BaaS Reference Architecture on different classes of devices Butzin et al

10:00 - 10:30 Data-oriented Abstraction of Virtual Sensors for Embedded Software Systems Ravindran et al

69 CPS Week 2016


11:00 - 12:30 Session 2: Model Checking & Verification

11:00 - 11:30 WUppaal: A Web-service for the Uppaal Model-checker Fogh et al

11:30 - 12:00 Towards the Verification of Temporal Data Consistency in Real-Time Data Management Cai et al

12:00 - 12:30 A Security Metric for Structured Security Analysis of Cyber-Physical Systems Supporting SAE J3061 Stegner et al


13:30 - 14:30 Session 3: Methods and Tools

13:30 - 14:00 Integrated Tool Chain for Model-based Design of Cyber-Physical Systems: The INTO-CPS Project Larsen et al

14:00 - 14:30 Dataflow-based Modeling and Performance Analysis for Online Gesture Recognition Grützmacher

CPSoS Cyber-Physical Systems of Systems

Organizers Michel Reniers Sebastian Engell Radoslav Paulen Christian Sonntag Haydn Thompson

Program Monday, 11th April, Büro 4.01

CPSoS: Cyber-Physical Systems of Systems

9:00 - 9.30 Opening and Introduction CPSoS and Roadmap | S. Engell (TUDO)

9:30 - 10:30 Session “Engineering Tools”

Introduction on “Engineering Tools” | M.A. Reniers (TU/e) Model Driven Engineering for high-performance servo control - from research to industrial practice | J. Voeten (TNO/ESI) & R.R.H. Schiffelers (ASML)


CPS Week 2016 70

11:00 - 11:30 Session “Engineering Tools”, continued

Set-based simulation with SpaceEx | G. Frehse (Verimag) CIF: modelling and analysis of heterogeneous models | D.A. van Beek (TU/e)

12:30 - 14:00 Lunch

14:00 - 15:30 Session “Management and Control of CPSoS”

Introduction “Management and Control of CPSoS” | R. Paulen (TUDO) Design, control and monitoring of systems of systems - breaking complexity by contracts | R. Findeisen, S. Lucia & P. Rumschinski (Otto-von-Guericke University Magdeburg) Market-like Coordination of Cyber-physical Systems-of-Systems | S. Wenzel, R. Paulen, and S. Engell (TUDO) Network aggregative games and hierarchical demand-response management | F. Parise (ETHZ), B. Gentile (ETHZ), S. Grammatico (TU/e) & J. Lygeros (ETHZ)


16:00 - 17:15 Session “HMI & Cognitive Systems”

Introduction on “HMI and Cognitive Systems” | H. Thompson (Thhink) The inevitable human factor in CPSoS | M. Sinclair (Loughborough University) Knowledge in CPSoS | R. Sanz (ASLab)

17:15 - 17:30 Wrap-up and discussion | S. Engell (TUDO)

CPSR-SG 2016 Joint International Workshop on Cyber-Physical Security and Resilience in Smart Grids

Organizers

Workshop Chairs

Anna Magdalena Kosek, DTU, Denmark Paul Smith, AIT, Austria Reinder Wolthuis, TNO, The Netherlands

Program Committee

Rohan Chabukswar, UTRC, Ireland Mathias Ekstedt, KTH, Sweden Frank Fransen, TNO, The Netherlands Oliver Gehrke, DTU, Denmark Robert Griffin, RSA, Switzerland Lucie Langer, AIT, Austria Kieran McLaughlin, Queen’s University Belfast, UK Nuno Neves, FFCUL, Portugal Eugeniusz Rosolowski, PWR, Poland Judith Rossebo, ABB, Germany Alberto Schaeffer-Filho, UFRGS, Brazil

71 CPS Week 2016

André Herdeiro Teixeira, TU Delft, The Netherlands Marco Tiloca, SICS, Sweden Kai Heussen, DTU, Denmark

Program Tuesday, April 12th, Untere Lounge (Room 16)


8:15 - 9:30 Opening and Keynote Speaker (common to all workshops) Johannes Fröhlich, TU Wien Rectorate Rajeev Alur, University of Pennsylvania, USA Room: 5, Grosser Redoutensaal


9:45 - 10:00 Welcome to the Joint International Workshop on Cyber-Physical Security and Resilience in Smart Grids: CPSR-SG 2016 Anna Magdalena Kosek, Reinder Wolthuis and Paul Smith Room: 16, Untere Lounge

10:00 - 12:00 Paper Session 1 Chair: Anna Magdalena Kosek, Room: 16, Untere Lounge

10:00 - 10:30 Including Threat Actor Capability and Motivation in Risk Assessment for Smart Grids Judith E. Y. Rossebø, Frank Fransen and Eric Luiijf

10:30 - 11:00 Analyzing Attack Resilience of an Advanced Meter Infrastructure Reference Model Rikard Blom, Matus Korman, Robert Lagerström and Mathias Ekstedt

11:00 - 11:30 Attack Path Reconstruction from Adverse Consequences on Power Grids- with a focus on Monitoring-Layer attacks J.K. Wang and Christian Moya

11:30 - 12:00 The Privacy Case: Matching Privacy-Protection Goals to Human and Organizational Privacy Concerns Tudor B. Ionescu and Gerhard Engelbrecht


13:30 - 14:15 Keynote: Cyber Security Landscape from a Vendor’s Perspective Bart de Wijs (Head of Cyber Security at ABB b.v. from Power Grids Division) Room: 16, Untere Lounge

14:15 - 15:45 Paper Session 2 Chair: Paul Smith Room: 16, Untere Lounge

14:15 - 14:45 The Most Frequent Energy Theft Techniques and Hazards in Present Power Energy Consumption Robert Czechowski and Anna Magdalena Kosek

14:45 - 15:15 A Supervisory Approach towards Cyber-Secure Generator Protection Rajesh Kavasseri, Yinan Cui and Nilanjan Ray Chaudhuri

15:15 - 15:45 What's under the hood? Improving SCADA security with process awareness Justyna Chromik, Anne Remke and Boudewijn R. Haverkort


CPS Week 2016 72

16:00 - 18:00 Paper Session 3 Chair: Reinder Wolthuis Room: 16, Untere Lounge

16:00 - 16:30 On Bounded Rationality in Cyber-Physical Systems Security: Game-Theoretic Analysis and Application to Smart Grid Protection Anibal Sanjab and Walid Saad

16:30 - 17:00 A Deep Learning-Based Cyber-Physical Strategy to Mitigate False Data Injection Attack in Smart Grids Jin Wei and Gihan J. Mendis

17:00 - 17:30 Contextual anomaly detection for cyber-physical security in Smart Grids based on an artificial neural network model Anna Magdalena Kosek

17:30 - 18:00 Cascading Failures Caused by Node Overloading in Complex Networks Volker Turau and Christoph Weyer

CySWater 2016 2nd International Workshop on Cyber-Physical Systems for Smart Water Networks

Organizers

Workshop Chairs

Panagiotis Tsakalides, University of Crete & FORTH-ICS, Greece Baltasar Beferull-Lozanov, Universitetet i Agder, Norway


Athanasia Panousopoulou, FORTH-ICS, Greece


Carlo Fischione, KTH Royal Institute of Technology, Sweden & MIT, USA Viktoria Fodor, KTH Royal Institute of Technology, Sweden Paul Havinga, University of Twente, The Netherlands Julie McCann, Imperial College London, UK Luis Montestruque, EmNet LLC, USA Chrysi Laspidou, University of Thessaly, Greece Helge Liltved, Universitetet i Agder & Norwegian Institute for Water Research, Norway Maria Papadopouli, FORTH-ICS & University of Crete, Greece Marios Polykarpou, Kios Research Center, Cyprus George Tzagkarakis, FORTH-ICS, Greece, & EONOS Investment Technologies, France

Program Monday, April 11th, Gardehalle I (room 31)


73 CPS Week 2016

9:00 - 9:15 Arrival and Coffee

9:15 - 9:30 Welcome by CySWater 2016 Chairs

9:30 - 10:30 Keynote Speaker Christopher Harman, Norwegian Institute for Water Research (NIVA), NO


11:00 - 12:30 Session 1: CPS for Smart Water Networks: Control, Performance and Applications

A CPS-Enabled Architecture for Sewer Mining Systems Lazaros Karagiannidis, Michalis Vrettopoulos, Effie Makri, Nikolaos Gkonos and Angelos Amditis

WaterOpt: A Method for Checking Near-Feasibility of Continuous Water Supply Bharadwaj Amrutur, Mohan Kumar M. S., Sheetal Kumar K. R., Lovelesh Patel, Rajesh Sundaresan and Nidhin K. Vaidhiyan

Performance analysis of a user-centric crowd-sensing water quality assessment system Nikolaos Rapousis and Maria Papadopouli

On graph-based feature selection for multi-hop performance characterization in industrial smart water networks Athanasia Panousopoulou, Panagiotis Tsakalides


14:00 - 15:30 Session 2: CPS for Smart Water Networks: Security, Processing and Networking

Enabling Privacy in a Gaming Framework for Smart Electricity and Water Grids Cristina Rottondi and Giacomo Verticale

SWaT: A Water Treatment Testbed for Research and Training on ICS Security Aditya Mathur and Nils Tippenhauer

Daily Multivariate Forecasting of Water Demand in a Touristic Island with the Use of ANN and ANFIS Dimitrios Kofinas, Elpiniki Papageorgiou, Chrysi Laspidou, Nikolaos Mellios and Konstantinos Kokkinos

Energy-based Adaptive Compression in Water Network Control Systems Sokratis Kartakis, Marija Milojevic Jevric, George Tzagkarakis and Julie A. McCann


16:00 - 16:30 Panel Discussion

CPS Week 2016 74

DARS 2016 The First Workshop on Design and Analysis of Robust Systems

Organizers Pavithra Prabhakar, Kansas State University, USA Roopsha Samanta, IST Austria, Austria

Program Monday, April 11th, Obere Lounge

8:45 - 9:00 Welcome

9:00 - 9:45 Roderick Bloem 9:45 - 10:30 Georgios Fainekos


11:00 - 11:45 Antoine Girard 11:45 - 12:30 Matthias Rungger


14:00 - 14:45 Jan Otop 14:45 - 15:30 Pavithra Prabhakar


16:00 - 16:45 Ulrich Schmidt

16:45 - 17:30 Discussion and closing remarks

DCPS 2016 The First CPSWeek Workshop on Declarative Cyber-Physical Systems

Organizers

Program Chair

Albert M. K. Cheng, University of Houston, USA

Program Committee

Albert M. K. Cheng (Chair), University of Houston, USA Bjorn A. Andersson, Carnegie Mellon University, USA Stefan Andrei, Lamar University, USA Gopal Gupta, University of Texas at Dallas, USA Alan Hu, University of British Columbia, Canada Yu Jiang, Heilongjiang University, China Tei-Wei Kuo, National Taiwan University, Taiwan Chang-Gun Lee, Seoul National University, South Korea Jimmy H. M. Lee, Chinese University of Hong Kong, Hong Kong

75 CPS Week 2016

Jian Lin, University of Houston-Clear Lake, USA Jane Liu, Academia Sinica, Taiwan Joel Ouaknine, Oxford University, United Kingdom Peter Puschner, Vienna University of Technology, Austria Enrico Tronci, Sapienza University of Rome, Italy German Vidal, Technical University of Valencia, Spain Wang Yi, Uppsala University, Sweden Lukasz (Luke) Ziarek, University at Buffalo & The State University of New York, USA

Program Tuesday, April 12th


8:15 - 9:30 Opening and Keynote Speaker (common to all workshops) Rajeev Alur, University of Pennsylvania, USA Room: 5, Grosser Redoutensaal


10:00 - 11:00 Workshop Keynote: Models, Over-approximations and Robustness Eugenio Moggi Room: Büro 4.02

11:00 - 12:00 Session 1 Room: Büro 4.02

P-FRP Task Scheduling: A Survey Xingliang Zou, Albert Cheng and Yu Jiang

Real-time Capabilities in Functional Languages Jeffrey Murphy, Bhargav Shivkumar and Lukasz Ziarek


13:30 - 15:30 Session 2 Room: Büro 4.02

Architecture for Logic Programing with Arrangements of Finite-State Machines Vlad Estivill-Castro, Rene Hexel and Alberto Ramirez-Regalado

Dependability Assessment of Networked Embedded Software Systems Kaliappa Ravindran

Open Discussions on Declarative CPS


16:00 - 18:00 CPSWeek Poster Session

18:00 - 12:00 CPS Community Forum

CPS Week 2016 76

EITEC 2016 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems

Organizers

Organization Committee

Wolfgang Böhm, Technische Universität München, Germany Ingo Stierand, Carl von Ossietzky University, Germany Andreas Vogelsang, Technische Universität München, Germany Thorsten Weyer, Universität Duisburg-Essen, Germany


9:00 - 9:15 Welcome Workshop Organizers

9:15 - 10:00 Keynote: Cyber-Physical Systems - An Integrated Development Environment and Operating System for the Physical World Bernhard Schätz, fortiss GmbH

10:00 - 10:30 Fostering Concurrent Engineering of Cyber-physical Systems: A Proposal for an Ontological Context Framework Marian Daun, University of Duisburg-Essen


11:00 - 11:30 Dynamic Generation Containment Systems (DGCS): A Moving Target Defense Approach Tommy Chin, Rochester Institute of Technology

11:30 - 12:00 Collaborative Embedded Systems - A Case Study Holger Schlingloff, Humboldt Universität zu Berlin

12:00 - 12:30 Towards Trusted Apps Platforms for Open CPS Christian Prehofer, fortiss GmbH


14:00 - 14:30 Invited Talk: A Large Software Vendor’s View on Cyber Physical Systems Dominik Rüchardt, PTC

14:30 - 15:00 Automated Inconsistency Detection and Solution Proposals in Cyber-Physical System Networks Johanna Buchner, University of Duisburg-Essen

15:00 - 15:30 Towards Hierarchical Information Architectures in Automotive Martin Erich Jobst, fortiss GmbH


16:00 - 16:30 A Branching Model for Variability-Afflicted Cyber-Physical Systems Robert Hellebrand, pure-systems GmbH

77 CPS Week 2016

16:30 - 17:00 Optimising Maintenance: What are the expectations for Cyber Physical Systems Erkki Jantunen, VTT Technical Research Centre of Finland

17:00 - 17:15 Workshop Closing

IDEA 2016 Integrating Dataflow, Embedded Computing, and Architecture

Organizers

Program Chairs

Orlando Moreira, Intel, The Netherlands Robert de Groote, University of Twente, The Netherlands


Alok Lele, Eindhoven University of Technology, The Netherlands Waheed Ahmad, University of Twente, The Netherlands


Benny Åkesson, CISTER, Portugal Marco Bekooij, NXP Research, The Netherlands Pieter J. L. Cuijpers, Eindhoven University of Technology, The Netherlands Johan Eker, Ericsson & Lund University, Sweden Marc Geilen, Eindhoven University of Technology, The Netherlands Michael Glaß, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Kim Grüttner, OFFIS, Germany Christian Haubelt, Universität Rostock, Germany Alix Munier Kordon, LIP6, France Petro Poplavko, VERIMAG, Grenoble, France Gerard Smit, University of Twente, The Netherlands Stavros Tripakis, Aalto, Finland & UC Berkeley, USA Jean-Pierre Talpin, INRIA, France Xue-Yang Zhu, SKLCS, China

CPS Week 2016 78

Program Monday, April 11th, Mittlere Lounge

9:00 - 10:30 Session 1: Opening Session

Opening: Idea 2016 Twan Basten, IDEA general chair

Keynote: High Performance Embedded Computing Using Heterogeneous Computational Fabrics - The ALMARVI Vision and Beyond Zaid Al-Ars

Multiprocessor Scheduling of a Multi-mode Dataflow Graph Considering Mode Transition Delay Hanwoong Jung, Hyunok Oh and Soonhoi Ha


11:00 - 12:30 Session 2: Regular Session

Worst Case Response Time Analysis of a Synchronous Dataflow Graph in Multiprocessor Real-time Systems Junchul Choi and Soonhoi Ha

Flexible and Trade-Off-Aware Constraint-Based Design Space Exploration for Streaming Applications on Heterogeneous Platforms Kathrin Rosvall and Ingo Sander

Performance Estimation of Template-based Gesture Recognition on Multi-Core Architectures Using Scenario-Aware Dataflow Graphs Florian Grützmacher, Benjamin Beichler, Bart Theelen and Christian Haubelt


14:00 - 15:30 Session 3: Interactive Poster Presentation Session

Towards State-Based RT Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication Ralf Stemmer, Maher Fakih, Kim Grüttner and Wolfgang Nebel

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications Waheed Ahmad, Bugra Mehmet Yildiz, Arend Rensink and Marielle Stoelinga

Extended Abstract: Process Networks for Reactive Streaming with Timed-automata Implementation Peter Poplavko, Dario Socci, Rany Kahil, Marius Bozga and Saddek Bensalem

Analysis and Visualization of Execution Traces of DataFlow Applications Hadi Alizadeh Ara, Amir Behrouzian, Marc Geilen, Martijn Hendriks, Dip Goswami and Twan Basten

79 CPS Week 2016


16:00 - 17:30 Session 4: Regular Session

Mode-controlled Dataflow based Buffer Allocation for Real-time Streaming Applications Running on a Multi-processor without Back-pressure Hrishikesh Salunkhe, Alok Lele, Orlando Moreira and Kees van Berkel

Symbolic computation of the latency for dataflow graphs Pascal Fradet, Alain Girault and Adnan Bouakaz

Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow Joost-Pieter Katoen and Hao Wu

Closing - best paper and best interactive presentation award Twan Basten, IDEA general chair

Medical CPS 2016 7th International Workshop on Medical Cyber-Physical Systems

Organizers

Workshop Co-Chairs

Ezio Bartocci, TU Wien, Austria Martin Leucker, University of Lübeck, Germany

Program Committe

David Arney, University of Pennsylvania, USA Ezio Bartocci, TU Wien, Austria Marco Beccani, University of Pennsylvania, USA Luca Bortolussi, University of Trieste, Italy Flavio H. Fenton, Georgia Institute of Technology, USA Martin Leucker, University of Lübeck, Germany Philip T Moore, Lanzhou University, China Nicola Paoletti, University of Oxford, UK Guido Sanguinetti, University of Edinburgh, UK Scott. A. Smolka, Stony Brook University, USA Oleg Sokolsky, University of Pennsylvania, USA Volker Turau, Hamburg Universtity of Technology, Germany Pietro Valdastri, Vanderbilt University, USA Krishna Venkatasubramanian, Worcester Polytechnic Institute, USA

Steering Committee

Julian M. Goldman, Massachusetts General Hospital/Harvard Medical School, USA Paul Jones, Food and Drug Administration, USA Insup Lee, University of Pennsylvania, USA Sandy Weininger, Food and Drug Administration, USA

CPS Week 2016 80

Program Monday, April 11th, Rittersaal (Room 10)

9:30 - 10:30 Morning Keynote Chair: Martin Leucker The Medical Internet of Things (MIoT) to enable healthcare transformation Julian M. Goldman


11:00 - 12:30 Session 1: Safety and Interoperability

11:00 - 11:30 Protecting interoperable clinical environment with authentication Liang Cheng, Zhangtan Li, Yi Zhang, Yang Zhang and Insup Lee,

11:30 - 12:00 Measuring performance of middleware technologies for medical systems: Ice vs AMQP Paloma Rubio-Conde, Diego Villarán-Molina and Marisol García-Valls,

12:00 - 12:30 Support for Safety Case Generation via Model Transformation Chung-Ling Lin, Wuwei Shen and Richard Hawkins,


14:00 - 15:00 Afternoon Keynote Chair: Ezio Bartocci Lifesaving Capsule Robots Pietro Valdastri

15:00 - 15:30 Flexible and timely on-line integration of medical services using iLand middleware Marisol García-Valls, Natividad Herrasti and Christophe Jouvray


16:00 - 17:30 Session 3: Verification of Medical CPS

16:00 - 16:30 Dissemination Talk: CyberCardia: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems Rahul Mangharam

16:30 - 17:00 Automated Closed-Loop Model Checking of Implantable Pacemaker Using Abstraction Tree Zhihao Jiang, Houssam Abbas, Pieter Mosterman and Rahul Mangharam

17:00 - 17:30 Model-Based Falsification of an Artificial Pancreas Control System Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B Wayne Bequette, Georgios Fainekos and David Maahs

Posters

Nicola Paoletti, Patanè Andrea and Marta Kwiatkowska. Closed-loop quantitative verification of rate-adaptive pacemakers

Alena Simalatsar, Monia Guidi and Thierry Buclin. Cascaded PID Controller for Anaesthesia Delivery Delivery

81 CPS Week 2016

MSCPES 2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems

Organizers Workshop chairs Peter Palensky (TU Delft, The Netherlands), Bryan Palmintier (NREL, USA) Program Committee Chairs Edmund Widl (AIT, Austria) Program Committee Matthias Althoff (TU Munich, Germany) Christoph Grimm (University Kaiserslautern, Germany) Seung Ho Hong (Hanyang University, Korea) Tommi Karhela (VTT, Finland) Wolfgang Kastner (TU Vienna, Austria) Sebastian Lehnhoff (OFFIS, Oldenburg, Germany) Yan Liu (Concordia University, Montreal, Canada) Antonello Monti (RWTH Aachen University, Germany) Sven Christian Müller (TU Dortmund, Germany) Yiyu Shi (Missouri S&T, USA) Pierluigi Siano (University Salerno, Italy) Anurag Srivastava (Washington State University, USA) Kishor S. Trivedi (Duke University, USA)

Program Monday, April 11th, Untere Lounge (Room 16)

9:15 - 9:30 Opening

9:30 - 10:30 Presentations - Session I

9:30 - 9:50 Himanshu Neema, Janos Sztipanovits, Martin Burns, Edward Griffor C2WT-TE: A Model-Based Open Platform for Integrated Simulations of Transactive Smart Grids

9:50 -10:10 Mario Faschang, Florian Judex, Friederich Kupzog, Stefan Vielguth, Florian Nadler, Andreas Schuster Functional View of a Smart City Architecture: The SCDA Greenfield Approach

10:10 - 10:30 Venkatesh Venkataramanan, Anurag Srivastava, Adam Hahn Real Time Co-Simulation Testbed for Microgrid Cyber Physical Analysis

10:30 - 11:00 Break

11:00 - 12:00 Presentations - Session II

11:00 - 11:20 Philipp Raich, Bernhard Heinzl, Franz Preyser, Wolfgang Kastner,

Modeling Techniques for Integrated Simulation of Industrial Systems Based on Hybrid PDEVS

http://staff.tudelft.nl/en/P.Palensky/

http://bryan.palmintier.net/

CPS Week 2016 82

11:20 - 11:40 Cornelius Steinbrink, Sebastian Lehnhoff Quantifying Probabilistic Uncertainty in Smart Grid Co-Simulation

11:40 - 12:00 Muhammad Talal Khan, Zakaria Habib, Elin Karlsson, Davood Babazadeh, Hassan Fidai, Lars Nordström Distributed Secondary Frequency Control Considering Rapid Start Units Using Alternating Direction Method of Multipliers

12:00 - 14:00 Lunch

14:00 - 15:00 Presentations - Session III

14:00 - 14:20 Aadil Latif, Sohail Khan, Peter Palensky, Wolfgang Gawlik Co-simulation Based Platform for Thermostatically Controlled Loads as a Frequency Reserve

14:20 - 14:40 Yinan Cui, Rajesh Kavasseri, Nilanjan Ray Chaudhuri Modeling and Simulation of Dynamic Communication Latency and Data Aggregation for Wide-Area Applications

14:40 - 15:00 Jawad Haider Kazmi, Aadil Latif, Ishtiaq Ahmad, Peter Palensky, Wolfgang Gawlik A Flexible Smart Grid Co-Simulation Environment for Cyber Physical Interdependence Analysis

15:00 - 15:30 Demonstrations - Session I

15:30 - 16:00 Break

16:00 - 17:00 Demonstrations - Session II

17:00 - 17:15 Closing

83 CPS Week 2016

MT CPS 2016 1st Workshop on Monitoring and Testing of Cyber-Physical Systems

Organizers Program Chairs Radu Grosu, Vienna University of Technology, Austria Oded Maler, VERIMAG, France Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria Program Committee Xavier Avon, EASii-IC, France Ezio Bartocci, Vienna University of Technology, Austria Sergiy Bogomolov, IST Austria, Austria Harald Brandl, AVL List GmbH, Austria Thao Dang, VERIMAG, France Jyotirmoy Deshmukh, Toyota Technical Center, USA Alexandre Donzé, UC Berkeley, USA Georgios Fainekos, Arizona State University, USA Thomas Ferrère, Mentor Graphics, France Christoph Grimm, Kaiserslautern University of Technology, Germany Radu Grosu, Vienna University of Technology, Austria Ichiro Hasuo, University of Tokyo, Japan Thomas Klotz, Bosch Sensortec GmbH, Germany Scott Little, Intel, USA Oded Maler, VERIMAG, France Thang Nguyen, Infineon Technologies AG, Austria Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria Sriram Sankaranarayanan, University of Colorado at Boulder, USA

Program Monday, April 11th, Sitzungsaal (room 3)

8:20 - 8:30 Welcome

8:30 - 9:30 Invited talk - Bernhard Aichernig. Killing Bugs in a Black Box with Model-based Mutation Testing

9:30 - 10:00 Anna Lukina, Radu Grosu, Ezio Bartocci and Scott A. Smolka. Statistical Model Checking as Feedback Control

10:00 -10:30 Bardh Hoxha and Georgios Fainekos. Pareto Front Exploration for Parametric Temporal Logic Specifications of Cyber-Physical Systems


11:00 - 11:30 Thao Dang, Alie El-Din Mady, Boubekeur Menouer, Rajesh Kumar and Mark Moulin. Validation of Industrial Cyber-Physical Systems: an application to HVAC systems

CPS Week 2016 84

11:30 - 12:00 Thang Nguyen, Dirk Hammerschmidt, Andrei Basa and Gerald Klatzer. Sensor Network Emulyzer for advanced Automotive System Testing and Development

12:00 - 12:30 Konstantin Selyunin and Stefan Jaksic. Many facets of Hardware Monitoring

12:30 - 14:00 Lunch

14:00 - 14:30 László Balogh, István Dávid, István Ráth, Dániel Varró and András Vörös. Distributed and Heterogeneous Event-based Monitoring in Smart Cyber-Physical Systems

14:30 - 15:00 Armin Wasicek. Cyber-Physical Intrusion Detection using Reference Models

15:00 - 15:30 Tetsuya Tohdo. A Study of System and Software Testing based on Formal Verification Criteria


16:00 - 16:30 Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos. MITL Specification Debugging for Monitoring of Cyber-Physical Systems

16:30 - 17:00 Thomas Ferrère, Oded Maler and Dejan Nickovic. Trace Diagnostics for MTL Specifications

17:00 - 17:30 Dogan Ulus. Montre: A Tool for Monitoring Timed Regular Expressions

17:30 - 18:00 Olivier Lebeltel, Oded Maler and Dejan Nickovic. jAMT - Monitoring Tool for STL Specifications

SCOPE 2016 with GCTC 1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE)

Organizers Workshop Chairs Abhishek Dubey (Vanderbilt) Aniruddha Gokhale (Vanderbilt) Sokwoo Rhee (NIST) Monika Sturm (Siemens) Steering Committee David Corman (NSF) Chris Greer (NIST) Keith Marzullo (NITRD) Radha Poovendran (UW) Douglas Schmidt (Vanderbilt) Janos Sztipanovits (Vanderbilt)

85 CPS Week 2016

Program Committee Sherif Abdelwahed (Mississippi State) Mike Alexander (IBM) Martin Burns (NIST) Charles Cattlett (Argon National Lab) Minyi Guo (Shanghai Jiao Tong) Daniel Hoffman (Montgomery County) Sertac Karaman (MIT) Constantine Kontokosta (NYU) Tho H. Nguyen (UVA) Martin Lehofer (Siemens) Hui Lui (Shanghai Jiao Tong) Madhur Behl (UPenn) Rajat Mehrotra (DRI) Christoph Meinrenken (Columbia) Umit Ozguner (Ohio State) Nalini Venkatasubramanian (UC Irvine)

Program Monday, April 11th, Prinz Eugen Saal (Room 29)

9:00 - 11:30 Session I - (Goals, Vision)

9:00 - 9:10 Abhishek Dubey, Aniruddha Gokhale, Sokwoo Rhee, Monika Sturm: Opening remarks and introductions

9:10 - 9:40 Homeier Ina: Smart City Vienna 9:40 -10:10 Chris Greer: Converging on a Global Internet of Things

10:10 - 10:30 Sokwoo Rhee: Catalyzing the Internet of Things and Smart Cities 10:30 - 10:40 Question and Answers

10:40 - 11:00 Break

11:00 - 11:30 David Corman: NSF Directions in Smart and Connected Communities

11:30 - 12:40 Session II - (Platforms for Smart Cities)

11:30 - 11:50 Biao Chen: Case study of Building Large-scale Intelligent Video Surveillance System

11:50 - 12:10 Subhav Pradhan: Towards a Generic Computation Model for Smart City Platforms

12:10 - 12:30 Martin Lehofer: Platforms for Smart Cities - Connecting Humans infrastructure and Industrial IT

12:30 - 12:40 Question and Answers

12:40 - 14:00 Lunch

14:00 - 15:40 Session III - (Smart Buildings, Energy issues, Analytics research)

14:00 - 14:30 Vana Kalogeraki: Reliable Crowd sourced Event Detection in Smartcities 14:30 - 14:50 Ioannis Konstantakopoulos: Smart Building Energy Efficiency via Social

Game 14:50 - 15:10 Madhur Behl: Interactive Analytics for Smart Cities Infrastructures Takes

insights gained from buildings and applies to city-scale 15:10 - 15:30 Qihang Gao: Towards Sustainable Smart Cities: Reducing Peak Power

CPS Week 2016 86

15:30 - 15:40 Question and Answers

15:40 - 16:00 Break

16:00 - 16:45 Session I - (Vision/Position)

16:00 - 16:15 Martin Burns: IoT-Enabled Smart City Framework 16:15 - 16:30 Michael Vernier: OSU SMOOTH in a smart city 16:30 - 16:45 Jill Sorensen: Advanced Urban Mobility: transforming existing transit stations

to vibrant, EV-ready Smart City Transit Hubs James Aloisi: City Protocol: A Position Statement on City Transformation

16:45 - 17:30 Session V - (Warp up) Group Discussion and Next Steps

SCSP-W Smart City Security and Privacy Workshop

Organizers Workshop Co Chairs A. Selcuk Uluagac, Florida International University, USA Mauro Conti, University of Padua, Italy Apurva Mohan, Honeywell ACS Labs, USA Publicity Co Chairs Hidayet Aksu, Florida International University, USA Chhagan Lal, University of Padua, Italy Web Chair

Tooska Dargahi,CNIT / University of Rome Tor Vergata, Italy

Technical Program Committee Members Aaron Striegel, University of Notre Dame Xinming Ou, University of South Florida Walid Saad, Virginia Tech Saman Zonouz, Rutgers University Alvaro Cardenas, University of Texas at Dallas Siva Rajagopalan, HONEYWELL Junho Hong, ABB USCRC Danfeng Yao, Virginia Tech Krishna K. Venkatasubramanian, Worcester Polytechnic Institute Daisuke Mashima, Advanced Digital Sciences Center Gregorio Lopez, Universidad Carlos III de Madrid Mark Tehranipoor, University of Florida Ehab Al-Shaer, University of North Carolina at Charlotte Ming Li, University of Arizona Miroslav Pajic, Duke University Nils Ole Tippenhauer, Singapore University of Technology and Design

87 CPS Week 2016

Kemal Akkaya, Florida International University David Yau, Singapore U Tech and Design Pierangela Samarati, Università degli Studi di Milano Andreas Reinhardt, TU Clausthal Christina Pöpper, Ruhr-University Bochum Kevin Fairbanks, United States Naval Academy Ralph Droms, Cisco Systems Marina Krotofil, Hamburg University of Technology Qinghua Li, University of Arkansas Tooska Dargahi, CNIT / University of Rome Tor Vergata Magnus Almgren, Chalmers University of Technology Dieter Gollmann, Hamburg University of Technology Rakesh B. Bobba, Oregon State University Shouling Ji, Georgia Institute of Technology Cherita Corbett, SRI International


9:00 - 9:30 WELCOME OPENING Apurva Mohan, Honeywell ACS Labs, USA

9:30 - 10:30 KEYNOTE - 1 TagItSmart A Smart City IoT Framework and Related Security Issues Prof. Klaus Moessner (University of Surrey, UK)

10:30 - 11:00 Break

11:00 - 12:00 Session I - Theory

11:00 - 11:30 Evaluation of Homomorphic Primitives for Computations on Encrypted Data for CPS systems, Peizhao Hu (Rochester Institute of Technology, RIT), Tamalika Mukherjee (RIT), Alagu Valliappan (RIT), and Stanisław Radziszowski (RIT)

11:30 - 12:00 A Colonel Blotto Game for Interdependence Aware Security Resource Allocation in Cyber Physical Systems, Aidin Ferdowsi (University of Tehran), Walid Saad (Virginia Tech), Behrouz Maham (Nazarbayev University), and Narayan B. Mandayam (Rutgers, The State University of New Jersey).

12:00 - 13:30 Lunch

13:30 - 14:30 KEYNOTE - 2 Trustworthy Critical Infrastructures: Threats, Challenges, and Countermeasures Prof. Rutgers, The State University of New Jersey, USA)

14:30 - 16:00 Session II - Applications

14:30 - 15:00 A Smart Health Application and its Related Privacy IssuesDing Ding

(University of Padua), Mauro Conti (University of Padua), Agusti Solanas (Rovira i Virgili University)

15:00 - 15:30 Limitations of State Estimation Based Cyber Attack Detection Schemes in Industrial Control Systems, Chuadhry Mujeeb Ahmed (Singapore University

CPS Week 2016 88

of Technology and Design, Singapore), Sridhar Adepu (Singapore University of Technology and Design, Singapore), Aditya Mathur (Singapore University of Technology and Design, Singapore).

15:30 - 16:00 Ontology powered knowledge modeling for a Smart Home, Reem Al Osaimi (Prince Sultan Univeristy, Saudi Arabia), Nor Abdul Karim (Prince Sultan Univeristy, Saudi Arabia)

16:00 End

SelPhyS 2016 Self-Awareness in Cyber-Physical Systems

Organizers Axel Jantsch, Professor at Vienna University of Technology, Austria Nikil Dutt, Chancellor’s Professor at University of California, Irvine, USA Nima Tahernejad, Post-Doctorate University Assistant at Vienna University of Technology, Austria Kalle Tammemäe, Professor at Tallin University of Technology, Estonia

Program Tuesday, April 12th

8:15 -9:30 Opening and Keynote (Common to all workshops) Rajeev Alur Room: Grosser Redoutensaal (Room 5)

9:30 - 10:00 Networking Break

10:00- 10:45 Invited keynote by Dr. Henry Hoffmann Room: Büro 4.01

10:45 -11:15 Invited talk by Prof. Rolf Ernst - "Controlling Concurrent Change - A self-aware infrastructure for continuous change and evolution in automotive systems"

11:15 - 12:00 - "Self-Awareness for Complex Autonomous Systems Engineering", R. Sanz, C. Hernandez, J. Bermejo, M. Rodriguez - "Towards Dynamic Architectures for Computational Self-Awareness", P. Lewis - "Self-aware Internet-of-Things Based Medical Early Warning Score System", A. Anzanpour, I. Azimi, A. M. Rahmani, P. Liljeberg, H. Tenhunen

12:00-13:30 Lunch Break

13:30 -15:00 Hands-on Activity, Part I: Testing specific systems for self-awareness properties Room: Büro 4.01

15:00-15:30 Networking Break

https://www.ict.tuwien.ac.at/selphys/handson

89 CPS Week 2016

15:30 - 17:00 Hands-on Activity, Part II: Testing specific systems for self-awareness properties Room: Büro 4.01

17:00 - 18:00 Panel Discussion

Posters

Andreas Herkersdorf, Wolfgang Rosenstiel, Andreas Oeldemann, Philipp

Wagner, Thomas Wild, "Hardware-assisted Machine Learning for MPSoC Self-Optimization"

Arman Anzanpour, Iman Azimi, Amir M. Rahmani, Pasi Liljeberg, and Hannu Tenhunen, "Self-Aware Internet-of-Things Based Medical Early Warning Score System"

Robert Wille and Rolf Drechsler, "Self-Verification of Cyber-Physical Systems" Leo Motus, Jürgo Preden, Johannes Ehala, "Attaining self-awareness in Cyber-Physical Systems"

Kalle Tammemäe and Alar Kuusik, "Attention controlled Cyber Physical System in rehabilitation monitoring"

Ricardo Sanz, Carlos Hernandez, Julia Bermejo and Manuel Rodriguez, "Self-Awareness for Complex Autonomous Systems Engineering"

Syed M. A. H. Jafri and Ahm ed Hemani, "Predictable Dynamic Parallelism, Voltage and Frequency Scaling for Self- Aware Cyber Physical Systems"

Anil Kanduri, Amir M. Rahmani, Pasi Liljeberg, and Hannu Tenhunen, "Self- Aware Approximation for Dynamic Power Management"

Zhuo Zou, Axel Jantsch, "NanoDrone: A Feasibility Study of Self-ware Insect-sized Drones"

Peter Lewis, "Towards Dynamic Architectures for Computational Self-Awareness"

Yuxiang Huan, Yifan Qin, Yantian You, Zhuo Zou, Lirong Zheng, "Adaptive Multiplication-avoiding Mechanism for Deep Learning"

Lizheng Liu, Ning Ma, Yuxiang Huan, Zhuo Zou, Lirong Zheng "Design and Demonstration of Bio-inspired Autonomous Error-Tolerant Systems"

SNR 2016

2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis

Organizers PC chairs Erika Abraham (RWTH Aachen, Germany) Sergiy Bogomolov (Institute of Science and Technology Austria, Austria) Publicity chair Przemysław Daca (Institute of Science and Technology Austria, Austria)

https://www.ict.tuwien.ac.at/selphys/handson

http://www-i2.informatik.rwth-aachen.de/i2/eab/

http://www.sergiybogomolov.com/

http://pub.ist.ac.at/~przemek/

CPS Week 2016 90

PC members Matthias Althoff (Technische Universität München, Germany) Ezio Bartocci (Vienna University of Technology, Austria)

Parasara Sridhar Duggirala (University of Connecticut, USA) Martin Fränzle (University of Oldenburg, Germany) Goran Frehse (Verimag, France) Sicun Gao (MIT, USA) Antoine Girard (L2S, CNRS, France) Taylor T. Johnson (University of Texas at Arlington, USA) Mircea Lazar (Technische Universiteit Eindhoven, The Netherlands) Maria Prandini (Politecnico di Milano, Italy) Stefan Ratschan (Academy of Sciences, Czech Republic) Rajarshi Ray (National Institute of Technology Meghalaya, India) Sriram Sankaranarayanan (University of Colorado Boulder, USA) Ashish Tiwari (SRI, USA)

Stavros Tripakis (Aalto University, Finland, and UC Berkeley, USA) Martin Wehrle (University of Basel, Switzerland) Edmund Widl (Austrian Institute of Technology, Austria) Paolo Zuliani (University of Newcastle, UK)

Program Monday, April 11th, Geheime Ratstube (room 11)

9:00-10:30 Session 1: Validated simulation

9:00-10:00 Invited talk Walid Taha (joint work with Adam Duracz and Ference Bartha). Accurate Rigorous Simulation Should be Possible for Good Designs

10:00-10:30 Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot and Laurent Fribourg. Control of Nonlinear Switched Systems Based on Validated Simulation

11:00-12:30 Session 2: Formal methods in industry

11:00-12:00 Invited talk Stylianos Basagiannis. Software Certification of Airborne Cyber-Physical Systems under DO-178C

12:00-12:30 Podium discussion Formal Methods: Bridging the Gap Between Academic and Industrial Research

14:00-15:30 Session 3: Reachability analysis

14:00-15:00 Invited talk Thao Dang (joint work with Santosh Arvind Adimoolam). Template complex zonotopes: A new set representation for verification of hybrid systems

15:00-15:30 Stefan Ratschan. Computing ODE-barriers in Hyper-rectangles

16:00 -17:30 Session 4: Discrete-time and probabilistic systems

16:00 -16:30 Riccardo Vignali and Maria Prandini. Model reduction of discrete time hybrid systems: A structural approach based on observability

16:30 -17:00 Yang Gao and Martin Fränzle. CSiSAT: A Satisfiability Solver for SMT Formulas with Continuous Probability Distributions

17:00 -17:30 Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, Miklos Telek and Istvan Majzik. Configurable Numerical Analysis for Stochastic Systems

http://www6.in.tum.de/Main/Althoff

http://www.eziobartocci.com/

http://engr.uconn.edu/~psd/

http://www.uni-oldenburg.de/informatik/hs/mitarbeiterinnen-und-mitarbeiter/prof-dr-martin-fraenzle/

https://sites.google.com/site/frehseg/

https://scungao.github.io/

https://sites.google.com/site/antoinesgirard/


https://www.tue.nl/en/university/departments/electrical-engineering/department/staff/detail/ep/e/d/ep-uid/20022199/


http://www2.cs.cas.cz/~ratschan/

http://nitmeghalaya.in/nitm/departments/dept_cse/cse_faculty.html

https://www.cs.colorado.edu/~srirams/

http://www.csl.sri.com/users/tiwari/

http://www.eecs.berkeley.edu/~stavros/

http://ai.cs.unibas.ch/people/mwehrle/

http://www.ait.ac.at/profile/detail/Widl-Edmund/

http://www.ncl.ac.uk/computing/people/profile/paolo.zuliani

91 CPS Week 2016

SoSCYPS Science of Security Cyber Physical Systems Workshop

Organizers Sayan Mitra, University of Illinois at Urbana-Champaign Geir Dullerud, University of Illinois at Urbana-Champaign Sponsorship NSA Science of Security (SoS) Lablet at the University of Illinois at Urbana-Champaign.

Program Monday, April 11th, Erzhercog Karl Saal (Room 34)

9:00 - 9:05 Introduction

9:05 - 9:45 Secure State-estimation and Control of Cyber-Physical Systems Paulo Tabuada, Professor, Electrical Engineering Department, University of California, Los Angeles

9:45 - 10:30 Accountability in Cyberphysical Systems Anupam Datta, Associate Professor, Computer Science Department and Electrical and Computer Engineering Department, Carnegie Mellon University


11:00 - 11:45 Advances and Challenges of Quantitative Verification for CPS Marta Kwiatkowska, Professor of Computing Systems, University of Oxford

11:45 - 12:30 A Set-theoretic Approach for Secure and Resilient Control of Cyber-Physical Systems Bruno Sinopoli, Associate Professor, Electrical and Computer Engineering Department, Carnegie Mellon University


14:00 - 14:45 From Control System Security Indices to Attack Identifiability Henrik Sandberg, Professor, Department of Automatic Control, KTH Royal Institute of Technology

14:45 - 15:30 Towards Foundational Verification of Cyber-physical Systems Gregory Malecha, Postdoctoral Scholar, Computer Science and Engineering, University of California, San Diego Sorin Lerner, Professor, Computer Science and Engineering, University of California, San Diego


16:00 - 16:45 Security Games on Flow Networks: Structural Results and Practical Implications Saurabh Amin, Robert N. Noyce Career Development Assistant Professor, Department of Civil and Environmental Engineering, Massachusetts Institute of Technology

16:45 - 17:30 Panel

http://publish.illinois.edu/science-of-security-lablet/

CPS Week 2016 92

SPBD 2016 1st Workshop on Security and Privacy in Big Data

Organizers General Chair Hai Jin, Huazhong Univ. of Sci. and Tech., China Program Chairs Shui Yu, Deakin University, Australia Deqing Zou, Huazhong University of Science and Technology, China Technical Program Committee Ligang He, University of Warwick, UK Hao Chen, Hunan University, China Meikang Qiu, Pace University, USA Xianghan Zheng, Fuzhou University, China Bo Zhao, Wuhan University, China JingQiang Lin, SKLOIS, China Xiaojing Ma, Huazhong University of Science and Technology, China Peng Xu, Huazhong University of Science and Technology, China Contact Information For Program: Weizhong Qiang, [email protected]; China

Program Tuesday, April 12th, Büro 4.03

8:30 – 9:00 Registration

9:00 - 9:30 Detecting and Mitigating Target Link Flooding Attack Using SDN and NFV Juan Wang, Wen Ru, Liu Shihui

9:30 - 10:00 Effect++ An Improved File Management Mechanism based on Decentralized Information Flow Control Few Yan, Huanguo Zhang

10:00 - 10:30 Fast Privacy Region Protection of H.264/AVC Videos with Drift Compensation Haifeng Huo, Xiaojing Ma, Deqing Zou and Hai Jin


11:00 - 11:30 ISLUS: An Immediate and Safe Live Update System for C Program Zhikun Chen, Weiqi Dai, Deqing Zou, Hai Jin, Chen Yu

11:30 - 12:00 Patch Related Vulnerability Detection Based on Symbolic Execution Weizhong Qiang, Yuehua Liao, Daibin Wang, Kan Hu

12:00 - 12:30 Risk Management Using Big Real Time Data: A Case Study in Flight Delay Xianghan Zheng, Chunming Rong, Yuanyuan Ma, Huijuan Ye, Jie Cheng, Riqing Chen


93 CPS Week 2016

14:00 - 14:30 TTPE: A Framework for Evaluating Cloud Platform Trustworthiness Based on Trusted Third Party FAN Peiru, ZHAO Bo


TuToR 1st Tutorial on Tools for Real-Time Systems

Organizers Enrico Bini, Scuola Superiore Sant’Anna, Italy Martina Maggio, Lund University, Sweden Sophie Quinton, Inria Grenoble - Rhône-Alpes, France

Speakers

Björn Brandenburg, Max Planck Institute for Software Systems, Germany Anton Cervin, Lund University, Sweden Damien Hardy, University of Rennes I/IRISA, France Julio Medina, Universidad de Cantabria, Spain

Program Monday, April 11th, Forum (Room 30)

09:00 - 09:45 Heptane: A Modular Tool for Static WCET Analysis [installation instructions] Damien Hardy, University of Rennes I/IRISA [website]

09:45 - 10:30 MAST: A Modeling and Schedulability Analysis Suite for Real-Time Applications [installation instructions] Julio Medina, Universidad de Cantabria [website]


11:00 - 11:45 LITMUSRT: Linux Testbed for Multiprocessor Scheduling in Real-Time Systems [installation instructions] Björn Brandenburg, Max Planck Institute for Software Systems [website]

11:45 - 12:30 TrueTime: Simulation of Networked and Embedded Control Systems [installation instructions] Anton Cervin, Lund University [website]

12:30 - 14:00 Lunch

14:00 - 15:30 Hands-on session 1


16:00 - 17:30 Hands-on session 2

http://retis.sssup.it/~bini

http://control.lth.se/Staff/MartinaMaggio/

https://team.inria.fr/spades/quinton/

http://www.mpi-sws.org/~bbb/

http://www.control.lth.se/Staff/AntonCervin.html

https://team.inria.fr/alf/members/damien-hardy/

http://www.ctr.unican.es/people/julio.html

https://tutor2016.inria.fr/heptane/

https://team.inria.fr/alf/members/damien-hardy/

https://team.inria.fr/alf/software/heptane/

https://tutor2016.inria.fr/mast/

http://www.ctr.unican.es/people/julio.html

http://mast.unican.es/

https://tutor2016.inria.fr/litmus/

http://www.mpi-sws.org/~bbb/

http://www.litmus-rt.org/

https://tutor2016.inria.fr/truetime/

http://www.control.lth.se/Staff/AntonCervin.html

http://www.control.lth.se/research/tools/truetime

CPS Week 2016 94

Collocated Events

Microsoft Indoor Localization Competition

Organizers Dimitrios Lymberopoulos (Microsoft Research) Jie Liu (Microsoft Research) Ying Zhang (Google) Prabal Dutta (Univ. of Michigan) Xue Yang (Intel) Anthony Rowe (CMU)

Scope This competition aims to bring together real-time or near real-time indoor location technologies and compare their performance in the same space.

Program Sunday & Monday, April 10th-11th, Dachfoyer (Room 1)

Sunday

Setup starts early in the morning and ends later in the afternoon

At the end of the evaluation day, all teams have to completely shut down their systems and leave the area. The organizers will take over to mark down the evaluation points. During this time all systems will be off and all contestants will have to leave the evaluation area.

Monday Evaluation starts early in the morning and continues through the

day

95 CPS Week 2016

CPS Community Forum

Organizers David Corman (NSF) Janos Sztipanovits (Vanderbilt)

Scope The emerging new technology platforms, the Internet of Things (IoT), the Industrial Internet (II) and the Industrie 4.0 have created tremendous momentum for developing new types of cyber-physical systems of unparalleled complexity. Areas such as smart cities, smart manufacturing, connected vehicles are not only complex, open systems that need to perform well, but also need to be safe, secure and dependable. Competitive pressures and existing societal needs drive the industrial development and deployment of new CPS applications ever faster - resulting a rapid increase of the gap between the available science and technology foundations and the actual requirements in creating new generations of CPS. The urgency of further accelerating progress in fundamental research in full cooperation with industry is real and represent significant challenge. New research initiatives, standardization efforts, consortia and international collaboration forums reflect this need. The CPS Community Forum is a community organized event that provides an open environment for all CPS Week participants to learn about and engage in discussion on current and future government initiatives and growing innovative community collaborations impacting the CPS Program. Topics to be covered at this years' Forum included:

An overview of the NSF CPS program and its emerging impact in computer science and engineering. Summary of the current status of the CPS initiatives in the US and the plans for the future

An overview of CPS research initiatives in the EU (Framework 2020 and Industrie 4.0)

Results of the US-EU CPS Summit

An overview of the CPS Virtual Organization 2.0

Attendance The forum is open to all CPS Week 2016 attendees.

CPS Week 2016 96

Program Tuesday, April 12th, Dachfoyer (Room 1)

18:00 – 20:00

National Science Foundation Cyber-Physical Systems Program Overview

Overview of CPS Research Initiatives in the EU (Framework 2020 and Industrie 4.0)

Results of the US-EU CPS Summit

Cyber-Physical Systems Virtual Organization 2.0 Overview

97 CPS Week 2016

EMC² Summit 2016 Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

Committee Local Organizer and IPC Chair: Dipl.-Ing. Erwin Schoitsch Austrian Institute of Technology GmbH, Austria Co-organizers and IPC Co-Chairs: Dr. George Dimitrakopoulos, Harokopio University of Athens, Greece Dr. Daniel Schneider, Fraunhofer Institute, Germany Dr. Werner, Infineon Technologies AG, Germany

Scope EMC² will present work in progress and important intermediate results of the ongoing project (2014 - 2017) and invites researchers and industry to contribute from their ongoing work in the areas addressed and of related projects. PrograTopics of interest include, but are not limited to:

Architectures and platforms for embedded (cyber-physical) systems

Application Models and Design Tools for Mixed-Critical, Multi-Core CPS

Dynamic runtime environments and services

Multi-core hardware architectures and concepts

System design platform, tools, models and interoperability

Applications of multi-core cyber-physical systems: avionics, automotive, space, cross-domain and other applications

afety and security co-engineering in open dynamic CPS

Next generation embedded/cyber-physical systems

Standardization, qualification and certification issues of complex critical CPS

Program Monday, April 11th, Trabantenstube (Room 14)

09:00 Welcome and Introduction E. Schoitsch (AIT), W. Weber (Infineon)

09:15 The EMC2 Project on Embedded Microcontrollers - Progress After Two Years (Poster) Werner Weber, Thomas Söderqvist, Albert Cohen, Elena Garcia Valderas, Sergio Saez, Juan Carlos Pérez-Cortés, Xing Cai, Björn Nordmoen, Hans Petter Dahle, Michael Geissel, Jürgen Salecker, and Pavel Zemčík)

09:30 KEYNOTE: Model Driven Engineering of Critical Systems Prof. Stefano Russo, University of Naples

10:15 Coffee break

AUTOMOTIVE and MOBILITY SESSION

CPS Week 2016 98

10:30 Process- and Product-based Lines of Argument for Automotive Safety Cases (Helmut Martin, Martin Krammer, Robert Bramberger (VIRTUAL VEHICLE Research Center, Graz, Austria), Eric Armengaud (AVL List GmbH, Graz, Austria))

11:00 Implementation of active safety system for pedestrian detection in Volvos cars and real benefit of the system based on selected real-life fatal pedestrian accidents (Peter Vertal, Gustav Kasauicky (University of Zilina, Slovakia), Hermann, Steffau (Dr.Steffan Datentechnik, Linz, Austria))

11:30 Seamless tool integration in an automotive use case: An experience report (Andrea Leitner, Christian El Salloum, AVL List GmbH, Graz, Austria)

12:00 SOA Real-time System Development - An Automotive Case Study (Poster) (Cuong M. Tran, Kung-Kiu Lau, Simone Di Cola (University of Manchester, UK))

12:15 Embedded Intelligence in Smart Cities through Urban Sustainable Mobility-as-a-Service: research achievements and challenges (George Dimitrakopoulos, George Bravos and Ilianna Stampologlou, (Harokopio University of Athens))

12:45 Lunch Break

AEROSPACE and RAIL

13:45 Implementing mixed-critical application on next generation multicore aerospace platforms (Poster) (F. Federici, V. Muttillo, L. Pomante, G. Valente (University of L’Aquila, Italy), D. Andreetti, D. Pascucci (Thales Alenia Space, Rome, Italy))

14:00 A comparison between Hardware and Software Solutions for Resource Partitioning in Multicore-based Mixed Criticality Applications (Poster) (Stefano Esposito, Sehriy Avramenko, Massimo Violante (Politecnico Tdi orino, Italy), Marco Sozzi, Massimo Traversone (Selex ES, Nerviano, Italy), Marco Binello, Marco Terrone (Alenia Aermacchi, Torino, Italy))

14:15 A Model-Based ESL HW/SW Co-Design Framework for Mixed-Criticality System (Poster) (F. Federici, V. Muttillo, L. Pomante, P. Serri, G. Valente (Università Degli Studi Dell’Aquila, L’Aquila, Italy))

14:30 Deterministic Parallel Programming for Railway Applications (Oscar Medina Duarte, Peter Tummeltshammer (Thales Austria, Vienna))

15:00 Coffee Break

SECURITY

15:30 RoViM: Rotating Virtual Machines for Security and Fault-Tolerance (Dorottya Papp, Levente Buttyan (Budapest University of Technology and Economics, Hungary), Zhendong Ma, AIT Austrian Institute of Technology, Austria))

16:00 Survey on Camera based Communication for Location-Aware Secure

99 CPS Week 2016

Authentication and Communication (Hannes Plank, Thomas Ruprechter, Gerald Holweg, Norbert Druml (Infineon Technologies Austria AG, Graz, Austria), Christian Steger (Graz University of Technology, Austria))

CONCURRENCY, MULTI-PROCESSING and DYNAMIC SYSTEMS

16:30 Asymmetric Multiprocessing on industrial ZYNQ board with HDMI I/O (Jiri Kadlec, Zdenek Pohl, Lukas Kohout (UTIA, Prague, Czech Republic))

17:00 Mining Concurrency Bugs (Paolo Ciancarini*, Francesco Poggi, Davide Rossi (University of Bologna, Italy), Alberto Sillitti* (Center for Applied Software Engineering, Italy), (*Consorzio Interuniversitario Nazionale per l’Informatica, Italy))

17:30 Towards safe mixed critical embedded multi-core systems in dynamic and changeable environments (Poster) (Christoph Dropmann, Tiago Amorim, Daniel Schneider (Fraunhofer IESE, Kaiserslautern Germany), Alejandra Ruiz (ICT-European Software Institute Division, TECNALIA. Derio, SPAIN))

17:15 Profile Driven Application Parallelization (Poster) (Imran Ashraf, Nader Khammassi, Koen Bertels (TU Delft, The Netherlands))

18:00 Welfare - End of the SUMMIT

Additional posters without papers • Austrian Research, Development & Innovation Roadmap for Automated Vehicles (ECSEL Austria, bmvit, AustriaTec, A3PS) • The Need for Safety & Cybersecurity Co-Engineering and Standardization for highly automated automotive vehicles (Erwin Schoitsch, Christoph Schmittner, Zhendong Ma and Thomas Gruber) • AIT Austrian Institute of Technology - Digital Safety & Security Department • Safety and Security Co-Engineering for Safety- and Mission-Critical Systems (AIT in EMC², ARROWHEAD project)

CPS Week 2016 100

Transatlantic Cyber-Physical Systems Summit

CPS Summit Coordinators Coordinator: Harald Rueß (fortiss) Saddek Bensalem (UJF/Verimag) Scientific Coordinators: Joseph Sifakis (EPF Lausanne / Verimag) Manfred Broy (TU München / fortiss) CPS Summit Core Team Core Team Members: John Baras (University of Maryland) Sanjoy Baruah (University of North Carolina, Chapel Hill) Saddek Bensalem (UJF/Verimag) Manfred Broy (TU Munchen) Werner Damm (Offis) Eric Debes (Thales) Radu Grosu (TU Wien) Tom Henzinger (IST Austria) Bruce H. Krogh (Carnegie-Mellon University) Kim Larsen (Aalborg University) Insup Lee (University of Pennsylvania) George Pappas (University of Pennsylvania) Harald Ruess (fortiss) Alberto Sangiovelli-Vincentelli (University of California in Berkeley) Joseph Sifakis (EPF Lausanne) Janos Sztipanovits (Vanderbilt University) Ashish Tiwari (SRI International)

Scope The goal of the CPS Summit workshop is to concretize results of the first CPS Summit workshop in Seattle on identifying opportunities for intensifying the collaboration on CPS research and development between North America and Europe; we will work towards the following results:

In-depth analysis of opportunities identified so far

Proposal for organizational setup

Definition of actionable items, teams, and leads towards possible realization

Participation in this workshop is by invitation only

101 CPS Week 2016

Program Sunday, April 10th, Mittlere Lounge

9:00 - 9:45

Introduction

What we have achieved so far/what not

Update on US-D workshop on IoT/CPS

Realizability/Impact

Goals of this workshop


10:15 - 11:30 Action Line I: Joint reserach Moderators

11:30 - 12:30 Action Line II: Driving open, horizontal standards

12:30 - 14:00 Lunch Break (at Cafe Hofburg; http://www.cafe-hofburg.at/en/; 2-3 minute walk)

14:00 - 15:00 Session III: Open Platforms and Living Labs

15:00 - 16:00 Session IV: Exchanging best practices for training and education


16:30 - 17:00 Organizational Structure

17:00 - 18:00 Wrap Up / Action Items

19:30 - 23:00 CPS Summit Dinner (at Restaurant Plachutta Wollzeilie, 1010 Wien, Wollzeilie 38) https://www.plachutta.at/en/plachutta_wollzeile/

Exhibitions Exhibitors in Kleine Redoutensaal (room 9):

Siemens

Vanderbilt ISIS

Taylor and Francis

ARTEMIS

AIT Austrian Institute of Technology GmbH Exhibtors in Dachfoyer (room 1):

Leica

https://www.plachutta.at/en/plachutta_wollzeile/

CPS Week 2016 102

Local Information

About Vienna April is a perfect time to travel to Vienna. This month gives a go to all the outdoor activities. Coffee houses, restaurants, and wineries put their tables outside. Boat, bike, and segway tours start operating after the winter break. This year Vienna offers a rare opportunity to experience The Sound of Music at Wiener Volksoper. Vienna Philharmonic Orchestra is bound to attract classics lovers with its performance at the Golden Hall of Vienna’s Musikverein. Visit key places and you will feel Viennese vibration.

Hofburg Palace is located in the very heart of Vienna between two stunning parks. You will see how amazingly refreshing it is to have a walk around the palace. Volksgarten will surprise you with its gorgeous flower beds and lead you to the City Hall of Vienna (Rathaus), a building of Neo-Gothic style that houses the office of the Mayor of Vienna and accommodates a historic Wiener Rathauskeller restaurant. In front of it there is a beautiful Rathausplatz and the Burgtheater. To the left of the Rathaus you can find Austrian Parliament Building which offers public guided tours. When in Burggarten do not miss a chance to visit the Schmetterlingshaus, a home for tropical butterflies, and Albertina, which not only has the largest and most valuable graphical collections in the world but exhibits masterpieces of the Modern. In the Imperial Hofburg Palace you will find the Spanish

https://viennaoperatickets.com/recommended-special-events/musical-the-sound-of-music-rodgers/?p=63&l=2&id=82&ref=vienna-unwrapped

https://www.parlament.gv.at/ENGL/GEBF/FUEHRUNGEN/OeffentlicheFuehrungen/index.shtml

https://www.parlament.gv.at/ENGL/GEBF/FUEHRUNGEN/OeffentlicheFuehrungen/index.shtml

https://events.wien.info/en/dke/a-tribute-to-vienna/

103 CPS Week 2016

Riding School, the only institution in the world which has practiced classical equestrian skills for more than 450 years. Since December 2015 its horsemanship has been classified as an intangible cultural heritage by UNESCO. These and many other major Vienna attractions you can enjoy by taking the famous Ringstrasse boulevard. Below you can find more suggestions about places to visit in Vienna.

Transportation in Vienna

From Vienna Airport to the City Center The City Airport Train (CAT) links the airport to subway station Landstraße/Wien Mitte in 16 minutes where you can change to subway lines U3 and U4, as well as to tram and buses. If travelling on CAT, you can already check-in at the train station Wien Mitte for certain flights when departing from Vienna. The fare is €11 for a one-way and €17 for a return trip if you buy tickets online. Be aware of different fares and have a look at the timetable. Note that tickets for underground, trams, or local buses are not included in this fare. A standard train connection (Schnellbahn S7) between the airport and Landstraße/Wien Mitte is also available (~30 minutes, tickets €4.20 one-way, including underground and bus in Vienna). Make sure to buy “2 zones” from the vending machine. If you buy a (time-based) transit pass for the city of Vienna at the same time, you only need “1 zone” (€2.10) to enter the city. Vienna AirportLines offer buses to Schwedenplatz (subway lines U1 and U4) and Westbahnhof (westbound train station, connection to U3 and U6) and Wien Meidling (southbound train station, connection to U6). Tickets cost €8 (single) to €13 (return). Tickets for underground, trams, or local buses are not included in this fare. A taxi to the city center costs between €30 and €40. Some companies like C&K offer taxis, limos or shuttles for a flat rate starting from €33. Online taxi service Über has proved to be fast and reliable. Note that the payment for Über can be made by card only.

Arrival by Train For train connections to Vienna, consult the time table of the Austrian federal railway company (ÖBB). There are direct services to many central European cities. The new ÖBB App offers many services including online ticketing and timetables.

Getting around Qando application for iPhone, Android, and Mobile suggests the ways to reach any destination in Vienna by all the available means of public transport. Make sure to validate your underground (UBahn) and train (SBahn) tickets in the small blue boxes before entering the platforms. In case of trams and buses validation boxes are located inside. Validated tickets can be used for all public transport in the core zone. Tickets are available at ticket machines at most underground stations or at points of advance sale. Tobacconists also sell tickets. You may also purchase a ticket on board of a bus or tram at an increased rate of EUR 2.30 per ticket compared to EUR 2.20 at the ticket machines. A part of the Vienna tram and bus lines are night lines. On Fridays, weekends, and public holidays U-Bahn (metro) operates all night.

https://events.wien.info/en/dke/a-tribute-to-vienna/

http://www.cityairporttrain.com/

http://www.cityairporttrain.com/Infos/City-Check-In-Wien-Mitte.aspx

https://www.cityairporttrain.com/en/prices

http://www.cityairporttrain.com/Infos/Fahrplan.aspx

http://www.postbus.at/en/Airportbus/Vienna_AirportLines/

http://www.airportdriver.at/de?lang=en%3Fref%3Dcundk

https://www.uber.com/cities/vienna/

http://www.oebb.at/en/

http://www.oebb.at/en/

http://www.oebb.at/en/angebote-ermaessigungen/oebb-app

http://www.oebb.at/en/angebote-ermaessigungen/oebb-app

CPS Week 2016 104

Bike lovers will find Vienna a most enjoyable city for its bicycle paths and services. The Citybike is a public bike rental system that allows you to visit Vienna’s sights by bicycle at your convenience. Bikar app lets you find Citybike rental stations in Vienna and displays live-data of current free bikes and boxes of the stations. Finally, you will never feel lost in Vienna with the free Wi-Fi hotspots throughout the city.

Map of metro and train lines in Vienna

105 CPS Week 2016

Hotel information A certain number of hotel rooms we booked to facilitate the accommodation of the CPS Week participants. We provide the list in the following table.

Hotel Information

Austrian Trend Hotel Europa (****) Kärntner Straße 18/Eingang Neuer Markt 3 1010 Vienna, Austria Tel: +43 (1) 515 94 Website: www.austria-trend.at

Motel One Wien-Staatsoper (***) Elisabethstraße 5 1010 Vienna, Austria Tel: +43 (1) 585050 5

Motel One Westbahnhof (***) Europaplatz 3 1150 Vienna, Austria Tel: +43 (1) 359 35-0

Star Inn Hauptbahnhof (***) Gerhard-Bronner-Straße 5 1100 Vienna, Austria Tel: +43 (1) 235 90 09 21

Hotel Carlton Opera (****) Schikanedergasse 4 1040 Vienna, Austria Tel: +43 (1) 587 53 02

Sightseeing As the events, exhibitions and culinary opportunities in Vienna are too many to list here; we recommend you go to www.wien.info for online listings. However, some of the major attractions are listed below.

https://www.google.at/maps/dir/Austria+Trend+Hotel+Europa,+Kärntner+Straße+18+Eingang,+Neuer+Markt+3,+1010+Wien/Hofburg+Palace,+Michaelerkuppel,+1010+Wien/@48.2070849,16.3674743,17z/data=!4m14!4m13!1m5!1m1!1s0x476d079ebbc7a73f:0xecf9ae9369ddaffa!2m2!1d16.3710387!2d48.2062103!1m5!1m1!1s0x476d0799bf2006df:0x8685168014c4425f!2m2!1d16.3660538!2d48.2076579!3e2?hl=en

http://www.austria-trend.at/de/hotels/europa-wien

https://www.google.at/maps/dir/Schikanedergasse+4+1040+Vienna/Hofburg+Palace,+Michaelerkuppel,+1010+Wien/@48.2021299,16.3622169,16z/data=!3m1!4b1!4m14!4m13!1m5!1m1!1s0x476d078409d246c3:0xf2b150dda37a7b33!2m2!1d16.3645327!2d48.1968589!1m5!1m1!1s0x476d0799bf2006df:0x8685168014c4425f!2m2!1d16.3660538!2d48.2076579!3e2?hl=en

https://www.google.at/maps/dir/Schikanedergasse+4+1040+Vienna/Hofburg+Palace,+Michaelerkuppel,+1010+Wien/@48.2021299,16.3622169,16z/data=!3m1!4b1!4m14!4m13!1m5!1m1!1s0x476d078409d246c3:0xf2b150dda37a7b33!2m2!1d16.3645327!2d48.1968589!1m5!1m1!1s0x476d0799bf2006df:0x8685168014c4425f!2m2!1d16.3660538!2d48.2076579!3e2?hl=en

CPS Week 2016 106

Museums

MAK - Austrian Museum of Applied Arts / Contemporary Art (www.mak.at) With an extraordinary collection of applied and contemporary art, the MAK serves a dual purpose as a conservator of art objects and as a center for the scientific research of art. 1st district, Stubenring 5

Museumsquartier Wien (www.mqw.at) The Museumsquartier Wien is one of the ten largest cultural complexes in the world. The spectrum ranges from art museums like the Leopold Museum (www.leopoldmuseum.org) and the MUMOK (Museum of Modern Art, www.mumok.at) to contemporary exhibition spaces like the Kunsthalle Wien, festivals like the Wiener Festwochen and a variety of

restaurants. 7th district, Museumsplatz 1

Albertina (www.albertina.at) The Albertina contains a world-renowned collection of more than 65,000 prints, water colors and drawings. 1st district, Albertinaplatz 3

Secession (www.secession.at) Important and famous Exhibition Hall for Contemporary Art. 1st district, Friedrichstrasse 12

Österreichische Galerie Belvedere (www.belvedere.at) The Upper Belvedere houses own art nouveau works by Klimt, Schiele-and-Kokoschka. 3rd district, Prinz Eugen Strasse 27

Kunsthaus Wien (www.kunsthauswien.at) In the Kunsthaus Wien a permanent Hundertwasser exhibition is on display. Furthermore you can find regular exhibitions of avant-garde and classic modern artists. 3rd disctrict, Untere Weissgerberstrasse 13

107 CPS Week 2016

Kunsthistorisches Museum (www.khm.at) The Art history museum collections range from Ancient Egyptian and Greek and Roman Antiquities, and the Collections of Medieval Art to Renaissance and Baroque collections. 1st district, Maria Theresien Platz

Naturhistorisches Museum (www.nhm-wien.ac.at) In the Natural History museum the visitor can travel through our planet’s history, through the breathtaking diversity of nature and back to the origins of our culture. 1st district, Maria Theresien-Platz

Music and Theater Even more than for its museums Vienna is known for its music and theater performances - classical concerts, operas and much more.

Burgtheater (www.burgtheater.at) The Burgtheater also known as 'Burg' or 'Haus am Ring' (House at Ring Boulevard) is situated in Vienna's first district. Inside, the Burgtheater provides a festive atmosphere for great cultural events. 1st district, Dr. Karl Lueger Ring 2

Musikverein a.k.a. Gesellschaft der Musikfreunde in Wien (www.musikverein.at) The society of friends of music ('Gesellschaft für Musikfreunde’) was founded in 1812 by music loving people of the upper and middle class to promote musical life in Vienna.

Raimund Theater (www.musicalvienna.at) The ‘Raimund Theater’ was once famous for its operettas; now it is a major venue for musical theatre productions. 6th district, Wallgasse 18-20.

CPS Week 2016 108

Theater an der Wien (www.theater-wien.at) A stage with a long tradition is the centrally located ‘Theater an der Wien’. This stage is famous for its musical productions and opera productions during the ‘Wiener Festwochen’. 6th district, Linke Wienzeile 6.

Wiener Staatsoper (www.staatsoper.at) Vienna State Opera is one of the world’s most famous opera houses. The ‘State Opera’ offers room for 2276 spectators and its stage is one of the largest in Europe. 1st district, Opernring 2.

Volksoper (www.volksoper.at) The Volksoper repertoire consists of lighter operas and operettas. Productions are excellent with an accent on special effects-and-creative-sets. 9th district, Währingerstrasse 78.

Wiener Konzerthaus (www.konzerthaus.at) Together with ‘Musikverein’ and ‘Staatsoper Wien’ the Wiener Konzerthaus is one of Vienna's first addresses regarding music. 3rd district, Lothringerstrasse 20.

Vienna English Theatre (www.englishtheatre.at) In case you would like to enjoy a play in Vienna in English. 8th district, Josefsgasse 12

Coffee houses Kaffeehäuser are an important, historic part of Vienna culture, serving mainly as a meeting place for people in the neighborhood. In the 19th century there was a severe housing shortage in Vienna among the working class, and in some cases, as many as 10 people lived together in one room. As an escape from this cramped situation, coffee houses became “neighborhood living rooms” because there was enough space for everyone; you will notice that many traditional coffee houses also look like luxurious living rooms. Many also serve excellent food. Recommended for a visit are:

Café Landtmann is the meeting place of politicians. 1st district, Universitätsring 4.

Demel is known for excellent pastries. 1st district, Kohlmarkt 14.

Café Hawelka is the traditional artists’ meeting place. 1st district, Dorotheergasse 6.

Hotel Sacher is the home of the famous Sachertorte. 1st district Philharmonikerstraße 4.

Café Sperl was awarded the title “Most beautiful European coffee house in 1998” by the European Union. 6th district, Gumpendorfer Straße 11.

Cafe-bar-brasserie Palmenhaus next door to the tropical butterfly house serves true Viennese coffee on its terrace and delicious meals inside this splendid greenhouse. 1st district, Burggarten 1.

Café Eiles, 8th district, Josefstädterstraße 2.

109 CPS Week 2016

Kleines Café is a beautiful Jugendstil-Café consisting of only one room. 20th district, Klosterneuburger Straße 40.

Café Bräunerhof was the favorite coffee house of the Austrian writer-Thomas-Bernhard. 1st district, Stallburggasse 2.

Café Prückel is located in the Museum for Applied Arts (MAK). 1st-district,-Stubenring-24.

Restaurants For great recommendations, the Falter magazine publishes “Best of Vienna”, a quarterly guide to the best places to go in Vienna (available at http://www.falter.at/best-of-vienna and at any tobacco store (Tabak Trafik). The famous Naschmarkt (U4, Karlsplatz) offers a variety of upscale international cuisines in an open-air, market setting. Supposedly, the best Schnitzel (breaded and fried veal or pork) is served at Figlmüller (Wollzeile 5, daily 11am-9:30pm, P: +43 1 512 61 77) and the best Tafelspitz (boiled beef served in broth) at Plachutta (Wollzeile 38, daily 11am-12:30am).

Wifi SSID: HofburgSecured1 Password: cpsweek2016

booklet of cps week 2016

Documents