The Community for Technology Leaders
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) (2014)
Berlin, Germany
April 14, 2014 to April 17, 2014
ISBN: 978-1-4799-4931-1
TABLE OF CONTENTS

Table of contents (PDF)

pp. i-iv

STIP: Spatio-temporal intersection protocols for autonomous vehicles (Abstract)

Reza Azimi , Carnegie Mellon University
Gaurav Bhatia , Carnegie Mellon University
Ragunathan Raj Rajkumar , Carnegie Mellon University
Priyantha Mudalige , General Motors Company
pp. 1-12

Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings (Abstract)

Madhur Behl , Dept. of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, USA
Truong X. Nghiem , Dept. of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, USA
Rahul Mangharam , Dept. of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, USA
pp. 13-24

Synthesis and verification of motor-transmission shift controller for electric vehicles (Abstract)

Hongxu Chen , State Key Laboratory of Automotive Safety and Energy, Tsinghua University, Beijing 10084, China
Sayan Mitra , Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA
pp. 25-35

Freeway traffic control from linear temporal logic specifications (Abstract)

Samuel Coogan , Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Berkeley, CA 94720
Murat Arcak , Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Berkeley, CA 94720
pp. 36-47

Opportunistic scheduling of control tasks over shared wireless channels (Abstract)

Konstantinos Gatsis , Department of Electrical and Systems Engineering, University of Pennsylvania, 200 S. 33rd Street, Philadelphia, PA 19104
Miroslav Pajic , Department of Electrical and Systems Engineering, University of Pennsylvania, 200 S. 33rd Street, Philadelphia, PA 19104
Alejandro Ribeiro , Department of Electrical and Systems Engineering, University of Pennsylvania, 200 S. 33rd Street, Philadelphia, PA 19104
George J. Pappas , Department of Electrical and Systems Engineering, University of Pennsylvania, 200 S. 33rd Street, Philadelphia, PA 19104
pp. 48-59

Reconfiguration-assisted charging in large-scale Lithium-ion battery systems (Abstract)

Liang He , Singapore University of Technology and Design, Singapore
Linghe Kong , Singapore University of Technology and Design, Singapore
Siyu Lin , Singapore University of Technology and Design, Singapore
Shaodong Ying , Singapore University of Technology and Design, Singapore
Yu Gu , Singapore University of Technology and Design, Singapore
Tian He , University of Minnesota, Minneapolis, MN, USA
Cong Liu , University of Texas at Dallas, Dallas, TX, USA
pp. 60-71

Real-time battery thermal management for electric vehicles (Abstract)

Eugene Kim , Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, MI, 48109-2121, U.S.A.
Kang G. Shin , Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, MI, 48109-2121, U.S.A.
Jinkyu Lee , Department of Computer Science and Engineering, Sungkyunkwan University, Suwon, Gyeonggi-Do, Republic of Korea
pp. 72-83

Style-based abstractions for human motion classification (Abstract)

Amy LaViers , University of Virginia, Systems and Information Engineering, Charlottesville, VA USA
Magnus Egerstedt , Georgia Institute of Technology, School of Electrical and Computer Engineering, Atlanta, GA USA
pp. 84-91

Real-time privacy-preserving model-based estimation of traffic flows (Abstract)

Jerome Le Ny , Department of Electrical Engineering & GERAD, Polytechnique Montréal, Montréal, QC H3T 1J4, Canada
Ahmed Touati , Department of Mathematics, ENS Cachan, 61, Av du President Wilson, 94235 Cachan, France
George J. Pappas , Department of Electrical and Systems Engineering University of Pennsylvania, 200 South 33rd Street Philadelphia, PA 19104, USA
pp. 92-102

A low-power architecture for high frequency sensor acquisition in many-DOF UAVs (Abstract)

Renato Mancuso , University of Illinois at Urbana-Champaign, USA
Or D. Dantsker , University of Illinois at Urbana-Champaign, USA
Marco Caccamo , University of Illinois at Urbana-Champaign, USA
Michael S. Selig , University of Illinois at Urbana-Champaign, USA
pp. 103-114

Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems (Abstract)

Ramy Medhat , Dept. of Elec. and Comp. Eng., University of Waterloo, Waterloo, Canada
Deepak Kumar , Dept. of Elec. and Comp. Eng., University of Waterloo, Waterloo, Canada
Borzoo Bonakdarpour , School of Computer Science, University of Waterloo, Waterloo, Canada
Sebastian Fischmeister , Dept. of Elec. and Comp. Eng., University of Waterloo, Waterloo, Canada
pp. 115-126

DepSys: Dependency aware integration of cyber-physical systems for smart homes (Abstract)

Sirajum Munir , Department of Computer Science, University of Virginia, Charlottesville, VA, USA
John A. Stankovic , Department of Computer Science, University of Virginia, Charlottesville, VA, USA
pp. 127-138

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety (Abstract)

Anitha Murugesan , Department of Computer Science and Engineering, University of Minnesota, 200 Union St., Minneapolis, MN 55455, USA
Oleg Sokolsky , Department of Computer and Information Science, University of Pennsylvania, 3330 Walnut St., Philadelphia, PA 19104, USA
Sanjai Rayadurgam , Department of Computer Science and Engineering, University of Minnesota, 200 Union St., Minneapolis, MN 55455, USA
Michael Whalen , Department of Computer Science and Engineering, University of Minnesota, 200 Union St., Minneapolis, MN 55455, USA
Mats Heimdahl , Department of Computer Science and Engineering, University of Minnesota, 200 Union St., Minneapolis, MN 55455, USA
Insup Lee , Department of Computer and Information Science, University of Pennsylvania, 3330 Walnut St., Philadelphia, PA 19104, USA
pp. 139-150

Safety-assured collaborative load management in smart grids (Abstract)

Hoang Hai Nguyen , Advanced Digital Sciences Center, Illinois at Singapore
Rui Tan , Advanced Digital Sciences Center, Illinois at Singapore
David K. Y. Yau , Advanced Digital Sciences Center, Illinois at Singapore
pp. 151-162

Robustness of attack-resilient state estimators (Abstract)

Miroslav Pajic , Dept. of Electrical & Systems Eng., University of Pennsylvania
James Weimer , Dept. of Computer & Information Sc., University of Pennsylvania
Nicola Bezzo , Dept. of Computer & Information Sc., University of Pennsylvania
Paulo Tabuada , Dept. of Electrical Eng., UCLA
Oleg Sokolsky , Dept. of Computer & Information Sc., University of Pennsylvania
Insup Lee , Dept. of Computer & Information Sc., University of Pennsylvania
George J. Pappas , Dept. of Electrical & Systems Eng., University of Pennsylvania
pp. 163-174

A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids (Abstract)

Mohammad Ashiqur Rahman , Dept. of Software and Information Systems, University of North Carolina at Charlotte, USA
Ehab Al-Shaer , Dept. of Software and Information Systems, University of North Carolina at Charlotte, USA
Rajesh G. Kavasseri , Dept. of Electrical and Computer Engineering, North Dakota State University, USA
pp. 175-186

Supervisor synthesis in model-based automotive systems engineering (Abstract)

Joanna M. van de Mortel-Fronczak , Eindhoven University of Technology, Eindhoven, The Netherlands
Rudolf G. M. Huisman , DAF Trucks, Eindhoven, The Netherlands
Martin H. R. van der Heijden , DAF Trucks, Eindhoven, The Netherlands
Michel A. Reniers , Eindhoven University of Technology, Eindhoven, The Netherlands
pp. 187-198

Human-inspired multi-contact locomotion with AMBER2 (Abstract)

Hui-Hua Zhao , Mechanical Engineering, Texas A&M University, College Station, USA
Wen-Loong Ma , Mechanical Engineering, Texas A&M University, College Station, USA
Aaron D. Ames , Mechanical Engineering, Texas A&M University, College Station, USA
Michael B. Zeagler , Mechanical Engineering, Texas A&M University, College Station, USA
pp. 199-210

WiP abstract: Conformance testing as falsification for cyber-physical systems (Abstract)

Houssam Abbas , CPS Lab, Arizona State University, Tempe, AZ, USA
Bardh Hoxha , CPS Lab, Arizona State University, Tempe, AZ, USA
Georgios Fainekos , CPS Lab, Arizona State University, Tempe, AZ, USA
Jyotirmoy V. Deshmukh , Toyota Technical Center, Gardena, CA, USA
James Kapinski , Toyota Technical Center, Gardena, CA, USA
Koichi Ueda , Toyota Technical Center, Gardena, CA, USA
pp. 211

WiP abstract: Optimal multi-agent path planning for fast inverse modeling in UAV-based flood sensing applications (Abstract)

Mohamed Abdelkader , Mechanical Engineering, KAUST, Nathan Collier Applied Mathematics, KAUST
Mohammad Shaqura , Mechanical Engineering, KAUST, Victor Calo Applied Mathematics, KAUST
Mehdi Ghommem , Applied Mathematics, KAUST, Christian Claudel Electrical Engineering, KAUST
pp. 212

WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems (Abstract)

Markus Becker , University of Paderborn/C-LAB, Paderborn, Germany
Christoph Kuznik , University of Paderborn/C-LAB, Paderborn, Germany
Wolfgang Mueller , University of Paderborn/C-LAB, Paderborn, Germany
pp. 213

Demo abstract: ROSLab — A modular programming environment for robotic applications (Abstract)

Nicola Bezzo , PRECISE Center, University of Pennsylvania, Philadelphia, PA 19104
Junkil Park , PRECISE Center, University of Pennsylvania, Philadelphia, PA 19104
Andrew King , PRECISE Center, University of Pennsylvania, Philadelphia, PA 19104
Peter Gebhard , PRECISE Center, University of Pennsylvania, Philadelphia, PA 19104
Radoslav Ivanov , PRECISE Center, University of Pennsylvania, Philadelphia, PA 19104
Insup Lee , PRECISE Center, University of Pennsylvania, Philadelphia, PA 19104
pp. 214

WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems (Abstract)

Peng Deng , UC Riverside
Anastasios Mourikis , UC Riverside
Qi Zhu , UC Riverside
Xue Liu , McGill University
Abhijit Davare , Intel Corporation
Marco Di Natale , Scuola Superiore S. Anna
pp. 215

Poster abstract: Cyborg-insect networks for mapping of unknown environments (Abstract)

Alireza Dirafzoon , North Carolina State University, Raleigh, NC, USA
Joseph Bethhauser , North Carolina State University, Raleigh, NC, USA
Jeff Schornick , North Carolina State University, Raleigh, NC, USA
Jeremy Cole , North Carolina State University, Raleigh, NC, USA
Alper Bozkurt , North Carolina State University, Raleigh, NC, USA
Edgar Lobaton , North Carolina State University, Raleigh, NC, USA
pp. 216

WiP abstract: Model based design for the real-time solution of inverse problems in cyber-physical systems (Abstract)

Matthew Harker , Chair of Automation, Department Product Engineering, University of Leoben, Austria
Christoph Gugg , Chair of Automation, Department Product Engineering, University of Leoben, Austria
Paul O'Leary , Chair of Automation, Department Product Engineering, University of Leoben, Austria
pp. 217

WiP abstract: Can cyber-physical systems be predictable? Inferring cyber-workloads from physical attributes (Abstract)

Junsung Kim , Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA
Young-Woo Seo , The Robotics Institute, Carnegie Mellon University, Pittsburgh, PA
Hyoseung Kim , Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA
Ragunathan Raj Rajkumar , Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA
pp. 219

Poster abstract: Distributed coordination of sub-systems power-modes and software-modes (Abstract)

Maxime Louvel , CEA-LETI MINATEC Campus, 17 rue des Martyrs, 38000 Grenoble, France
Anca Molnos , CEA-LETI MINATEC Campus, 17 rue des Martyrs, 38000 Grenoble, France
Julien Mottin , CEA-LETI MINATEC Campus, 17 rue des Martyrs, 38000 Grenoble, France
Francois Pacull , CEA-LETI MINATEC Campus, 17 rue des Martyrs, 38000 Grenoble, France
Tiana Rakotovao , CEA-LETI MINATEC Campus, 17 rue des Martyrs, 38000 Grenoble, France
pp. 220

OpenICE: An open, interoperable platform for medical cyber-physical systems (Abstract)

Jeffrey Plourde , Massachusetts General, Hospital Cambridge, MA, USA
David Arney , Massachusetts General, Hospital Cambridge, MA, USA
Julian M. Goldman , MGH, Harvard Medical School, Boston, MA, USA
pp. 221

Demo abstract: Demonstrating cyber-attacks impact on cyber-physical simulated environment (Abstract)

Yannis Soupionis , Joint Research Center European Commission, Institute for the Protection and Security of the Citizen, Via E. Fermi, 2749, 21027 Ispra (VA), Italy
Thierry Benoist , Joint Research Center, European Commission, Institute for the Protection and Security of the Citizen, Via E. Fermi, 2749, 21027 Ispra (VA), Italy
pp. 222

WiP abstract: Reception probability model for vehicular ad-hoc networks in the vicinity of intersections (Abstract)

Erik Steinmetz , Dept. of Signals and Systems, Chalmers Univ. of Technology, Gothenburg, Sweden
Matthias Wildemeersch , Institute for Infocomm, Research A∗STAR, Singapore
Henk Wymeersch , Dept. of Signals and Systems, Chalmers Univ. of Technology, Gothenburg, Sweden
pp. 223

WiP abstract: A framework on profiling cross-domain noise propagation in control CPS (Abstract)

Feng Tan , Dept. of Computing, The Hong Kong Polytechnic Univ., Hong Kong
Liansheng Liu , Dept. of Automatic Test and Control, Harbin Institute of Technology, China
Stefan Winter , Dept. of Computer Science, TU Darmstadt, Germany
Qixin Wang , Dept. of Computing, The Hong Kong Polytechnic Univ., Hong Kong
Neeraj Suri , Dept. of Computer Science, TU Darmstadt, Germany
Lei Bu , Dept. of Computer Science and Technology, Nanjing University, China
Yu Peng , Dept. of Automatic Test and Control, Harbin Institute of Technology, China
Xue Liu , School of Computer Science, McGill Univ., Canada
Xiyuan Peng , Dept. of Computing, The Hong Kong Polytechnic Univ., Hong Kong
pp. 224

WiP abstract: A video data search engine for cyber-physical traffic and security monitoring systems (Abstract)

Paul S. Wang , University of Maryland University College, Adelphi, MD 20783, USA
Jiayin Zhang , George Mason University, Fairfax, VA 22030, USA
pp. 225

WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems (Abstract)

Po-Liang Wu , Department of Computer Science, University of Illinois at Urbana-Champaign
Dhashrath Raguraman , Department of Computer Science, University of Illinois at Urbana-Champaign
Lui Sha , Department of Computer Science, University of Illinois at Urbana-Champaign
Richard B. Berlin , College of Medicine and Department of Computer Science, University of Illinois at Urbana-Champaign
Julian M. Goldman , Mass. General Hospital and CIMIT, Cambridge, MA
pp. 226

WiP abstract: System-level integration of mobile multi-modal multi-sensor systems (Abstract)

Jiaxing Zhang , Dept. of ECE, Northeastern University, MA, USA
Hanjiao Qiu , Dept. of ECE, Northeastern University, MA, USA
Salar Shahini Shamsabadi , CIV, Northeastern University, MA, USA
Ralf Birken , CIV, Northeastern University, MA, USA
Gunar Schirner , Dept. of ECE, Northeastern University, MA, USA
pp. 227

WiP abstract: BraceForce: Software engineering support for sensing in CPS applications (Abstract)

Xi Zheng , The Center for Advanced Research in Software Engineering, The University of Texas at Austin
Dewayne E. Perry , The Center for Advanced Research in Software Engineering, The University of Texas at Austin
Christine Julien , The Center for Advanced Research in Software Engineering, The University of Texas at Austin
pp. 228

Author index (PDF)

pp. 229-230
78 ms
(Ver 3.3 (11022016))