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 13
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 | 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 R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
10:30 - 12:30 | HSCC | Session 7 - Temporal Logic and its AplicationsSession Chair: Necmiye OzaySpecifying Timed Patterns using Temporal Logic. Dogan Ulus and Oded Maler Efficient Parametric Identification for STL. Alexey Bakhirkin, Thomas Ferrère and Oded Maler Parameter Invariant Monitoring for Signal Temporal Logic. Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky and Insup Lee Localizing Faults in Simulink/Stateflow Models with STL. Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath and Dejan Nickovic R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
10:30 - 12:30 | ICCPS | 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 |
10:30 - 12:30 | IPSN | Session 7 - Localization and TrackingSession Chair: Shahriar NirjonSlocalization: Sub-muW, Static, Decimeter-Accurate Localization with Ultra Wideband Backscatter. Pat Pannuto, Benjamin Kempke, Prabal Dutta. Magnitude-Based Angle-of-Arrival Estimation, Localization, and Target Tracking. Chitra R. Karanam, Belal Korany, Yasamin Mostofi (Short Paper) Data Fusion for Hybrid and Autonomous Time-of-Flight Positioning. Aymen Fakhreddine, Domenico Giustiniano, Vincent Lenders (Short Paper) Nanosecond-precision Time-of-Arrival Estimation for Aircraft Signals with low-cost SDR Receivers. Roberto Calvo-Palomino, Fabio Ricciato, Blaz Repas, Domenico Giustiniano, Vincent Lenders Enhancing Indoor Smartphone Location Acquisition using Floor Plans. Niranjini Rajagopal, Patrick Lazik, Nuno Pereira, Sindhura Chayapathy, Bruno Sinopoli, Anthony Rowe Orientation-aware RFID Tracking with Centimeter-level Accuracy. Chengkun Jiang, Yuan He, Xiaolong Zheng, Yunhao Liu R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações | |
13:00 - 13:50 | F1/10 | F1/10 Competition Tutorial How to RACE the F1/10 autonomous car? R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
14:00 - 15:00 | CPS.Edu | Panel Henrique Madeira Jorge Sousa Pinto António Pedro Aguiar Pedro Santos Matthias Renninger R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
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 R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
14:00 - 15:30 | HSCC | Session 8 - Algorithms and FoundationsSession Chair: Maria PrandiniAlgorithms for exact and approximate linear abstractions of polynomial continuous systems. Michele Boreale State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. Hussein Sibai and Sayan Mitra Improving validated computation of Viability Kernels. Benjamin Martin and Olivier Mullier R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
14:00 - 15:30 | ICCPS | 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:00 - 15:30 | CPS.Edu | Poster Madness Dynamic Hierarchical Bandwidth Reservations for Switched Ethernet. Zahid Iqbal Aerial Multi-hop Sensor Networks. Luis Pinto An Overlay TDMA Protocol for Vehicles Platooning. Aqsa Aslam Characterizing Low-Power WiFi Modules for IoT Applications. Diana Guimarães Mitigating Effects of NLOS Propagation in MDS-Based Positioning. Moses Koledoye A Highly Reconfigurable Component Framework as an Enabler for CPSS. Luis Neto Cooperative Path Following of Robotic Vehicles using Event based Control and Communication Strategy. R Praveen Kumar Jain Extending OpenFlow with Industrial Grade Communication Services. Luis Silva The human in the loop in CPSs: the building automation case. Joao Cambeiro XDense: A Dense Grid Sensor Network for Distributed Feature Extraction. João Loureiro An efficient approach to multisuperframe tuning for DSME networks. John Harrison Kurunathan Towards Timing Analysis of Multi-core Platforms for Hard Real-Time Systems. Aftab Rashid Towards predictable and intelligent real-time IoT applications. Mubarak Ojewale Bringing Context-awareness to wireless sensor networks. Shashank Gaur Scheduling Parallel Real-Time Tasks in Multiprocessor Platforms. Cláudio Maia R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 | |
15:30 - 17:30 | CPS.Edu | Poster Session + Coffee R10 - Palácio da Bolsa - Level 1 |
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 R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
16:00 - 17:30 | HSCC | Session 9 - Modeling and VerificationSession Chair: Dejan NickovicModeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach. Li Jin, Mladen Cicic, Saurabh Amin and Karl Johansson (T) Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter Mosterman and Fu Zhang (T) DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. Lennon Chaves, Iury Bessa, Lucas Cordeiro and Daniel Kroening (T) AVERIST: Algorithmic Verifier for Stability of Linear Hybrid Systems. Miriam García Soto and Pavithra Prabhakar R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
17:30 - 18:00 | HSCC | HSCC business meeting, announcements about next HSCC R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
18:00 - 18:15 | CPS Week Farewell R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |