CPS Week 2018 Advance Program ‧ April 10

This combined program is provided 'as is'. More up-to-date information may be avalialbe at each event's official websites.

CPS Week 2018 Program Overview

April 10

Photos of the day.


08:00 - 09:00Registration
Palácio da Bolsa
08:30 - 17:00MILCMILC Competition Setup
R91 - Palácio da Bolsa - Level 0/1 - Escadaria Nobre
08:45 - 09:00MT-CPSWorkshop Welcome
R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal
08:55 - 09:00DARSOpening Remarks
R22 - Palácio da Bolsa - Level 2 - Sala Minho
09:00 - 10:00CPSBenchWorkshop Session 1 - Opening + Keynote - Reproducible Research: Failures, Successes, Challenges and (Re)Setting the Bar
Ian M. Mitchell
R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais
09:00 - 10:30T-DRTSTutorial
P13 - Palácio das Artes - Level 1 - Sala 3
09:00 - 09:05T-ASECTutorial Opening
Francesco Regazooni
P17 - Palácio das Artes - Level 1 - Sala 7
09:00 - 10:00T-SMRTETutorial
09:00 - 10:00T-ROSTutorial
P11 - Palácio das Artes - Level 1 - Sala 1
09:00 - 10:00T-MILPTutorial
P16 - Palácio das Artes - Level 1 - Sala 6
09:00 - 09:15CPS-SRWorkshop Welcome
Henrik Sandberg (KTH, Sweden), Dejan Nickovic, Paul Smith (AIT, Austria)
R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes
09:00 - 09:15CPS-INTLWorkshop Session I - Opening Remarks
Seta Bogosyan, David Corman, Ralph Wachter (National Science Foundation, USA)
R17 - Palácio da Bolsa - Level 1 - Salão Árabe
09:00 - 17:30FMLCCompetition
09:00 - 09:15CySWaterWorkshop Welcome
C02 - Hotel Carris - Level -1 - Sala Soares dos Reis
09:00 - 09:30SmartFarmingWorkshop Talk 1 - AFarCloud Project
Mikko Himanka
R13 - Palácio da Bolsa - Level 1 - Sala do Presidente
09:00 - 10:00PhDIPSN PhD Forum Session 1
P15 - Palácio das Artes - Level 1 - Sala 5
09:00 - 09:15EITECWorkshop Welcome
09:00 - 09:15SCAVWorkshop Welcome
R14 - Palácio da Bolsa - Level 1 - Sala Dourada
09:00 - 10:00DARSWorkshop Keynote - Measuring robustness for cyber-physical systems: real-world experiences and challenges
Jim Kapinski
R22 - Palácio da Bolsa - Level 2 - Sala Minho
09:00 - 10:00SCOPEWorkshop Welcome + Keynote
C01 - Hotel Carris - Level -1 - Sala B
09:00 - 10:00MCPSWorkshop Keynote - A Reference Architecture for Mixed-Criticality Medical Devices with an Exemplar PCA Pump Device
John Hatcliff, Kansas State University
Building safe and secure interoperable medical devices with accompanying assurance artifacts can often be challenging task. In industry, many start-up companies have great ideas for innovation, but are not familiar with appropriate safety/security-critical engineering processes, architecture principles, risk management, and assurance techniques. Larger, more experienced, companies may face hurdles in re-engineering their devices for interoperability and greater security. In academia, researchers often have good techniques for addressing some of the issues above, but are not familiar with how a realistic medical device is developed and assured. Building a prototype medical device for a classroom project or research work to validate proposed techniques is often a huge effort.

In this talk, I will describe a open-source reference architecture developed by Adventium Labs and Kansas State University for interoperable medical devices and the Open PCA Pump built using the reference architecture and associated hardware. The Intrinsically Secure, Open and Safe Cyber-Physically Enabled, Life-Critical Essential Services (ISOSCELES) architecture is a reference implementation for future mixed-criticality medical and Internet of Things (IoT) system designs. By the use of a partitioning architecture based on hypervisor technology, the reference implementation enables manufacturers to focus on the clinical side of their product, reducing the time and effort spent ensuring that security vulnerabilities in the resulting platform minimize adverse impacts on patient safety. The Open PCA Pump illustrates a full suite of realistic development artifacts that academic researchers can leverage in their work including use cases, requirements, architecture models, verified source code, testing and simulation infrastructure, risk management artifacts, and assurance cases.

This work is sponsored by the US Department of Homeland Security and the US National Science Foundation Food and Drug Administration Scholar-in-Residence program.

R16 - Palácio da Bolsa - Level 1 - Sala dos Retratos
09:00 - 10:30MT-CPSWorkshop Session - Regular Expressions and Temporal Logics

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam and Alena Rodionova

On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. Alexey Bakhirkin, Thomas Ferrère, Oded Maler and Dogan Ulus

From MITL to timed automata. Thomas Ferrère, Oded Maler and Dejan Nickovic

