Cyber-Physical Systems

• Call for Papers
• Important Dates
• Submissions
• Organizers
• Program
• WiP Session
• Related Readings
• Past CPS Events
• CPS Week
• Registration

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)