1. Home
  2. Proceedings
  3. ICCPS
  4. ICCPS 2014
Default Cover Image

2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

April 14 2014 to April 17 2014

Berlin, Germany

Table of Contents

Table of contentsFreely available from IEEE.pp. i-iv
Message from general co-chairs and program co-chairsFreely available from IEEE.pp. v-xvi
STIP: Spatio-temporal intersection protocols for autonomous vehiclesFull-text access may be available. Sign in or learn about subscription options.pp. 1-12
by Reza Azimi, Gaurav Bhatia, Ragunathan Raj Rajkumar, Priyantha Mudalige
Model-IQ: Uncertainty propagation from sensing to modeling and control in buildingsFull-text access may be available. Sign in or learn about subscription options.pp. 13-24
by Madhur Behl, Truong X. Nghiem, Rahul Mangharam
Synthesis and verification of motor-transmission shift controller for electric vehiclesFull-text access may be available. Sign in or learn about subscription options.pp. 25-35
by Hongxu Chen, Sayan Mitra
Freeway traffic control from linear temporal logic specificationsFull-text access may be available. Sign in or learn about subscription options.pp. 36-47
by Samuel Coogan, Murat Arcak
Opportunistic scheduling of control tasks over shared wireless channelsFull-text access may be available. Sign in or learn about subscription options.pp. 48-59
by Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas
Reconfiguration-assisted charging in large-scale Lithium-ion battery systemsFull-text access may be available. Sign in or learn about subscription options.pp. 60-71
by Liang He, Linghe Kong, Siyu Lin, Shaodong Ying, Yu Gu, Tian He, Cong Liu
Real-time battery thermal management for electric vehiclesFull-text access may be available. Sign in or learn about subscription options.pp. 72-83
by Eugene Kim, Kang G. Shin, Jinkyu Lee
Style-based abstractions for human motion classificationFull-text access may be available. Sign in or learn about subscription options.pp. 84-91
by Amy LaViers, Magnus Egerstedt
Real-time privacy-preserving model-based estimation of traffic flowsFull-text access may be available. Sign in or learn about subscription options.pp. 92-102
by Jerome Le Ny, Ahmed Touati, George J. Pappas
A low-power architecture for high frequency sensor acquisition in many-DOF UAVsFull-text access may be available. Sign in or learn about subscription options.pp. 103-114
by Renato Mancuso, Or D. Dantsker, Marco Caccamo, Michael S. Selig
Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systemsFull-text access may be available. Sign in or learn about subscription options.pp. 115-126
by Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister
DepSys: Dependency aware integration of cyber-physical systems for smart homesFull-text access may be available. Sign in or learn about subscription options.pp. 127-138
by Sirajum Munir, John A. Stankovic
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safetyFull-text access may be available. Sign in or learn about subscription options.pp. 139-150
by Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, Insup Lee
Safety-assured collaborative load management in smart gridsFull-text access may be available. Sign in or learn about subscription options.pp. 151-162
by Hoang Hai Nguyen, Rui Tan, David K. Y. Yau
Robustness of attack-resilient state estimatorsFull-text access may be available. Sign in or learn about subscription options.pp. 163-174
by Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas
A formal model for verifying the impact of stealthy attacks on optimal power flow in power gridsFull-text access may be available. Sign in or learn about subscription options.pp. 175-186
by Mohammad Ashiqur Rahman, Ehab Al-Shaer, Rajesh G. Kavasseri
Supervisor synthesis in model-based automotive systems engineeringFull-text access may be available. Sign in or learn about subscription options.pp. 187-198
by Joanna M. van de Mortel-Fronczak, Rudolf G. M. Huisman, Martin H. R. van der Heijden, Michel A. Reniers
Human-inspired multi-contact locomotion with AMBER2Full-text access may be available. Sign in or learn about subscription options.pp. 199-210
by Hui-Hua Zhao, Wen-Loong Ma, Aaron D. Ames, Michael B. Zeagler
WiP abstract: Conformance testing as falsification for cyber-physical systemsFull-text access may be available. Sign in or learn about subscription options.pp. 211-211
by Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
WiP abstract: Optimal multi-agent path planning for fast inverse modeling in UAV-based flood sensing applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 212-212
by Mohamed Abdelkader, Mohammad Shaqura, Mehdi Ghommem
WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systemsFull-text access may be available. Sign in or learn about subscription options.pp. 213-213
by Markus Becker, Christoph Kuznik, Wolfgang Mueller
Demo abstract: ROSLab — A modular programming environment for robotic applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 214-214
by Nicola Bezzo, Junkil Park, Andrew King, Peter Gebhard, Radoslav Ivanov, Insup Lee
WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 215-215
by Peng Deng, Anastasios Mourikis, Qi Zhu, Xue Liu, Abhijit Davare, Marco Di Natale
Poster abstract: Cyborg-insect networks for mapping of unknown environmentsFull-text access may be available. Sign in or learn about subscription options.pp. 216-216
by Alireza Dirafzoon, Joseph Bethhauser, Jeff Schornick, Jeremy Cole, Alper Bozkurt, Edgar Lobaton
WiP abstract: Model based design for the real-time solution of inverse problems in cyber-physical systemsFull-text access may be available. Sign in or learn about subscription options.pp. 217-217
by Matthew Harker, Christoph Gugg, Paul O'Leary
WiP abstract: Supply-demand planning method in cooperation with factory production schedule aimed at the realization of Symbiosis-autonomous decentralized systemFull-text access may be available. Sign in or learn about subscription options.pp. 218-218
by Ikemoto Yu, Iijima Koichiro, Fukumoto Takashi, Yoshioka Masahiro
WiP abstract: Can cyber-physical systems be predictable? Inferring cyber-workloads from physical attributesFull-text access may be available. Sign in or learn about subscription options.pp. 219-219
by Junsung Kim, Young-Woo Seo, Hyoseung Kim, Ragunathan Raj Rajkumar
Poster abstract: Distributed coordination of sub-systems power-modes and software-modesFull-text access may be available. Sign in or learn about subscription options.pp. 220-220
by Maxime Louvel, Anca Molnos, Julien Mottin, Francois Pacull, Tiana Rakotovao
OpenICE: An open, interoperable platform for medical cyber-physical systemsFreely available from IEEE.pp. 221-221
by Jeffrey Plourde, David Arney, Julian M. Goldman
Demo abstract: Demonstrating cyber-attacks impact on cyber-physical simulated environmentFull-text access may be available. Sign in or learn about subscription options.pp. 222-222
by Yannis Soupionis, Thierry Benoist
WiP abstract: Reception probability model for vehicular ad-hoc networks in the vicinity of intersectionsFull-text access may be available. Sign in or learn about subscription options.pp. 223-223
by Erik Steinmetz, Matthias Wildemeersch, Henk Wymeersch
WiP abstract: A framework on profiling cross-domain noise propagation in control CPSFull-text access may be available. Sign in or learn about subscription options.pp. 224-224
by Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng
WiP abstract: A treatment coordination protocol for cyber-physical-human medical systemsFull-text access may be available. Sign in or learn about subscription options.pp. 226-226
by Po-Liang Wu, Dhashrath Raguraman, Lui Sha, Richard B. Berlin, Julian M. Goldman
WiP abstract: System-level integration of mobile multi-modal multi-sensor systemsFull-text access may be available. Sign in or learn about subscription options.pp. 227-227
by Jiaxing Zhang, Hanjiao Qiu, Salar Shahini Shamsabadi, Ralf Birken, Gunar Schirner
WiP abstract: BraceForce: Software engineering support for sensing in CPS applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 228-228
by Xi Zheng, Dewayne E. Perry, Christine Julien
Author indexFreely available from IEEE.pp. 229-230
Showing 38 out of 38