R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal
09:00 - 10:00F1/10F1/10 Competition Trials
R01 - Palácio da Bolsa - Level 0 - Pátio das Nações
09:00 - 09:10MSCPESWorkshop Opening
C11 - Hotel Carris - Level 0 - Sala Nomadik
09:05 - 09:50T-ASECTutorial Session - CPS Requirements collection and formalization
Michael Masin and Luca Pulina
P17 - Palácio das Artes - Level 1 - Sala 7
09:15 - 10:00CPS-SRWorkshop Keynote - Specifying and Testing Security Properties for Cyber-Physical Systems
Jyotirmoy Vinay Deshmukh (University of Southern California, USA)
R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes
09:15 - 10:00CPS-INTLWorkshop Session II - Morning KeynoteModerator: Ralph Wachter (National Science Foundation, USA)
Presenter: Bruce Krogh (Carnegie Mellon University, USA)
Topic: Developing International CPS Research Collaborations: Opportunities and Challenges

R17 - Palácio da Bolsa - Level 1 - Salão Árabe
09:15 - 10:00SCAVWorkshop Keynote - Simulating and Verifying Cyber-Physical Systems - Current Challenges and Novel Research Directions
Khalil Ghorbal
R14 - Palácio da Bolsa - Level 1 - Sala Dourada
09:15 - 10:00CySWaterWorkshop Keynote - Porto - a water sensitive city, sprinkling innovation
Eng. Pedro Vieira
Diretor of Águas do Porto

C02 - Hotel Carris - Level -1 - Sala Soares dos Reis
09:10 - 10:00MSCPESWorkshop Keynote
C11 - Hotel Carris - Level 0 - Sala Nomadik
09:15 - 10:00EITECWorkshop Keynote - Specification and verification of collaborative transport robots
Holger SchlingloffThe workshop will include a keynote presentation by Prof. Dr. Holger Schlingloff, chief scientist of the System Quality Center SQC at the Fraunhofer institute FOKUS and professor for software engineering at the Humboldt University of Berlin. His main interests are specification, verification and testing of embedded safety-critical software. He obtained his Ph.D. from the Technical University of Munich in 1990 with a thesis on temporal logic of trees; after that, he visited Carnegie-Mellon-University, Pittburgh, where he worked on model checking of real-time systems. After his return he was associate professor at the TU Munich and, from 1997 to 2001, managing director of the Bremen Institute for Safe Systems (BISS) within the Center for Computing Technologies (TZI), Bremen. His habilitation in 2001 was on partial state space of safety-critical systems. Since 2002, when he joined Fraunhofer, he is managing industrial projects in the automotive, railway, and medical technology domain. His areas of expertise include quality assurance of embedded control software, model-based development and model checking, logical verification of requirements, static analysis, and automated software testing.
R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem
09:30 - 10:10SmartFarmingWorkshop Talk 2 - Multi-robot path planning problems in agricultural robotics
Pavithra PrabhakarPavithra Prabhakar is an associate professor of computer science at the Kansas State University, where she holds the Peggy and Gary Edwards Chair in Engineering. She obtained her doctorate in Computer Science from the University of Illinois at Urbana-Champaign (UIUC) in 2011, from where she also obtained a masters in Applied Mathematics. She was a CMI (Center for Mathematics of Information) fellow at Caltech for the year 2011-12. She has been on the faculty of Kansas State University since 2015, and has previously held a faculty position at the IMDEA Software Institute in Madrid, Spain. Her main research interest is in the Formal Analysis of Cyber-Physical Systems, with emphasis on both theoretical and practical methods for verification and synthesis of hybrid control systems. She is the recipient of a Marie Curie Career Integration Grant from the European Union, an NSF CAREER Award and an ONR Young Investigator Award.
R13 - Palácio da Bolsa - Level 1 - Sala do Presidente
09:50 - 10:30T-ASECTutorial Session - HW/SW Cyber-System Co-Design and Modelling
Julio De Oliveira Filho
P17 - Palácio das Artes - Level 1 - Sala 7
10:00 - 10:20MSCPESWorkshop Morning Session I

Game Theoretical-based Demand Response Modeling Considering Industrial Customers. Mengmeng Yu, Seung Ho Hong, Junhui Jiang

C11 - Hotel Carris - Level 0 - Sala Nomadik
10:00 - 10:30Coffee Break
10:30 - 11:10SmartFarmingWorkshop Talk 3
Richard M VoylesDr. Voyles has been a researcher, deployer, and advocate for robotics and cyber-physical systems most of his academic and professional life. He is currently professor of robotics in the Polytechnic Institute at Purdue University as well as the founding director of the Purdue Robotics Accelerator and was named a University Faculty Scholar in 2014. He previously served as Assistant Director for Robotics and Cyber-Physical Systems in the Office of Science and Technology Policy at the White House, in which he was instrumental in the expansion of the DARPA Robotics Challenge as an international cooperation, advocated for increased funding for robotics and IOT research, and pushed for "filling the gaps" in the educational continuum "from HS to MS," including Engineering Technology. Prior to this, he was lead Program Director at the U.S. National Science Foundation running the National Robotics Initiative, was one of the founding Program Directors of the Innovation Corps program, and a Program Director in the CPS Program.

Prof. Voyles' educational background includes the three pillars of robotics and IoT - electrical engineering, mechanical engineering and computer science - having received the B.S.E.E. from Purdue University in 1983, the M.S.M.S.E. from Mechanical Engineering at Stanford University in 1989, and the Ph.D. in Robotics from the School of Computer Science at Carnegie Mellon University in 1997. Prof. Voyles' prior appointments have included engineering positions in industry at Dart Controls, IBM, Integrated Systems, and Avanti Optics and tenured positions in Computer Science at the University of Minnesota and Electrical and Computer Engineering at the University of Denver. Dr. Voyles' research interests are in the areas of small, networked, resource-constrained robots and robot teams for urban search and rescue and surveillance, new generations of co-robots for intelligent, human-assistive tasks, such as nuclear clean-up, and intelligent meta-materials that combine sensing, computation and structure. He has founded or served on the boards of several start-ups and also served several non-profit groups with a focus on STEM education.

R13 - Palácio da Bolsa - Level 1 - Sala do Presidente
10:30 - 11:30F1/10F1/10 Competition Trials
R01 - Palácio da Bolsa - Level 0 - Pátio das Nações
10:30 - 12:30T-ASECTutorial
P17 - Palácio das Artes - Level 1 - Sala 7
10:30 - 12:30CPS-INTLWorkshop Session III - CPS Domain Exemplars


Presenter: Ed Griffor (National Institute of Standards & Technology, USA)
Topic: Necessity and Benefits of an International Approach to CPS: A Transportation Perspective

Smart & Connected Communities

Presenter: Tho Nguyen (University of Virginia, USA)
Topic: Challenges and Opportunities for International CPS: Parallels Drawn from the CPS for Rural America Research and Education Agenda


Presenters: Roger Chamberlain/Chris Gill (Washington University in St. Louis, USA)
Topic: Abstractions for Cyber-Physical Systems Development: An International Opportunity


Presenter: Richard Voyles (Purdue University, USA)
Topic: International Food Sustainability

Medical Devices

Presenter: John Hatcliff (Kansas State University, USA)
Topic: MedCPS-OExP- Open Experimental Platforms for International Collaboration on Integrated Medical Devices and Systems

Session Q&A

R17 - Palácio da Bolsa - Level 1 - Salão Árabe
10:30 - 12:10CySWaterWorkshop Session 1 - Applications and Emerging Topics

An improved tool of water data analytics for flowmeters data. Application to the Barcelona supra-municipal distribution water network. Joseba Quevedo, José Luis Pesántez, Santiago Espin, Jaume Roquet and Fernando Valero

Cyber-Physical System Management of Urban Water Cycle. Congcong Sun, Gabriela Cembrano, Vicenc Puig, Bernat Joseph-Duran and Jordi Meseguer

Developing a stress-testing platform for cyber-physical water infrastructure. Dionysios Nikolopoulos, Christos Makropoulos, Klio Monokrousou, Dimitrios Kalogeras and Ioannis Tsoukalas

Talk: Performance Characterization for Water Industrial Sensor Networks: A Spatio-Temporal Study.Athanasia Panousopoulou, Antonis Tzougkarakis, Panagiotis Tsakalides

C02 - Hotel Carris - Level -1 - Sala Soares dos Reis
10:30 - 12:30CPSBenchWorkshop Session 2 - Benchmarking IoT Devices and Networks

Evaluating Bluetooth Low Energy for IoT. Jonathan Fürst, Kaifei Chen, Hyung-Sin Kim, Philippe Bonnet

IoTMark™-BLE: How a Consortium Solved the IoT Benchmarking Problem. Invited talk: Peter Torelli

IoTBench: Towards a Benchmark for Low-power Wireless Networking. Carlo Alberto Boano, Simon Duquennoy, Anna Förster, Omprakash Gnawali, Romain Jacob, Hyung-Sin Kim, Olaf Landsiedel, Ramona Marfievici, Luca Mottola, Gian Pietro Picco, Xavier Vilajosana, Thomas Watteyne, Marco Zimmerling

Moving Beyond Competitions: Extending D-Cube to Seamlessly Benchmark Low-Power Wireless Systems. Markus Schuss, Carlo Alberto Boano, Kay Römer

R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais
10:30 - 12:30T-SMRTETutorial
10:30 - 12:30T-MILPTutorial
P16 - Palácio das Artes - Level 1 - Sala 6
10:30 - 12:30T-ROSTutorial
P11 - Palácio das Artes - Level 1 - Sala 1
10:30 - 12:30CPS-SRWorkshop Paper Session I
Session Chair: Henrik Sandberg

Security Metrics of Networked Control Systems under Sensor Attacks. Carlos Murguia, Iman Shames, Justin Ruths and Dragan Nesic (University of Melbourne, Australia)

Examining Cyber-attacks to Cyber-Physical Systems: Current and Future Trends. Mislav Findrik and Paul Smith (AIT Austrian Institute of Technology)

Towards Scenario-Based Design and Verification of Resilient Cyber-Physical Systems. Rajeev Alur, Insup Lee, Rahul Mangharam, Mayur Naik, Oleg Sokolsky, James Weimer and Houssam Abbas (University of Pennsylvania, USA)

Reverse Engineering and Anomaly Detection for Merging the Safety and Security of Cyber-Physical Systems. Sebastian Fischmeister (University of Waterloo, Canada)

R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes
10:30 - 12:30MCPSWorkshop Session 1
Session Chair: James Wimer

Mitigating security attacks on authentication-enhanced OpenICE. Zhangtan Li, Liang Cheng and Yang Zhang

A Use Error Taxonomy for Improving Human-Machine Interface Design in Medical Devices. Carlos Silva, Paolo Masci, Yi Zhang, Paul Jones and Jose C. Campos

Towards A Test and Validation Framework for Closed-Loop Physiology Management Systems for Critical and Perioperative Care. Farooq Gessa, Philip Asare, Aaron Bray, Rachel Clipp and Mark Poler

The benefits of using interactive device simulations as training material for clinicians: an experience report with a contrast media injector used in CT. Cinzia Bernardeschi, Paolo Masci, Davide Caramella and Ruggero Dell'Osso

R16 - Palácio da Bolsa - Level 1 - Sala dos Retratos
10:30 - 12:30DARSWorkshop Session

Session Chair: Fedro Shamrov

Computing the mutational robustness of gene regulatory network. Mirco Giacobbe, Ashutosh Gupta, Calin C. Guet, Thomas A. Henzinger, Tiago Paixão and Tatjana Petrov

A quantitative approach on safety, reachability and stability specifications. Alina Eqtami and Antoine Girard

Measuring Neural Net Robustness. Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori and Antonio Criminisi


R22 - Palácio da Bolsa - Level 2 - Sala Minho
10:30 - 12:30PhDIPSN PhD Forum Session 2
P15 - Palácio das Artes - Level 1 - Sala 5
10:30 - 12:30SCOPEWorkshop Session 1

Crowd motion detection and prediction for transportation efficiency in shared spaces. Dongfang Yang, John M. Maroli, Linhui Li, Menna El-Shaer, Bander A. Jabr, Keith Redmill, Fusun Ozguner and Umit Ozguner

Smart and Secure Cities and Communities. Sokwoo Rhee and Scott Tousley

StormSense: A Blueprint for Coastal Flood Forecast Information & Automated Alert Messaging Systems. Derek Loftis, Sridhar Katragadda, Sokwoo Rhee and Cuong Nguyen

SDN-ERS: A Timely Software Defined Networking Framework for Emergency Response Systems. Mohamed Rahouti, Kaiqi Xiong, Tommy Chin and Peizhao Hu

C01 - Hotel Carris - Level -1 - Sala B
10:30 - 12:30SCAVWorkshop Session 1 - Modeling, Verification, and Simulation

Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety.
Eric Kim, Murat Arcak, Sanjit A. Seshia, Baekgyu Kim and Shinichi Shiraishi
Presenter: Eric Kim
Discussant: Edward Griffor

Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL.
Maike Schwammberger
Presenter: Maike Schwammberger
Discussant: Georg Schildbach

The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications.
Rahul Kumar Bhadani, Jonathan Sprinkle and Matthew Bunting
Presenter: Rahul Kumar Bhadani
Discussant: Mohammad Hejase

R14 - Palácio da Bolsa - Level 1 - Sala Dourada
10:30 - 12:30EITECWorkshop Session

An End To End Tactile Cyber Physical System Design. Arjun N, Ashwin S M, Kurian Polachan, Prabhakar T V, Chandramani Singh

Fault Tolerance on Control Applications: Empirical Investigations of Impacts from Incorrect Calculations. Mikail Yayla, Kuan-Hsun Chen, Jian-Jia Chen

Developing Ontologies for the Collaboration of Cyber-Physical Systems: Requirements and Solution Approach. Sebastian Törsleff, Constantin Hildebrandt, Marian Daun, Jennifer Brings, Alexander Fay

R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem
10:40 - 12:00MSCPESWorkshop Morning Session II

A Gateway to Easily Integrate Simulation Platforms for CoSimulation of Cyber-Physical Systems. Thomas Roth, Martin Burns

A Modular Approach for Co-Simulations of Integrated Multi-Energy Systems. Simon Ruben Drauz, Christian Spalthoff, Matthias Würtenberg, Tanja M. Kneiske, Martin Braun

Co-simulation and control of power-to-heat units in coupled electrical and thermal distribution networks. Benedikt Pesendorfer, Edmund Widl, Wolfgang Gawlik, René Hofmann

Experiences in Power System MultiDomain Modeling and Simulation with Modelica & FMI - The Case of Gas Power Turbines and Power Systems. Miguel Aguilera, Luigi Vanfretti, Francisco Gómez

C11 - Hotel Carris - Level 0 - Sala Nomadik
11:00 - 11:45T-ASECTutorial Session - Security Challenges in CPS
Francesco Regazzoni
P17 - Palácio das Artes - Level 1 - Sala 7
11:00 - 12:30T-DRTSTutorial
P13 - Palácio das Artes - Level 1 - Sala 3
11:00 - 13:00MT-CPSWorkshop Session - Falsification

Time-Staging Enhancement of Hybrid System Falsification. Gidon Ernst, Ichiro Hasuo, Sean Sedwards and Zhenya Zhang

Falsification of Cyber-Physical Systems with Reinforcement Learning. Koki Kato, Fuyuki Ishikawa and Shinichi Honiden

Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. Arend Aerts, Bryan Tong Minh, Mohammadreza Mousavi and Michel Reniers

Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems. Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Sajed Miremadi, Zahra Ramezani and Knut Åkesson

R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal
11:10 - 11:35SmartFarmingWorkshop Contributed Talk 1 - Towards improved Validation of Autonomous Systems for Smart Farming
Martijn Rooker, Pablo Horstrand, Aythami Salvador Rodriguez, Sebastian Lopez, Roberto Sarmiento, Jose Lopez, Ray Alejandro Lattarulo, Joshue Manuel Perez Rastelli, Jose Matute, Zora Slavik, David Pereira, Markku Pusenius and Tapio Leppälampi
R13 - Palácio da Bolsa - Level 1 - Sala do Presidente
11:35 - 12:00SmartFarmingWorkshop Contributed Talk 2 - IoT Middleware for Precision Agriculture: Workforce Monitoring in Olive Fields
José Camacho, Alberto Cunha and Miguel Pardal
R13 - Palácio da Bolsa - Level 1 - Sala do Presidente
11:45 - 12:25T-ASECTutorial Session - Self-adaptation of Cyber Physical Systems
Francesca Palumbo and Eduardo de la Torre
P17 - Palácio das Artes - Level 1 - Sala 7
12:00 - 12:25SmartFarmingWorkshop Contributed Talk 3 - Towards Designing an Agricultural IoT Infrastructure for Micro-climate Measurements
Christian Hirsch, Markus Redl and Radu Grosu
R13 - Palácio da Bolsa - Level 1 - Sala do Presidente
12:25 - 12:30T-ASECTutorial Closing Session
Francesca Palumbo
P17 - Palácio das Artes - Level 1 - Sala 7
12:30 - 14:00Lunch
R01 - Palácio da Bolsa - Level 0 - Pátio das Nações
12:45 - 13:30CPS-INTLWorkshop Session IV - Lunch KeynoteModerator: Frankie King (Vanderbilt University, USA)
Presenter: Naira Hovakimyan (University of Illinois-Urbana Champaign, USA)
Topic: CPS in the World: 21 st Century Challenges

R17 - Palácio da Bolsa - Level 1 - Salão Árabe
13:30 - 15:10MSCPESWorkshop Afternoon Session I - Tutorial & Live Demo

The FMI++ MATLAB Toolbox. Edmund Widl

A Cyber Physical Power System Co-Simulation Platform. Ming Ni, Yusheng Xue, Heqin Tong

Hardwarein-the-Loop Simulation for Internet of Things Scenarios. Johannes Kölsch, Christopher Heinz, Sebastian Schumb, Christoph Grimm

Cyber-Power Testbed for Distributed Monitoring and Control. Vignesh V. G. Krishnan, Shyam Gopal, Zhijie Nie, Anurag Srivastava

C11 - Hotel Carris - Level 0 - Sala Nomadik
13:30 - 15:30CPS-INTLWorkshop Session V - Cross-Cutting Issues

Living Labs

Presenter: Bernhard Schick (University of Applied Science, Kempten, Germany)
Topic: Model-Based Development Methods for Automated CPS: What Can We Learn from Each Other

Application Networks

Presenters: Akshay Rajhans (Mathworks, USA)
Topic: A Vision for Application-Focused International Collaboration Networks in CPS

Human Factors: Social Context

Presenter: Philip Asare (Bucknell University, USA)
Topic: Going Global with CPS - The Importance of Situational Awareness and a Human Touch

Human Factors: Risk and Resilience

Presenter: Igor Linkov (U.S. Army Engineer R&D Center / Carnegie Mellon University, USA)
Topic: Human Factors for International CPS - The Role of Risk, Resilience, and Networks

Distributed Situational Awareness

Presenter: Krishna Kant (Temple University USA)
Topic: Exploiting International Experiences in Situational Awareness of Evolving Smart Infrastructures

Session Q&A

R17 - Palácio da Bolsa - Level 1 - Salão Árabe
14:00 - 15:30CPS-SRWorkshop Paper Session II
Session Chair: Dejan Nickovic

On the Resilience of k-Nearest Neighbor Vehicle Platoons. Mohammad Pirani, Henrik Sandberg and Karl Henrik Johansson (KTH Royal Institute of Technology, Sweden)

A Note on Cascading Failures in Communication Networks and Power Grids. Teresa Gomes, Rita Girão-Silva, Lúcia Martins (University of Coimbra, Portugal), Luísa Jorge (Polytechnic Institute of Bragança, Portugal), Álvaro Gomes (University of Coimbra, Portugal) and Francesco Musumeci (Politecnico di Milano, Italy)

Verification of Policies in Human Cyber-Physical Systems: the Role and Importance of Resilience. Antonios Gouglidis and David Hutchison (Lancaster University, UK)

R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes
14:00 - 15:30T-SMRTETutorial
14:00 - 15:30T-ROSTutorial
P11 - Palácio das Artes - Level 1 - Sala 1
14:00 - 15:30T-POWERTutorial
Fundamental Concepts and Opportunities
P15 - Palácio das Artes - Level 1 - Sala 5
14:00 - 15:30T-UAVEETutorial
P17 - Palácio das Artes - Level 1 - Sala 7
14:00 - 15:30T-OPTIMTutorial
P13 - Palácio das Artes - Level 1 - Sala 3
14:00 - 14:40SmartFarmingWorkshop Talk 4 - AnimalSense Project
Johannes Karlsson
R13 - Palácio da Bolsa - Level 1 - Sala do Presidente
14:00 - 14:40CySWaterWorkshop Invited Talk
Demetrios Eliades, CEO Phoebe Research and Innovation Ltd
C02 - Hotel Carris - Level -1 - Sala Soares dos Reis
14:00 - 15:30EITECWorkshop Session

A taxonomy for faults in conguration knowledge bases. Christina Aigner, Florian Grigoleit

Reflection on future Research Directions. Workshop Participants

R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem
14:00 - 15:20SCAVWorkshop Session 2 - Failure Analysis and Tolerance, and Safety Argumentation

Robust Safety for Autonomous Vehicles through Reconfigurable Networking.
Khalid Halba, Charif Mahmoudi and Edward Griffor
Presenter: Edward Griffor
Discussant: Eric Kim

Identification of Risk Significant Automotive Scenarios Under Hardware Failures
Mohammad Hejase, Arda Kurt, Tunc Aldemir and Umit Ozguner
Presenter: Mohammad Hejase
Discussant: Rahul Kumar Bhadani

R14 - Palácio da Bolsa - Level 1 - Sala Dourada
14:00 - 15:30T-MILPTutorial
P16 - Palácio das Artes - Level 1 - Sala 6
14:00 - 15:30SCOPEWorkshop Session 2

Towards a Design Studio for Collaborative Modeling and Co-Simulations of Mixed Electrical Energy Systems. Yogesh Barve, Himanshu Neema, Stephen Rees and Janos Sztipanovits

Structured Summarization of Social Web for Smart Emergency Services by Uncertain Concept Graph. Hemant Purohit, Saideep Nannapaneni, Abhishek Dubey, Prakruthi Karuna and Gautam Biswas

Facilitation of Smart City and Community Technology Convergence. Martin Burns and Sokwoo Rhee

C01 - Hotel Carris - Level -1 - Sala B
14:00 - 15:30DARSWorkshop Keynote + Session

Session chair: Alexey Bakhirkin

Keynote Talk:

Robust to Dynamics Optimization. Amir Ali Ahmadi

A CEGAR Approach for Hybrid Systems Reachability Analysis. Stefan Schupp and Erika Abraham

R22 - Palácio da Bolsa - Level 2 - Sala Minho
14:00 - 15:30MT-CPSWorkshop Session - Tools

Towards Context-Aware Cyber-Physical Systems. Radoslav Ivanov, James Weimer and Insup Lee

DejaVu: A Monitoring Tool for First-Order Temporal Logic. Klaus Havelund, Doron Peled and Dogan Ulus

MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration. Masaki Waga, Ichiro Hasuo and Kohei Suenaga

R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal
14:00 - 15:30CySWaterWorkshop Session 2 - Processing, Networking, Security

Automated Titration in a Recirculating Water System. Roger Chamberlain, Chris Edmiston and Don Williams

Reducing vulnerability to cyber-physical attacks in water distribution networks. Nicolas Nicolaou, Demetrios Eliades, Christos Panayiotou, Marios Polycarpou

C02 - Hotel Carris - Level -1 - Sala Soares dos Reis
14:00 - 15:15CPSBenchWorkshop Session 3 - Benchmarking CPS

Evaluating Low-Power Wireless Cyber-Physical Systems. Dominik Baumann, Fabian Mager, Harsoveet Singh, Marco Zimmerling, Sebastian Trimpe

Benchmarking Networked Control Systems. Sebastian Gallenmüller, Stephan Günther, Maurice Leclaire, Samuele Zoppi, Fabio Molinari, Richard Schöffauer, Wolfgang Kellerer, Georg Carle

Towards Benchmark Optimization by Automated Equivalence Detection. Daniel Schemmel, Mirko Stoffers, René Glebke, Klaus Wehrle

R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais
14:00 - 16:00MCPSWorkshop Session 2
Session Chair: Philip Asare

RePulmo: A Remote Pulmonary Monitoring System. Hung Nguyen, Radoslav Ivanov, Sara Demauro and James Weimer

Towards a Cognitive Assistant System for Emergency Response. Sarah Masud Preum, Sile Shu, Mustafa Hotaki, Ronald Williams, John Stankovic and Homa Alemzadeh

Poster Lighting Talks (5 minutes each)

Followed immediately by the poster session.

Acted, Real and Induced Stress Detection from Speech. Mohsin Ahmed, Apoorva Arunkumar, Brooke Bell, Donna Spruijt-Metz, Kayla De La Haye, John Lach and John Stankovic

DrugSens: A system for Continuous Monitoring of the Anticancer Agent Methotrexate in Patient's Blood. Sophie Farine-Brunner, Enrico Condemi, Martial Geiser, Eric Hochstrasser, Alexandra Homsy, Laure Jeandupeux, Roger Marti, Marc Emil Pfeifer, Gabriel Rittiner, Pierre Roduit, Christophe Schalcher, Jean-Manuel Segura, Alexandre Sierro, Alena Simalatsar, Florian Telmont and Frederic Truffer

A Light Therapy Platform for Circadian Rhythm Sleep Disorder. Luis Garcia, Wenjie Wei and James Weimer

Stability analysis of Kalman filer based delivery rate computation algorithm for IV administered anesthetic propofol. Alena Simalatsar, Monia Guidi, Pierre Roduit and Thierry Buclin

Pitch Plus: a Wearable Monitor for Pitching-Induced Stress in Young Athletes. Thomas Borgese, Brett Garberman, Eric Micaleff, Elliot Greenberg, J. Todd R. Lawrence, James Weimer

R16 - Palácio da Bolsa - Level 1 - Sala dos Retratos
14:30 - 15:30F1/10F1/10 Competition Trials
R01 - Palácio da Bolsa - Level 0 - Pátio das Nações
14:40 - 15:05SmartFarmingWorkshop Contributed Talk 4 - Digital Earth in support to Smart Farm applications
Stefano Natali, Teresa Placho, Simone Mantovani and Marco Folegani
R13 - Palácio da Bolsa - Level 1 - Sala do Presidente
15:05 - 15:50SmartFarmingWorkshop Panel Discussion
R13 - Palácio da Bolsa - Level 1 - Sala do Presidente
15:30 - 16:00Coffee Break
15:45 - 16:30CPS-INTLWorkshop Session VI - Afternoon KeynoteModerator: David Corman (National Science Foundation, USA)
Presenter: Wei Zhao (American University of Sharjah, United Arab Emirates)
Topic: The Need for a Global CPS Academic Discipline

R17 - Palácio da Bolsa - Level 1 - Salão Árabe
15:40 - 16:40MSCPESWorkshop Afternoon Session II

Design of Experiments aided Holistic Testing of Cyber-Physical Energy Systems. Arjen van der Meer, Cornelius Steinbrink, Kai Heussen, Daniel Morales Bondy, Merkebu Degefa, Filip Pröstl Andrén, Thomas Strasser, Lehnhoff Sebastian, Peter Palensky

Co-simulation Set-up for Testing Controller Interactions in Distribution Networks. Jorge Velasquez, Felipe Castro, Davood Babazadeh, Sebastian Lehnhoff, Steffen Garske, Lutz Hofmann, Thomas Kumm, Daniel Heuberger, Riccardo Treydel, Tim Lueken

PowerFactory-Python based assessment of frequency and transient stability in power systems dominated by power electronic interfaced generation. Jorge Mola-Jimenez, Jose L. Rueda Torres, Arcadio Perilla, Da Wang, Peter Palensky, Mart van der Meijden

C11 - Hotel Carris - Level 0 - Sala Nomadik
15:45 - 16:15CySWaterWorkshop Panel Discussion + Concluding Remarks
C02 - Hotel Carris - Level -1 - Sala Soares dos Reis
16:00 - 16:15EITECWorkshop Closing
R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem
16:00 - 16:40SCAVWorkshop Session 2 (Cont) - Failure Analysis and Tolerance, and Safety Argumentation

On the Development of a Trajectory Tracking Controller under the ISO 26262 Requirements for Functional Safety.
Georg Schildbach
Presenter: Georg Schildbach
Discussant: Maike Schwammberger

