Advance Program for ICCPS 2011

Time Tuesday
(April 12, 2011)
(April 13, 2011)
(April 14, 2011)
8:45am -9:00am Opening Remarks    
9:00am-10:00am Plenary Talk Plenary Talk Plenary Talk
10:00am-10:30am Coffee Break
10:30am-12:00pm Session 1: Formal Methods for CPS
Session 3: CPS Applications I

Session 5: Model-Driven Development of CPS
12:00pm-1:30pm Lunch Break
1:30pm-3:00pm Session 2: Control Infrastructure for CPS Session 4: Foundations of CPS Session 6: Sensor Networks in CPS
3:00pm-3:30pm Coffee Break
3:30pm-5:00pm Work-in-Progress Panel Session 7: CPS Applications II
5:00pm-6:45pm Poster and Demo Session No organized activity  
6:30pm-7:15pm Reception Banquet (cruise on Lake Michigan)
7:15pm-9:15pm CPS Forum

Session 1: Formal Methods for CPS
Chair: Ella Atkins (University of Michigan)
  • Sandboxing Controllers for Cyber-Physical Systems
    Stanley Bak, Karthik Manamcheri, Sayan Mitra, and Marco Caccamo (University of Illinois at Urbana-Champaigne) 

  • Automatic Generation of Balletic Motions
    Amy LaViers (Georgia Institute of Technology), Yushan Chen, Calin Belta (Boston University), and Magnus Egerstedt (Georgia Institute of Technology) 

  • Abstraction-Refinement for Stability
    Parasara Sridhar Duggirala and Sayan Mitra (University of Illinois at Urbana-Champaigne)
Session 2: Control Infrastructure for CPS
Chair: Luca Carloni (Columbia University)
  • Towards a Distributed, Service-Oriented Control Infrastructure for Smart Grid
    Muhammad Umer Tariq, Santiago Grijalva, and Marilyn Wolf (Georgia Institute of Technology) 

  • Distributed Synthesis of Control Protocols for Smart Camera Networks
    Necmiye Ozay, Ufuk Topcu (California Institute of Technology), Tichakorn Wongpiromsarn (Singapore-MIT Alliance for Research & Technology), and Richard M. Murray (California Institute of Technology) 

  • Optimal Arbitration of Control Tasks by Job Skipping in Cyber-Physical Systems
    Tatsuya Yoshimoto and Toshimitsu Ushio (Osaka University)
Session 3: CPS Applications I
Mani Srivastava (UCLA)
  • A Novel CPS System for Evaluating a Neural-Machine Interface for Artificial Legs
    Fan Zhang, Will DiSanto, Jin Ren, Zhi Dou, Qing Yang, and He Huang (University of Rhode Island) 

  • An Ultra Low Power Granular Decision Making using Cross Correlation: Minimizing Signal Segments for Template Matching
    Hassan Ghasemzadeh and Roozbeh Jafari (University of Texas at Dallas) 

  • Efficient Sensing Matters a Lot for Large-scale Batteries
    Hahnsang Kim and Kang Shin (University of Michigan) 
Session 4: Foundations of CPS
Chair: Bruce Krogh (Carnegie Mellon University)
  • Towards a Science of Cyber-Physical Systems Design
    Paul Bogdan and Radu Marculescu (Carnegie Mellon University) 

  • Programming Support for Distributed Optimization and Control in Cyber-Physical Systems
    Rahul Balani, Lucas Wanner, Jonathan Friedman, Mani Srivastava (University of California at Los Angeles), Kaisen Lin, and Rajesh Gupta (University of California at San Diego) 

  • Computational-Physical State Co-Regulation in Cyber-Physical Systems
    Justin Bradley and Ella Atkins (University of Michigan)
Session 5: Model-Driven Development of CPS
Chair: Sayan Mitra (University of Illinois)
  • Model-based Closed-loop Testing of Implantable Pacemakers
    Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam (University of Pennsylvania) 

  • Model-driven Performance Analysis of Reconfigurable Conveyor Systems used in Material Handling Applications
    Kyoungho An, Adam Trewyn, Aniruddha Gokhale (Vanderbilt University), and Shivakumar Sastry (University of Akron) 

  • View Consistency in Architectures for Cyber-Physical Systems
    Ajinkya Bhave, Bruce Krogh, David Garlan, and Bradley Schmerl (Carnegie Mellon University)
Session 6: Sensor Networks in CPS
Chair: Tarek Abdelzaher (University of Illinois)
  • Logic-based programming for wireless sensor-actuator networks
    Yizhi Wu and Anthony Rowe (Carnegie Mellon University) 

  • Scalable Data Acquisition for Densely Instrumented Cyber-Physical Systems
    Aida Ehyaei, Eduardo Tovar, Nuno Pereira and Bjorn Anderson (Polytechnic Institute of Porto) 

  • Estimate Aggregation with Delay Constraints in Multihop Wireless Sensor Networks
    Haitao Zhang, Huadong Ma (Beijing University of Posts and Telecommunications) and Xiang-Yang Li (Illinois Institute of Technology)
Session 7: CPS Applications II
Chair: Eduardo Tovar (Polytechnic Institute of Porto)
  • The Sparse Regression Cube: A Reliable Modeling Technique for Open Cyber-physical Systems
    Hossein Ahmadi, Tarek Abdelzaher, Jiawei Han, Nam Pham (University of Illinois at Urbana-Champaign), and Raghu K. Ganti (IBM T. J. Watson Research Center)

  • Structural Health Monitoring in Wireless Sensor Networks by the Embedded Goertzel Algorithm
    Maurizio Bocca, Janne Toivola, Lasse M. Eriksson, Jaakko Hollmen, and Heikki Koivo (Aalto University) 

  • Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings
    Francesco Leonardi (Columbia University), Alessandro Pinto (United Technologies) and Luca Carloni (Columbia University)