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
ICCPS
9th ACM/IEEE International Conference on Cyber-Physical Systems
official website
CPS Week 2018 Conferences:
RTAS ‧ HSCC ‧ IPSN ‧ ICCPS
Other CPS Week 2018 Events:
Workshops ‧ Tutorials ‧ Competitions...
April 11
see all CPS Week events for this day
8:00 - 09:00 | Registration Palácio da Bolsa |
09:00 - 10:00 | CPS Week Keynote How Can We Rely on Cyber-Physical Systems with Thousands of Software Bugs? Henrique Madeira, University of Coimbra Cyber-physical systems (CPS) are made of software. Lots of it. Small embedded devices may easily reach millions of lines of code. Large scale CPS have billions. Even using the most skeptic bug density estimations for deployed software, there is no escape from the conclusion that most CPS have many thousands of residual bugs. Unfortunately, no one knows exactly where they are in the code, when they will reveal themselves, and, above all, what the consequences of their activation can be. In CPS with demanding safety requirements or exposed to security attacks (which may exploit residual bugs that may also represent security vulnerabilities), residual bugs represent a serious risk. Worse than that, it is not easy to estimate such risk. Hence, paraphrasing a famous Jim Gray's question: Why are residual software bugs a serious threat to CPS and what can be done about it? Attempting to answer this question, the talk provides field data illustrating some key problems, surveys software reliability limits, discusses why it is not trivial to use classic fault tolerance techniques in many CPS, and proposes some futuristic scenarios that may help deal with the residual software bug problem. R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
10:00 - 10:30 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
10:30 - 12:30 | Session 1 - CPS SecuritySession Chair: Peng ChengSAT-based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems. Omar Inverso, Alberto Bemporad and Mirco Tribastone Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems. Fardin Abdi Taghi Abad, Chien-Ying Chen, Monowar Hassan, Songran Liu, Sibin Mohan and Marco Caccamo Cyber-Physical System Checkpointing and Recovery. Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky and Insup Lee Cloaking the Clock: Emulating Clock Skew in Controller Area Networks. Sang Uk Sagong, Xuhang Ying, Andrew Clark, Linda Bushnell and Radha Poovendran Sybil-Attack Resilient Traffic Networks: A Physics-Based Trust Propagation Approach. Yasser Shoukry, Shaunak Mishra, Zutian Luo and Suhas Diggavi R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
14:00 - 15:30 | Session 2 - Smart Cities and Smart TransportationSession Chair: Qi ZhuCityResolver: A Decision Support System for Conflict Resolution in Smart Cities. Meiyi Ma, John Stankovic and Lu Feng Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events. Yukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian He, George Pappas and Shan Lin Impact Driven Sensor Placement for Leak Detection in Community Water Networks. Praveen Venkateswaran, Qing Han, Ronald Eguchi and Nalini Venkatasubramanian SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems. Matthew Potok, Chien-Ying Chen, Sayan Mitra and Sibin Mohan R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
16:00 - 17:30 | Session 3 - Work-in-Progress/Demo AbstractsSession Chair: Xuhang YingCooperative Key Generation for Data Dissemination in Cyber-Physical Systems. Kai Li, Harrison Kurunathan, Ricardo Severino and Eduardo Tovar Underwater AUV Localization with Refraction Consideration. Jiajun Shen, Xueli Fan, Qixin Wang Toward a Green and Secure Architecture for Reconfigurable IoT End-Devices. D. Oliveira, T. Gomes, and S. Pinto SOH aware Battery Management Optimization on Decentralized Energy Network. Daichi Watari, Ittetsu Taniguchi, and Takao Onoye KRS-DGIST: A Resilient CPS Testbed for Radio-Based Train Control. Yuchang Won, Buyeon Yu, Jaegeun Park, In-Hee Park, Haegeon Jeong, Jeanseong Baik, Kyungtae Kang, Insup Lee, Kyung-Joon Park, and Yongsoon Eun ROS-based Support System for Supervision of Multiple UAVs by a Single Operator. Hiroki Hayakawa, Takuya Azumi, Akinori Sakaguchi, Toshimitsu Ushio Demo Abstract: An Industrial Control System Testbed for the Encrypted Controller. Xing Li, Mengxiang Liu, Rui Zhang, Peng Cheng, Jiming Chen Secure Estimation Using Partially Homomorphic Encrypted Industrial Cyber-Physical Systems Data. Zhenyong Zhang, Junfeng Wu, David Yau, Peng Cheng, Jiming Chen CognitiveEMS: A Cognitive Assistant System for Emergency Medical Devices. Sarah Preum, Sile Shu, Jonathan Ting, Vincent Lin, Ronald Williams, John Stankovic, Homa Alemzadeh Learning-Based Control Design for Deep Brain Stimulation. Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Vuk Lesi, Aditya Zutshi, Warren Grill, Miroslav Pajic Predicting Malicious Intention in CPS under Cyber-Attack. Nicola Bezzo Cyber-Physical Systems Virtual Organization: Active Resources. Janos Sztipanovits, Matthew Banting, Vijay Kumar, Paulo Tabuada Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO. Anna Lukina, Arjun Kumar, Matt Schmittle, Abhijeet Singh, Jnaneshwar Das, Stephen Rees, Christopher P. Buskirk, Janos Sztipanovits, Radu Grosu, Vijay Kumar R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
17:00 - 19:30 | CPS Week Poster/Demo, Reception Palácio da Bolsa |
19:30 - 21:30 | CPS Week Fringe Event Mercado Ferreira Borges - Hard Club Mercado Ferreira Borges |
20:00 - 22:00 | CPS Week TPC Dinner Mercado Ferreira Borges - Mercado Mercado Ferreira Borges |
April 12
see all CPS Week events for this day
8:00 - 09:00 | Registration Palácio da Bolsa |
09:00 - 10:00 | CPS Week Keynote Dependable Industrial Internet of Things Chenyang Lu, Washington University in St. Louis IoT-driven control underpins numerous cyber-physical systems from Industrial Internet to smart cities. In contrast to best-effort IoT often found in consumer markets, there remain daunting challenges to develop IoT systems that must not only monitor but also control physical systems in a dependable fashion. We will highlight the dependability challenges caused by communication delays, data loss and resource constraints of IoT. We will further discuss cyber-physical co-design as a fundamental approach to achieve dependability in IoT-driven control systems. R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
10:00 - 10:30 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
10:30 - 12:30 | Session 4 - Controller Design, Implementation, and ApplicationsSession Chair: Rahul MangharamTowards a Framework for Realizable Safety Critical Control through Active Set Invariance. Thomas Gurriet, Andrew Singletary, Jake Reher, Laurent Ciarletta, Eric Feron and Aaron Ames Ordering Events Based on Intentionality in Cyber-Physical Systems. Wajeb Saab, Maaz Mohiuddin, Simon Bliudze and Jean-Yves Le Boudec Co-Regulation of Computational and Physical Effectors in a Quadrotor UAS. Xinkai Zhang, Seth Doebbeling and Justin Bradley OpenUAV: A UAV Testbed for the CPS and Robotics Community. Matt Schmittle, Anna Lukina, Lukas Vacek, Jnaneshwar Das, Christopher P. Buskirk, Stephen Rees, Janos Sztipanovits, Radu Grosu and Vijay Kumar Learning and Control using Gaussian Processes. Achin Jain, Truong Nghiem, Manfred Morari and Rahul Mangharam R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
14:00 - 15:30 | Session 5 - Synthesis and VerificationSession Chair: Justin BradleyEfficient Verification for Stochastic Mixed Monotone Systems. Maxence Dutreix and Samuel Coogan Distributed Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks. Yiannis Kantaros and Michael Zavlanos Receding Horizon Multi-Robot Coverage. Sankar Narayan Das and Indranil Saha Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives. Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye and Rahul Mangharam R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
16:00 - 17:00 | Session 6 - OptimizationSession Chair: Indranil SahaThe Impact of Packet Dropouts on the Reachability Energy. A. Sanand Amita Dilip, Nikolaos Athanasopoulos and Raphael Jungers Sound Mixed-Precision Optimization with Rewriting. Eva Darulova, Einar Horn and Saksham Sharma Parameter Optimization in Control Software using Statistical Fault Localization Techniques. Jyotirmoy Deshmukh, Xiaoqing Jin, Rupak Majumdar and Vinayak Prabhu R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
17:10 - 18:30 | Joint Session with HSCC - What are the challenges posed to CPS theory by Modern Applications?SpeakersFrank Allgöwer James Kapinski Jens Oehlerking Patrick Panciatici Akshay Rajhans João Tasso de Figueiredo Borges de Sousa ModeratorsMaria Prandini Paulo Tabuada R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
19:30 - 22:00 | CPS Week Banquet Caves Ferreirinha |
April 13
see all CPS Week events for this day
8:00 - 09:00 | Registration Palácio da Bolsa |
09:00 - 10:00 | CPS Week Keynote From Rags to Riches - Distributed Economic Model Predictive Control in Industry 4.0 Frank Allgower, University of Stuttgart During the past decades model predictive control (MPC) has become a preferred control strategy for the control of a large number of industrial processes. Systems theoretic properties of MPC, like stability and robustness, are rather well understood by now, as are computational issues in connection with the MPC implementation. With the vision of the smart factory of the future, generally termed Industry 4.0, the industrial environment, and thus the involved control tasks, are however undergoing a fundamental new orientation on the basis of the Cyber-Physical Systems and Internet of Things and Services paradigms. In the future all parts along the production chain will be equipped with embedded computing, communication and networking capabilities and are expected to interact in an optimal way towards the goal of a quality oriented, energy and resource efficient, save and reliable production process. Through decentralized optimal decision-making and an appropriate communication among the networked individual parts, the whole production process of the future is expected to operate optimally. The generation of economic value through control will step in the foreground while the stabilization of predetermined setpoints will not play the same role as it has in the past. In this presentation an introduction to the state of the art in Model Predictive Control will be given and the challenges and opportunities of Industry 4.0 for the field of control are discussed. We will in particular investigate the potential impact of Model Predictive Control (MPC) for the fourth industrial revolution and will argue that some new developments in MPC, especially connected to distributed and economic model predictive control, appear to be ideally suited to have a potential impact in the new Industry 4.0 environment. R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
10:00 - 10:30 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
10:30 - 12:30 | Session 7 - Medical ApplicationsSession Chair: Sam CooganContext-Aware Detection in Medical Cyber-Physical Systems. Radoslav Ivanov, James Weimer and Insup Lee A Data-Driven Approach to Artificial Pancreas Verification and Synthesis. Taisa Kushner, David Bortz, David Maahs and Sriram Sankaranarayanan Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models. Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren and Lui Sha Platform for Model-Based Design and Testing for Deep Brain Stimulation. Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Warren Grill and Miroslav Pajic Re-thinking EEG-based non-invasive brain interfaces: modeling and analysis. Gaurav Gupta, Sergio Pequito and Paul Bogdan R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais |
12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
14:00 - 15:30 | Session 8 - Autonomous VehiclesSession Chair: Nicola BezzoAutoware on Board: Enabling Autonomous Vehicles with Embedded Systems. Shinpei Kato, Shota Tokunaga, Yuya Maruyama, Seiya Maeda, Manato Hirabayashi, Yuki Kitsukawa, Abraham Monrroy, Tomohito Ando, Yusuke Fujii and Takuya Azumi Optimal Input Design for Affine Model Discrimination with Applications in Intention-Aware Vehicles. Yuhao Ding, Farshad Harirchi, Sze Zheng Yong, Emil Jacobsen and Necmiye Ozay CoDrive: Cooperative Driving Scheme For Vehicles in Urban Signalized Intersections. Yiran Zhao, Shuochao Yao, Huajie Shao and Tarek Abdelzaher Dynamic Intersections and Self-Driving Vehicles. Shunsuke Aoki and Raj Rajkumar R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais |
15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
18:00 - 18:15 | CPS Week Farewell R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |