ICCPS 2014 April 14, 2014 to April 17, 2014, Berlin,Germany

Event Page

Tell us about missing data
Title Speakers Summary Topic Types
Reconfiguration-Assisted Charging in Large-Scale Lithium-ion Battery Systems Liang He , Linghe Kong , Siyu Lin , Shaodong Ying , Yu Gu , Tian He , Cong Liu. N/A
Low-Power Architecture for High Frequency Sensor Acquisition in Many-DOF UAVs Renato Mancuso , Or Dantsker , Marco Caccamo , Michael Selig. A N/A
Real-Time Battery Thermal Management for Electric Vehicles Eugene Kim , Jinkyu Lee , Kang G. Shin. N/A
Synthesis and Verification of Motor- Transmission Shift Controller for Electric Vehicles Hongxu Chen , Sayan Mitra. N/A
Keynote Alex Bayen , Michael Branicky N/A
Let’s Get Physical: Adding Physical Dimensions to Cyber Systems Alberto Sangiovanni Vincentelli N/A
Transportation CPS George Pappas N/A
STIP: Spatio-Temporal Intersection Protocols for Autonomous Vehicles Reza Azimi , Gaurav Bhatia , Ragunathan Rajkumar. N/A
Supervisor Synthesis in Model-Based Automotive Systems Engineering Joanna Mortel-fronczak , Martin Heijden , Rudolfg.m. Huisman , Michel Reniers. N/A
Freeway Traffic Control fromLinear Temporal Logic Specifications Samuel Coogan , Murat Arcak. N/A
Real-TimePrivacy-Preserving Model-Based Estimation of Traffic Flows Jerome Le Ny , Ahmed Touati , George Pappas. N/A
Best Paper Award Finalists session - Alex Bayen , Michael Branicky N/A
DepSys: Dependency AwareIntegration of Cyber-Physical Systems for Smart Homes Sirajum Munir , John A. Stankovic. N/A
Opportunistic Scheduling of Control Tasks Over SharedWireless Channels Konstantinos Gatsis , Miroslav Pajic , Alejandro Ribeiro , Georgepappas. N/A
Robustness of Attack-resilient State Estimators Insup Lee , Miroslav Pajic , James Weimer , Nicola Bezzo , Paulo Tabuada , Olegsokolsky , George J. Pappas. N/A
Human-Inspired Multi-Contact Locomotion with AMBER2 Huihua Zhao , Wenlong Ma , Michael Zeagler , Aaron Ames. N/A
Cooperative cyber-physical systems with human in the loop Ruzena Bajcsy N/A
Energy and networks CPS - Miroslav Pajic N/A
Safety-Assured Collaborative Load Management in Smart Grids Hoang Hai Nguyen , Rui Tan , David Yau. N/A
A Formal Model of the Impact of Stealthy Attacks on Optimal Power Flow in Power Grids Mohammad shahriar Rahman , Ehab Al-shaer , Rajesh Kavasseri. N/A
Model-IQ: Uncertainty Propagation from Sensing to Modeling and Control in Buildings Madhur Behl , Truong Nghiem , Rahul Mangharam. N/A
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety Oleg Sokolsky , Anitha Murugesan , Sanjai Rayadurgam , Michael Whalen , Mats Heimdahl , Insup Lee. N/A
Style-based Abstractions for Human Motion Classification Amy Laviers , Magnus Egerstedt. N/A
Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems Ramy Medhat , Deepak Kumar , Borzoo Bonakdarpour , Sebastian Fischmeister. N/A
CPS Security Panel (60 minutes) Matt Scholl , David Corman , Daniel Massey , Patricia Muoio , Neil Mitchison , George J. Pappas N/A