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
R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem
Stock Exchange Palace - R21 (Level 2)R. de Ferreira Borges, 4050-253 PortoThe Palácio da Bolsa (Stock Exchange Palace) is a historical building in Porto, Portugal. The palace was built in the 19th century by the city's Commercial Association (Associação Comercial) in Neoclassical style. It is located in the Infante D. Henrique Square in the historical centre of Porto, designated World Heritage Site by UNESCO.
The Palace is located beside the St Francis Church of Porto, which was once part of the St Francis Convent, founded in the 13th century. In 1832, during the Liberal Wars, a fire destroyed the cloisters of the convent, sparing the church. In 1841, Queen Mary II donated the convent ruins to the merchants of the city, who decided to use the spot to build the seat of the Commercial Association.
Building work began in 1842 following the plans of Porto architect Joaquim da Costa Lima Júnior, who designed a Neoclassical palace of Palladian influence, inspired by previous structures built in the city. Most of the palace was finished by 1850, but the decoration of the interior was only completed in 1910 and involved several different artists.
Wikipedia
April 10
see all CPS Week events for this day
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. |
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 |
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 |
16:00 - 16:15 | EITEC | Workshop Closing |
April 11
see all CPS Week events for this day
10:30 - 12:30 | HSCC | Session 1 - Stochastic SystemsSession Chair: Pavithra PrabhakarOpening RemarksSession Papers:Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. Abraham P. Vinod and Meeko M. K. Oishi Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. Fabio Somenzi, Behrouz Touri and Ashutosh Trivedi From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. Abolfazl Lavaei, Sadegh Soudjani and Majid Zamani Bisimulations, logics, and trace distributions for stochastic systems with rewards. Daniel Gburek and Christel Baier |
14:00 - 15:30 | HSCC | Session 2 - ReachabilitySession Chair: Sayan MitraReach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling and Frédéric Viry Under-Approximating Reach Sets for Polynomial Continuous Systems. Bai Xue, Martin Fränzle and Naijun Zhan Accurate reachability analysis of uncertain nonlinear systems. Matthias Rungger and Majid Zamani |
16:00 - 17:30 | HSCC | Session 3 - Timed SystemsSession Chair: Vinayak PrabhuClock Allocation in Timed Automata and Graph Colouring. Neda Saeedloei and Feliks Kluzniak Model Checking Bounded Continuous-time Extended Linear Duration Invariants. Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang and Yi Wang A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing. Maximilian Gaukler, Andreas Michalka, Peter Ulbrich and Tobias Klaus |
April 12
see all CPS Week events for this day
10:30 - 12:30 | RTAS | Session 4 - Multi-mode and mixed-critical SystemsSession Chair: Bjorn Andersson, Carnegie Mellon University, USASafeMC: A system for the design and evaluation of mode change protocols. Tianyang Chen and Linh Thi Xuan Phan Multi-Mode Virtualization for Soft Real-Time Systems. Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Chris Gill, Linh Thi Xuan Phan, Insup Lee and Oleg Sokolsky Physical-State-Aware Dynamic Slack Management for Mixed-Criticality Systems. Hoon Sung Chwa, Kang Shin, Hyeongboo Baek and Jinkyu Lee Mixed Criticality Systems with Varying Context Switch Costs. Robert Davis, Sebastian Altmeyer and Alan Burns |
14:00 - 15:30 | RTAS | Session 5 - Resource SharingSession Chair: Sibin Mohan, University of Illinois at Urbana-Champaign, USAScalable Memory Reclamation for Multi-Core, Real-Time Systems. Yuxin Ren, Guyue Liu, Gabriel Parmer and Björn Brandenburg Shared-Resource-Centric Limited Preemptive Scheduling: A Comprehensive Study of Suspension-base Partitioning Approaches. Zheng Dong, Cong Liu, Soroush Bateni, Kuan-Hsun Chen, Jian-Jia Chen, Georg von der Brüggen and Junjie Shi Analytical Enhancements and Practical Insights for MPCP with Self-Suspensions. Pratyush Patel, Iljoo Baek, Hyoseung Kim and Ragunathan (Raj) Rajkumar |
16:00 - 17:30 | RTAS | Session 6 - GPUSession Chair: Marko Bertogna, University of Modena, ItalyS^3DNN: Supervised Streaming and Scheduling for GPU-accelerated Real-Time DNN Workloads. Husheng Zhou, Soroush Bateni and Cong Liu A GPU Kernel Transactionization Scheme for Preemptive Priority Scheduling. Hyeonsu Lee, Jaehun Roh and Euiseong Seo MERLOT: Architectural Support for Energy-Efficient Real-time Processing in GPUs. Muhammad Santriaji and Henry Hoffmann |
17:30 - 17:45 | RTAS | Award Ceremony |
April 13
see all CPS Week events for this day
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 |
14:00 - 15:00 | CPS.Edu | Panel Henrique Madeira Jorge Sousa Pinto António Pedro Aguiar Pedro Santos Matthias Renninger |
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 |