Abstract is missing.
- Mathematical equations as executable models of mechanical systemsAngela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron Ames, Raktim Bhattacharya. 1-11 [doi]
- Automatic abstraction for verification of cyber-physical systemsRobert A. Thacker, Kevin R. Jones, Chris J. Myers, Hao Zheng. 12-21 [doi]
- Synthesizing switching logic for safety and dwell-time requirementsSusmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari. 22-31 [doi]
- Bundle: a group based programming abstraction for cyber physical systemsPascal Vicaire, Enamul Hoque, Zhiheng Xie, John A. Stankovic. 32-41 [doi]
- A reduced complexity design pattern for distributed hierarchical command and control systemHeechul Yun, Po-Liang Wu, Maryam Rahmaniheris, Cheolgi Kim, Lui Sha. 42-49 [doi]
- A concept lattice-based event model for Cyber-Physical SystemsYing Tan, Mehmet C. Vuran, Steve Goddard, Yue Yu, Miao Song 0004, Shangping Ren. 50-60 [doi]
- Sensor placement for lifetime maximization in monitoring oil pipelinesYifeng Guo, Fanxin Kong, Dakai Zhu, Ali Saman Tosun, Qingxu Deng. 61-68 [doi]
- Cyber-physical systems for real-time hybrid structural testing: a case studyHuang-Ming Huang, Terry Tidwell, Christopher D. Gill, Chenyang Lu, Xiuyu Gao, Shirley Dyke. 69-78 [doi]
- (CPS)^2: integration of center pivot systems with wireless underground sensor networks for autonomous precision agricultureAgnelo R. Silva, Mehmet Can Vuran. 79-88 [doi]
- Congestion control for spatio-temporal data in cyber-physical systemsHossein Ahmadi, Tarek F. Abdelzaher, Indranil Gupta. 89-98 [doi]
- Robustness analysis for the certification of digital controller implementationsJerome Le Ny, George J. Pappas. 99-108 [doi]
- Time-based intrusion detection in cyber-physical systemsChristopher Zimmer, Balasubramanya Bhat, Frank Mueller, Sibin Mohan. 109-118 [doi]
- Cyber-physical codesign of distributed structural health monitoring with wireless sensor networksGregory Hackmann, Weijun Guo, Guirong Yan, Chenyang Lu, Shirley Dyke. 119-128 [doi]
- Integrating neuromuscular and cyber systems for neural control of artificial legsHe Huang, Yan Lindsay Sun, Qing Yang, Fan Zhang, Xiaorong Zhang, Yuhong Liu, Jin Ren, Fabian Sierra. 129-138 [doi]
- Toward patient safety in closed-loop medical device systemsDavid Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky. 139-148 [doi]
- A framework for the safe interoperability of medical devices in the presence of network failuresCheolgi Kim, Mu Sun, Sibin Mohan, Heechul Yun, Lui Sha, Tarek F. Abdelzaher. 149-158 [doi]
- Design of cooperative vehicle safety systems based on tight coupling of communication, computing and physical vehicle dynamicsYaser P. Fallah, Ching-Ling Huang, Raja Sengupta, Hariharan Krishnan. 159-167 [doi]
- A cyber-physical systems approach to energy management in data centersLuca Parolini, Niraj Tolia, Bruno Sinopoli, Bruce H. Krogh. 168-177 [doi]
- Dependable, efficient, scalable architecture for management of large-scale batteriesHahnsang Kim, Kang G. Shin. 178-187 [doi]
- MEC-IDC: joint load balancing and power control for distributed Internet Data CentersLei Rao, Xue Liu, Marija D. Ilic, Jie Liu. 188-197 [doi]
- Toward power optimization for communication failure recovery in Body Sensor NetworksVitali Loseu, Hassan Ghasemzadeh, Roozbeh Jafari. 198 [doi]
- Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphsStavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee. 199 [doi]