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
R17 - Palácio da Bolsa - Level 1 - Salão Árabe
Palácio da BolsaArabian Room - R17 (Level 1)
R. de Ferreira Borges, 4050-253 Porto
Conferences April 11/12/13:
The Arabian room is Porto's most important hall for official acts and also stage for hundreds of concerts and many prestigious solemnities that very much honour the name Portugal and project it worldwide.
www.palaciodabolsa.com
April 10
see all CPS Week events for this day
09:00 - 09:15 | CPS-INTL | Workshop Session I - Opening Remarks Seta Bogosyan, David Corman, Ralph Wachter (National Science Foundation, USA) |
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 |
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&A |
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 |
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&A |
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 |
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] |
17:30 - 18:30 | CPS-INTL | Workshop Session VIII - Brainstorming and Next StepsModerator: Seta Bogosyan (National Science Foundation, USA) |
18:30 - 18:40 | CPS-INTL | Workshop Wrap-UpSeta Bogosyan, Ralph Wachter (National Science Foundation, USA), Frankie King (Vanderbilt University, USA) |
April 11
see all CPS Week events for this day
10:30 - 12:30 | ICCPS | 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 |
13:00 - 13:50 | F1/10 | F1/10 Competition Tutorial How to BUILD the F1/10 autonomous car? |
14:00 - 15:30 | ICCPS | 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 |
16:00 - 17:30 | ICCPS | 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 |
April 12
see all CPS Week events for this day
10:30 - 12:30 | HSCC | Session 4 - Stabilization and Control DesignSession Chair: Jim KapinskiStabilizing switched nonlinear systems under restricted switching. Atreyee Kundu Lyapunov Design for Event-Triggered Exponential Stabilization. Anton Proskurnikov and Manuel Mazo Jr Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. Kyle Hsu, Rupak Majumdar, Kaushik Mallik and Anne-Kathrin Schmuck (T) ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. Yinan Li and Jun Liu |
13:00 - 13:50 | F1/10 | F1/10 Competition Tutorial How to DRIVE the F1/10 autonomous car? |
14:00 - 15:00 | HSCC | HSCC Keynote - Compositional Synthesis for Symbolic Control Antoine Girard Symbolic control aims at designing "correct by construction" controllers for continuous dynamical systems, by using algorithmic discrete synthesis techniques. The key concept in symbolic control is that of symbolic model (also called finite abstraction), which is a finite-state dynamical system, obtained by abstracting continuous trajectories over a finite set of symbols. When the symbolic and the continuous dynamics are formally related by some behavioral relationship (e.g. simulation or bisimulation relations), controllers synthesized for the symbolic model using discrete synthesis techniques can be refined to certified controllers for the original continuous system. Computation of finite abstractions is often based on discretization of the state and input spaces and therefore the symbolic control approach suffers from scalability issues. However, the design of large systems can still be tackled by means of compositional techniques. In this talk, we will present some recent results on compositional synthesis in the symbolic control approach. Firstly, we will present an approach to compute abstractions of systems made of several, possibly overlapping components. Secondly, we will show how to synthesize decentralized (and possibly asynchronous) controllers for invariance properties, by combining these overlapping abstractions and assume-guarantee contracts. In the last part of the talk, motivated by the use of parametric assume-guarantee contracts for stability properties, we will show recent developments on abstraction-based quantitative synthesis. |
15:00 - 15:30 | HSCC | Session 5 - Compositional MethodsSession Chair: Jyotirmoy Vinay DeshmukhConstructing Control System Abstractions from Modular Components. Eric Kim, Murat Arcak and Majid Zamani |
16:00 - 17:00 | HSCC | Session 6 - Data-driven DesignSession Chair: Ashutosh TrivediFormal Guarantees in Data-Driven Model Identification and Control Synthesis. Sadra Sadraddini and Calin Belta From Uncertainty Data to Robust Policies for Temporal Logic Planning. Pier Giuseppe Sessa, Damian Frick, Tony A. Wood and Maryam Kamgarpour |
17:10 - 18:30 | ICCPS | 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 |
17:10 - 18:30 | HSCC | Joint Session with ICCPS - 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 |
April 13
see all CPS Week events for this day
10:30 - 12:30 | RTAS | Session 7 - Models, Synthesis and AnalysisSession Chair: Linh Thi Xuan Phan, University of Pennsylvania, USATimed C: An Extension to the C Programming Language for Real-Time Systems. Saranya Natarajan and David Broman Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm. Alessandro Biondi and Marco Di Natale Mining Task Precedence Graphs from Real-Time Embedded System Traces. Oleg Iegorov and Sebastian Fischmeister Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi and Wang Yi |
13:00 - 13:50 | F1/10 | F1/10 Competition Tutorial How to RACE the F1/10 autonomous car? |
14:00 - 15:30 | RTAS | Session 8 - SchedulingSession Chair: Hyoseung Kim, University of California Riverside, USAFIFO with Offsets: High Schedulability with Low Overheads. Mitra Nasri, Robert Davis and Björn Brandenburg The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority. Yecheng Zhao and Haibo Zeng Firmness analysis of real-time applications under static-priority preemption scheduling. Amir Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara and Martijn Hendriks |
16:00 - 17:30 | RTAS | Session 9 - Cyber-Physical SystemsSession Chair: David Broman, KTH, SwedenA Clockless Synchronisation Framework for Cooperating Mobile Robots. Luis Oliveira, Luís Almeida and Daniel Mosse A Real-Time and Non-Cooperative Task Allocation Framework for Social Sensing Applications in Edge Computing Systems. Daniel (Yue) Zhang, Yue Ma, Yang Zhang, Suwen Lin, X. Sharon Hu and Dong Wang Closing the Gap between Stability and Schedulability: A New Task Model for Cyber-Physical Systems. Hoon Sung Chwa, Kang Shin and Jinkyu Lee |