Formal Methods for CPS

• 
  Stanley Bak, Karthik Manamcheri, Sayan Mitra, Marco Caccamo: Sandboxing Controllers for Cyber-Physical Systems. 3-12
• 
  Amy LaViers, Magnus Egerstedt, Yushan Chen, Calin Belta: Automatic Generation of Balletic Motions. 13-21
• 
  Parasara Sridhar Duggirala, Sayan Mitra: Abstraction Refinement for Stability. 22-31

Control Infrastructure for CPS

• 
  Muhammad Umer Tariq, Santiago Grijalva, Marilyn Wolf: Towards a Distributed, Service-Oriented Control Infrastructure for Smart Grid. 35-44
• 
  Necmiye Ozay, Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn: Distributed Synthesis of Control Protocols for Smart Camera Networks. 45-54
• 
  Tatsuya Yoshimoto, Toshimitsu Ushio: Optimal Arbitration of Control Tasks by Job Skipping in Cyber-Physical Systems. 55-64

CPS Applications I

• 
  Fan Zhang, Will DiSanto, Jin Ren, Zhi Dou, Qing Yang, He Huang: A Novel CPS System for Evaluating a Neural-Machine Interface for Artificial Legs. 67-76
• 
  Hassan Ghasemzadeh, Roozbeh Jafari: An Ultra Low Power Granular Decision Making Using Cross Correlation: Minimizing Signal Segments for Template Matching. 77-86
• 
  Hossein Ahmadi, Tarek F. Abdelzaher, Jiawei Han, Nam Pham, Raghu K. Ganti: The Sparse Regression Cube: A Reliable Modeling Technique for Open Cyber-Physical Systems. 87-96

Foundations of CPS

• 
  Paul Bogdan, Radu Marculescu: Towards a Science of Cyber-Physical Systems Design. 99-108
• 
  Rahul Balani, Lucas Francisco Wanner, Jonathan Friedman, Mani B. Srivastava, Kaisen Lin, Rajesh K. Gupta: Programming Support for Distributed Optimization and Control in Cyber-Physical Systems. 109-118
• 
  Justin M. Bradley, Ella M. Atkins: Computational-Physical State Co-regulation in Cyber-Physical Systems. 119-128

Model-Driven Development of CPS

• 
  Zhihao Jiang, Miroslav Pajic, Rahul Mangharam: Model-Based Closed-Loop Testing of Implantable Pacemakers. 131-140
• 
  Kyoungho An, Adam Trewyn, Aniruddha S. Gokhale, Shivakumar Sastry: Model-Driven Performance Analysis of Reconfigurable Conveyor Systems Used in Material Handling Applications. 141-150
• 
  Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl: View Consistency in Architectures for Cyber-Physical Systems. 151-160

Sensor Networks in CPS

• 
  Yizhi Wu, Anthony Rowe: Logic-Based Programming for Wireless Sensor-Activator Networks. 163-173
• 
  A. Ehyaei, Eduardo Tovar, Nuno Pereira, Björn Andersson: Scalable Data Acquisition for Densely Instrumented Cyber-Physical Systems. 174-183
• 
  Haitao Zhang, Huadong Ma, Xiang-Yang Li: Estimate Aggregation with Delay Constraints in Multihop Wireless Sensor Networks. 184-193

CPS Applications II

• 
  Hahnsang Kim, Kang G. Shin: Efficient Sensing Matters a Lot for Large-Scale Batteries. 197-205
• 
  Maurizio Bocca, Janne Toivola, Lasse M. Eriksson, Jaakko Hollmén, Heikki N. Koivo: Structural Health Monitoring in Wireless Sensor Networks by the Embedded Goertzel Algorithm. 206-214
• 
  Francesco Leonardi, Alessandro Pinto, Luca P. Carloni: Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings. 215-224

last updated on Sun May 26 03:58:29 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page