Abstract is missing.
- Sandboxing Controllers for Cyber-Physical SystemsStanley Bak, Karthik Manamcheri, Sayan Mitra, Marco Caccamo. 3-12 [doi]
- Automatic Generation of Balletic MotionsAmy LaViers, Magnus Egerstedt, Yushan Chen, Calin Belta. 13-21 [doi]
- Abstraction Refinement for StabilityParasara Sridhar Duggirala, Sayan Mitra. 22-31 [doi]
- Towards a Distributed, Service-Oriented Control Infrastructure for Smart GridMuhammad Umer Tariq, Santiago Grijalva, Marilyn Wolf. 35-44 [doi]
- Distributed Synthesis of Control Protocols for Smart Camera NetworksNecmiye Ozay, Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn. 45-54 [doi]
- Optimal Arbitration of Control Tasks by Job Skipping in Cyber-Physical SystemsTatsuya Yoshimoto, Toshimitsu Ushio. 55-64 [doi]
- A Novel CPS System for Evaluating a Neural-Machine Interface for Artificial LegsFan Zhang, Will DiSanto, Jin Ren, Zhi Dou, Qing Yang, He Huang. 67-76 [doi]
- An Ultra Low Power Granular Decision Making Using Cross Correlation: Minimizing Signal Segments for Template MatchingHassan Ghasemzadeh, Roozbeh Jafari. 77-86 [doi]
- The Sparse Regression Cube: A Reliable Modeling Technique for Open Cyber-Physical SystemsHossein Ahmadi, Tarek F. Abdelzaher, Jiawei Han, Nam Pham, Raghu K. Ganti. 87-96 [doi]
- Towards a Science of Cyber-Physical Systems DesignPaul Bogdan, Radu Marculescu. 99-108 [doi]
- Programming Support for Distributed Optimization and Control in Cyber-Physical SystemsRahul Balani, Lucas Francisco Wanner, Jonathan Friedman, Mani B. Srivastava, Kaisen Lin, Rajesh K. Gupta. 109-118 [doi]
- Computational-Physical State Co-regulation in Cyber-Physical SystemsJustin M. Bradley, Ella M. Atkins. 119-128 [doi]
- Model-Based Closed-Loop Testing of Implantable PacemakersZhihao Jiang, Miroslav Pajic, Rahul Mangharam. 131-140 [doi]
- Model-Driven Performance Analysis of Reconfigurable Conveyor Systems Used in Material Handling ApplicationsKyoungho An, Adam Trewyn, Aniruddha S. Gokhale, Shivakumar Sastry. 141-150 [doi]
- View Consistency in Architectures for Cyber-Physical SystemsAjinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl. 151-160 [doi]
- Logic-Based Programming for Wireless Sensor-Activator NetworksYizhi Wu, Anthony Rowe. 163-173 [doi]
- Scalable Data Acquisition for Densely Instrumented Cyber-Physical SystemsA. Ehyaei, Eduardo Tovar, Nuno Pereira, Björn Andersson. 174-183 [doi]
- Estimate Aggregation with Delay Constraints in Multihop Wireless Sensor NetworksHaitao Zhang, Huadong Ma, Xiang-Yang Li. 184-193 [doi]
- Efficient Sensing Matters a Lot for Large-Scale BatteriesHahnsang Kim, Kang G. Shin. 197-205 [doi]
- Structural Health Monitoring in Wireless Sensor Networks by the Embedded Goertzel AlgorithmMaurizio Bocca, Janne Toivola, Lasse M. Eriksson, Jaakko Hollmén, Heikki N. Koivo. 206-214 [doi]
- Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance BuildingsFrancesco Leonardi, Alessandro Pinto, Luca P. Carloni. 215-224 [doi]