default search action
1. ICCPS 2010: Stockholm, Sweden
- Janos Sztipanovits, Raj Rajkumar:
ACM/IEEE 1st International Conference on Cyber-Physical Systems, ICCPS '10, Stockholm, Sweden, April 12-15, 2010. ACM 2010, ISBN 978-1-4503-0066-7
Foundations of CPS
- Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot
, Cherif R. Salama
Mathematical equations as executable models of mechanical systems. 1-11 - Robert A. Thacker, Kevin R. Jones, Chris J. Myers
Automatic abstraction for verification of cyber-physical systems. 12-21 - Susmit Jha
Synthesizing switching logic for safety and dwell-time requirements. 22-31
Infrastructural elements for CPS
- Pascal Vicaire, Enamul Hoque, Zhiheng Xie, John A. Stankovic:
Bundle: a group based programming abstraction for cyber physical systems. 32-41 - Heechul Yun, Po-Liang Wu, Maryam Rahmaniheris, Cheolgi Kim, Lui Sha:
A reduced complexity design pattern for distributed hierarchical command and control system. 42-49 - Ying Tan, Mehmet C. Vuran
A concept lattice-based event model for Cyber-Physical Systems. 50-60
Sensor networks in CPS
- Yifeng Guo, Fanxin Kong, Dakai Zhu, Ali Saman Tosun, Qingxu Deng:
Sensor placement for lifetime maximization in monitoring oil pipelines. 61-68 - Huang-Ming Huang, Terry Tidwell, Christopher D. Gill, Chenyang Lu, Xiuyu Gao, Shirley Dyke
Cyber-physical systems for real-time hybrid structural testing: a case study. 69-78 - Agnelo R. Silva, Mehmet Can Vuran
(CPS)^2: integration of center pivot systems with wireless underground sensor networks for autonomous precision agriculture. 79-88 - Hossein Ahmadi, Tarek F. Abdelzaher, Indranil Gupta:
Congestion control for spatio-temporal data in cyber-physical systems. 89-98
Design, correctness and security
- Jerome Le Ny, George J. Pappas
Robustness analysis for the certification of digital controller implementations. 99-108 - Christopher Zimmer
Time-based intrusion detection in cyber-physical systems. 109-118 - Gregory Hackmann, Weijun Guo, Guirong Yan, Chenyang Lu, Shirley Dyke
Cyber-physical codesign of distributed structural health monitoring with wireless sensor networks. 119-128
Medical CPS
- He Huang
Integrating neuromuscular and cyber systems for neural control of artificial legs. 129-138 - David Arney, Miroslav Pajic
Toward patient safety in closed-loop medical device systems. 139-148 - Cheolgi Kim, Mu Sun, Sibin Mohan
A framework for the safe interoperability of medical devices in the presence of network failures. 149-158
Automotive and energy CPS
- Yaser P. Fallah, Ching-Ling Huang, Raja Sengupta, Hariharan Krishnan
Design of cooperative vehicle safety systems based on tight coupling of communication, computing and physical vehicle dynamics. 159-167 - Luca Parolini, Niraj Tolia, Bruno Sinopoli, Bruce H. Krogh:
A cyber-physical systems approach to energy management in data centers. 168-177 - Hahnsang Kim, Kang G. Shin:
Dependable, efficient, scalable architecture for management of large-scale batteries. 178-187 - Lei Rao, Xue Liu, Marija D. Ilic, Jie Liu:
MEC-IDC: joint load balancing and power control for distributed Internet Data Centers. 188-197
Posters
- Vitali Loseu, Hassan Ghasemzadeh, Roozbeh Jafari
Toward power optimization for communication failure recovery in Body Sensor Networks. 198 - Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee:
Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs. 199
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-18 18:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: