ICCPS 2011: Chicago, Illinois, USA

2011 IEEE/ACM International Conference on Cyber-Physical Systems, ICCPS 2011, Chicago, Illinois, USA, 12-14 April, 2011. IEEE 2011, ISBN 978-0-7695-4361-1

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 update Sat May 18 18:42:00 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page