default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. ICCPS 2011: Chicago, Illinois, USA
- 2011 IEEE/ACM International Conference on Cyber-Physical Systems, ICCPS 2011, Chicago, Illinois, USA, 12-14 April, 2011. IEEE Computer Society 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 - Aida 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
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-11-29 00:04 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:
