default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. 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, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron D. Ames, Raktim Bhattacharya:
Mathematical equations as executable models of mechanical systems. 1-11 - Robert A. Thacker, Kevin R. Jones, Chris J. Myers, Hao Zheng:
Automatic abstraction for verification of cyber-physical systems. 12-21 - Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
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, Steve Goddard, Yue Yu, Miao Song, Shangping Ren:
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, Balasubramanya Bhat, Frank Mueller, Sibin Mohan:
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, Yan Lindsay Sun, Qing Yang, Fan Zhang, Xiaorong Zhang, Yuhong Liu, Jin Ren, Fabian Sierra:
Integrating neuromuscular and cyber systems for neural control of artificial legs. 129-138 - David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky:
Toward patient safety in closed-loop medical device systems. 139-148 - Cheolgi Kim, Mu Sun, Sibin Mohan, Heechul Yun, Lui Sha, Tarek F. Abdelzaher:
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 2025-02-05 20:39 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:
