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
| 08:00 - 09:00 | Registration Palácio da Bolsa | |
| 08:30 - 17:00 | MILC | MILC Competition Setup R91 - Palácio da Bolsa - Level 0/1 - Escadaria Nobre |
| 08:45 - 09:00 | MT-CPS | Workshop Welcome R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
| 08:55 - 09:00 | DARS | Opening Remarks R22 - Palácio da Bolsa - Level 2 - Sala Minho |
| 09:00 - 10:00 | CPSBench | Workshop 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:30 | T-DRTS | Tutorial P13 - Palácio das Artes - Level 1 - Sala 3 |
| 09:00 - 09:05 | T-ASEC | Tutorial Opening Francesco Regazooni P17 - Palácio das Artes - Level 1 - Sala 7 |
| 09:00 - 10:00 | T-SMRTE | Tutorial |
| 09:00 - 10:00 | T-ROS | Tutorial P11 - Palácio das Artes - Level 1 - Sala 1 |
| 09:00 - 10:00 | T-MILP | Tutorial P16 - Palácio das Artes - Level 1 - Sala 6 |
| 09:00 - 09:15 | CPS-SR | Workshop 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:15 | CPS-INTL | Workshop 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:30 | FMLC | Competition |
| 09:00 - 09:15 | CySWater | Workshop Welcome C02 - Hotel Carris - Level -1 - Sala Soares dos Reis |
| 09:00 - 09:30 | SmartFarming | Workshop Talk 1 - AFarCloud Project Mikko Himanka R13 - Palácio da Bolsa - Level 1 - Sala do Presidente |
| 09:00 - 10:00 | PhD | IPSN PhD Forum Session 1 P15 - Palácio das Artes - Level 1 - Sala 5 |
| 09:00 - 09:15 | EITEC | Workshop Welcome |
| 09:00 - 09:15 | SCAV | Workshop Welcome R14 - Palácio da Bolsa - Level 1 - Sala Dourada |
| 09:00 - 10:00 | DARS | Workshop 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:00 | SCOPE | Workshop Welcome + Keynote C01 - Hotel Carris - Level -1 - Sala B |
| 09:00 - 10:00 | MCPS | Workshop 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:30 | MT-CPS | Workshop 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:00 | F1/10 | F1/10 Competition Trials R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 09:00 - 09:10 | MSCPES | Workshop Opening C11 - Hotel Carris - Level 0 - Sala Nomadik |
| 09:05 - 09:50 | T-ASEC | Tutorial Session - CPS Requirements collection and formalization Michael Masin and Luca Pulina P17 - Palácio das Artes - Level 1 - Sala 7 |
| 09:15 - 10:00 | CPS-SR | Workshop 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:00 | CPS-INTL | Workshop 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:00 | SCAV | Workshop 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:00 | CySWater | Workshop 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:00 | MSCPES | Workshop Keynote C11 - Hotel Carris - Level 0 - Sala Nomadik |
| 09:15 - 10:00 | EITEC | Workshop 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:10 | SmartFarming | Workshop 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:30 | T-ASEC | Tutorial 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:20 | MSCPES | Workshop 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:30 | Coffee Break | |
| 10:30 - 11:10 | SmartFarming | Workshop 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:30 | F1/10 | F1/10 Competition Trials R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 10:30 - 12:30 | T-ASEC | Tutorial P17 - Palácio das Artes - Level 1 - Sala 7 |
| 10:30 - 12:30 | CPS-INTL | Workshop Session III - CPS Domain ExemplarsTransportationPresenter: Ed Griffor (National Institute of Standards & Technology, USA)Topic: Necessity and Benefits of an International Approach to CPS: A Transportation Perspective Smart & Connected CommunitiesPresenter: 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 ArchitecturesPresenters: Roger Chamberlain/Chris Gill (Washington University in St. Louis, USA)Topic: Abstractions for Cyber-Physical Systems Development: An International Opportunity AgriculturePresenter: Richard Voyles (Purdue University, USA)Topic: International Food Sustainability Medical DevicesPresenter: John Hatcliff (Kansas State University, USA)Topic: MedCPS-OExP- Open Experimental Platforms for International Collaboration on Integrated Medical Devices and Systems Session Q&AR17 - Palácio da Bolsa - Level 1 - Salão Árabe |
| 10:30 - 12:10 | CySWater | Workshop 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:30 | CPSBench | Workshop 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:30 | T-SMRTE | Tutorial |
| 10:30 - 12:30 | T-MILP | Tutorial P16 - Palácio das Artes - Level 1 - Sala 6 |
| 10:30 - 12:30 | T-ROS | Tutorial P11 - Palácio das Artes - Level 1 - Sala 1 |
| 10:30 - 12:30 | CPS-SR | Workshop Paper Session ISession Chair: Henrik SandbergSecurity 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:30 | MCPS | Workshop Session 1Session Chair: James WimerMitigating 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:30 | DARS | Workshop SessionSession Chair: Fedro ShamrovComputing 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 DiscussionR22 - Palácio da Bolsa - Level 2 - Sala Minho |
| 10:30 - 12:30 | PhD | IPSN PhD Forum Session 2 P15 - Palácio das Artes - Level 1 - Sala 5 |
| 10:30 - 12:30 | SCOPE | Workshop 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:30 | SCAV | Workshop Session 1 - Modeling, Verification, and Simulation Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications. R14 - Palácio da Bolsa - Level 1 - Sala Dourada |
| 10:30 - 12:30 | EITEC | Workshop 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:00 | MSCPES | Workshop 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:45 | T-ASEC | Tutorial Session - Security Challenges in CPS Francesco Regazzoni P17 - Palácio das Artes - Level 1 - Sala 7 |
| 11:00 - 12:30 | T-DRTS | Tutorial P13 - Palácio das Artes - Level 1 - Sala 3 |
| 11:00 - 13:00 | MT-CPS | Workshop 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:35 | SmartFarming | Workshop 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:00 | SmartFarming | Workshop 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:25 | T-ASEC | Tutorial 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:25 | SmartFarming | Workshop 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:30 | T-ASEC | Tutorial Closing Session Francesca Palumbo P17 - Palácio das Artes - Level 1 - Sala 7 |
| 12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações | |
| 12:45 - 13:30 | CPS-INTL | Workshop 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:10 | MSCPES | Workshop 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:30 | CPS-INTL | Workshop Session V - Cross-Cutting IssuesLiving LabsPresenter: Bernhard Schick (University of Applied Science, Kempten, Germany)Topic: Model-Based Development Methods for Automated CPS: What Can We Learn from Each Other Application NetworksPresenters: Akshay Rajhans (Mathworks, USA)Topic: A Vision for Application-Focused International Collaboration Networks in CPS Human Factors: Social ContextPresenter: Philip Asare (Bucknell University, USA)Topic: Going Global with CPS - The Importance of Situational Awareness and a Human Touch Human Factors: Risk and ResiliencePresenter: 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 AwarenessPresenter: Krishna Kant (Temple University USA)Topic: Exploiting International Experiences in Situational Awareness of Evolving Smart Infrastructures Session Q&AR17 - Palácio da Bolsa - Level 1 - Salão Árabe |
| 14:00 - 15:30 | CPS-SR | Workshop Paper Session IISession Chair: Dejan NickovicOn 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:30 | T-SMRTE | Tutorial |
| 14:00 - 15:30 | T-ROS | Tutorial P11 - Palácio das Artes - Level 1 - Sala 1 |
| 14:00 - 15:30 | T-POWER | Tutorial Fundamental Concepts and Opportunities P15 - Palácio das Artes - Level 1 - Sala 5 |
| 14:00 - 15:30 | T-UAVEE | Tutorial P17 - Palácio das Artes - Level 1 - Sala 7 |
| 14:00 - 15:30 | T-OPTIM | Tutorial P13 - Palácio das Artes - Level 1 - Sala 3 |
| 14:00 - 14:40 | SmartFarming | Workshop Talk 4 - AnimalSense Project Johannes Karlsson R13 - Palácio da Bolsa - Level 1 - Sala do Presidente |
| 14:00 - 14:40 | CySWater | Workshop Invited Talk Demetrios Eliades, CEO Phoebe Research and Innovation Ltd C02 - Hotel Carris - Level -1 - Sala Soares dos Reis |
| 14:00 - 15:30 | EITEC | Workshop 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:20 | SCAV | Workshop Session 2 - Failure Analysis and Tolerance, and Safety Argumentation Robust Safety for Autonomous Vehicles through Reconfigurable Networking. Identification of Risk Significant Automotive Scenarios Under Hardware Failures R14 - Palácio da Bolsa - Level 1 - Sala Dourada |
| 14:00 - 15:30 | T-MILP | Tutorial P16 - Palácio das Artes - Level 1 - Sala 6 |
| 14:00 - 15:30 | SCOPE | Workshop 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:30 | DARS | Workshop Keynote + SessionSession chair: Alexey BakhirkinKeynote Talk:Robust to Dynamics Optimization. Amir Ali AhmadiA CEGAR Approach for Hybrid Systems Reachability Analysis. Stefan Schupp and Erika Abraham R22 - Palácio da Bolsa - Level 2 - Sala Minho |
| 14:00 - 15:30 | MT-CPS | Workshop 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:30 | CySWater | Workshop 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:15 | CPSBench | Workshop 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:00 | MCPS | Workshop Session 2Session Chair: Philip AsareRePulmo: 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:30 | F1/10 | F1/10 Competition Trials R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 14:40 - 15:05 | SmartFarming | Workshop 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:50 | SmartFarming | Workshop Panel Discussion R13 - Palácio da Bolsa - Level 1 - Sala do Presidente |
| 15:30 - 16:00 | Coffee Break | |
| 15:45 - 16:30 | CPS-INTL | Workshop 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:40 | MSCPES | Workshop 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:15 | CySWater | Workshop Panel Discussion + Concluding Remarks C02 - Hotel Carris - Level -1 - Sala Soares dos Reis |
| 16:00 - 16:15 | EITEC | Workshop Closing R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
| 16:00 - 16:40 | SCAV | Workshop 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. R14 - Palácio da Bolsa - Level 1 - Sala Dourada |
| 16:00 - 17:00 | F1/10 | F1/10 Competition Trials R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 16:00 - 17:30 | CPS-SR | Workshop Paper Session IIISession Chair: Chair: Paul SmithFormal 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:30 | T-SMRTE | Tutorial |
| 16:00 - 17:30 | T-ROS | Tutorial P11 - Palácio das Artes - Level 1 - Sala 1 |
| 16:00 - 17:30 | T-POWER | Tutorial Challenges and Solutions P15 - Palácio das Artes - Level 1 - Sala 5 |
| 16:00 - 17:30 | T-UAVEE | Tutorial P17 - Palácio das Artes - Level 1 - Sala 7 |
| 16:00 - 17:30 | T-OPTIM | Tutorial P13 - Palácio das Artes - Level 1 - Sala 3 |
| 15:45 - 17:45 | CPSBench | Workshop 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:25 | DARS | Workshop SessionSession chair: Pavithra PrabhakarProbabilistic Bounded Reachability for Stochastic Hybrid Systems. Fedor Shmarov DiscussionR22 - Palácio da Bolsa - Level 2 - Sala Minho |
| 16:00 - 17:30 | T-MILP | Tutorial P16 - Palácio das Artes - Level 1 - Sala 6 |
| 16:00 - 17:30 | MT-CPS | Workshop 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:30 | CPS-INTL | Workshop 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:30 | MCPS | Workshop Panel DiscussionSession Chair: Paolo MasciR16 - Palácio da Bolsa - Level 1 - Sala dos Retratos |
| 16:40 - 17:30 | SCAV | Workshop Discussion + Demos + Closing R14 - Palácio da Bolsa - Level 1 - Sala Dourada |
| 16:40 - 17:00 | MSCPES | Workshop Closing Session C11 - Hotel Carris - Level 0 - Sala Nomadik |
| 17:25 - 17:30 | DARS | Closing Remarks R22 - Palácio da Bolsa - Level 2 - Sala Minho |
| 17:30 - 18:30 | CPS-INTL | Workshop 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:40 | CPS-INTL | Workshop 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:30 | CPS Week Workshop/Tutorial Cocktail Dînatoire Palácio da Bolsa |