R14 - Palácio da Bolsa - Level 1 - Sala Dourada
16:00 - 17:00F1/10F1/10 Competition Trials
R01 - Palácio da Bolsa - Level 0 - Pátio das Nações
16:00 - 17:30CPS-SRWorkshop Paper Session III
Session Chair: Chair: Paul Smith

Formal and Data-Driven Approaches to Secure CPS. Andrew Clark (Worcester Polytechnic Institute, USA), Linda Bushnelly and Radha Poovendran (University of Washington, USA)

Detection of Stealthy Sensor Attacks with Multiplicative Watermarking. André M.H. Teixeira (Uppsala University, Sweden) and Riccardo M.G. Ferrari (Delft Technical University, The Netherlands)

Physics-Based Methods for Responding to Attacks and Faults. Akshay Ranade (Polytechnic University of Milan, Italy), Riccardo Orizio, Gregory Provan (University College Cork, Ireland) and Alie El-Din Mady (UTRC, Ireland)

R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes
16:00 - 17:30T-SMRTETutorial
16:00 - 17:30T-ROSTutorial
P11 - Palácio das Artes - Level 1 - Sala 1
16:00 - 17:30T-POWERTutorial
Challenges and Solutions
P15 - Palácio das Artes - Level 1 - Sala 5
16:00 - 17:30T-UAVEETutorial
P17 - Palácio das Artes - Level 1 - Sala 7
16:00 - 17:30T-OPTIMTutorial
P13 - Palácio das Artes - Level 1 - Sala 3
15:45 - 17:45CPSBenchWorkshop Session 4 - From Control and Localization Back to IoT Networks

Formal Synthesis of Control Strategies for Dynamical Systems. Invited talk: Calin Belta

Toward Standard Non-line-of-sight Benchmarking of Ultra-wideband Radio-based Localization. Milad Heydariaan, Hessam Mohammadmoradi, Omprakash Gnawali

SODA: 6TiSCH Open Data Action. Malisa Vucinic, Milica Pejanovic-Durisic, Thomas Watteyne

Open discussion and wrap-up.

R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais
16:00 - 17:25DARSWorkshop Session

Session chair: Pavithra Prabhakar

Probabilistic Bounded Reachability for Stochastic Hybrid Systems. Fedor Shmarov


R22 - Palácio da Bolsa - Level 2 - Sala Minho
16:00 - 17:30T-MILPTutorial
P16 - Palácio das Artes - Level 1 - Sala 6
16:00 - 17:30MT-CPSWorkshop Session - Control and Stimulus Generation

Resilient Control and Safety for Cyber-Physical Systems. Ashish Tiwari, Scott Smolka, Lukas Esterle, Anna Lukina, Junxing Yang and Radu Grosu

Cyber-Physical Doping Tests. Sebastian Biewer, Pedro R. D'Argenio and Holger Hermanns

Stimulus Generator for Circuit Model Generation. Xavier Avon and Thao Dang

R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal
16:30 - 17:30CPS-INTLWorkshop Session VII - Government PanelModerator: Ralph Wachter (National Science Foundation, USA)
• David Corman (National Science Foundation, USA)
• Ed Griffor (National Institute of Standards & Technology, USA)
• Akira Maeda (Japan Science & Technology Agency, Japan)
• Sonia Pereira (University of Porto, Portugal)
• William Suski (Office of Naval Research Global, London office, USA)
• Nicola Tanic (Ministry of Education, Science & Technological Development, Serbia)
• Alex Cooke (Industry, Innovation and Science, Australia) [Remote Speaker]
• Armen Orujyan (Foundation of Armenia Science & Technology, Armenia) [Remote Speaker]

R17 - Palácio da Bolsa - Level 1 - Salão Árabe
16:30 - 17:30MCPSWorkshop Panel Discussion
Session Chair: Paolo Masci

R16 - Palácio da Bolsa - Level 1 - Sala dos Retratos
16:40 - 17:30SCAVWorkshop Discussion + Demos + Closing
R14 - Palácio da Bolsa - Level 1 - Sala Dourada
16:40 - 17:00MSCPESWorkshop Closing Session
C11 - Hotel Carris - Level 0 - Sala Nomadik
17:25 - 17:30DARSClosing Remarks
R22 - Palácio da Bolsa - Level 2 - Sala Minho
17:30 - 18:30CPS-INTLWorkshop Session VIII - Brainstorming and Next StepsModerator: Seta Bogosyan (National Science Foundation, USA)
R17 - Palácio da Bolsa - Level 1 - Salão Árabe
18:30 - 18:40CPS-INTLWorkshop Wrap-UpSeta Bogosyan, Ralph Wachter (National Science Foundation, USA), Frankie King (Vanderbilt University, USA)
R17 - Palácio da Bolsa - Level 1 - Salão Árabe
18:45 - 20:30CPS Week Workshop/Tutorial Cocktail Dînatoire
Palácio da Bolsa

go to next day