default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. ICCPS 2012: Beijing, China
- 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, ICCPS 2012, Beijing, China, April 17-19, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1537-1
Medical Devices
- John Hatcliff, Andrew L. King, Insup Lee, Alasdair Macdonald, Anura Fernando, Michael Robkin, Eugene Y. Vasserman
, Sandy Weininger, Julian M. Goldman:
Rationale and Architecture Principles for Medical Application Platforms. 3-12 - Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu:
From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP). 13-22 - Paul Bogdan, Siddharth Jain, Kartikeya Goyal, Radu Marculescu:
Implantable Pacemakers Control and Optimization via Fractional Calculus Approaches: A Cyber-Physical Systems Perspective. 23-32
Air and Space
- Pangun Park, Claire J. Tomlin:
Investigating Communication Infrastructure of Next Generation Air Traffic Management. 35-44 - Andrew T. Klesh, James W. Cutler, Ella M. Atkins:
Cyber-Physical Challenges for Space Systems. 45-52
Best Paper Nominees
- Junsung Kim, Karthik Lakshmanan, Ragunathan Rajkumar:
Rhythmic Tasks: A New Task Model with Continually Varying Periods for Cyber-Physical Systems. 55-64 - Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven P. Miller:
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. 65-74 - Christopher Zimmer, Frank Mueller:
Fault Resilient Real-Time Design for NoC Architectures. 75-84
Scheduling and Coordination
- Chien-Liang Fok, Maykel Hanna, Seth Gee, Tsz-Chiu Au, Peter Stone, Christine Julien, Sriram Vishwanath:
A Platform for Evaluating Autonomous Intersection Management Policies. 87-96 - Dionisio de Niz, Lutz Wrage, Nathaniel Storer, Anthony Rowe, Ragunathan Rajkumar:
On Resource Overbooking in an Unmanned Aerial Vehicle. 97-106 - Jia Bai, Emeka Eyisi, Fan Qiu, Yuan Xue, Xenofon D. Koutsoukos:
Optimal Cross-Layer Design of Sampling Rate Adaptation and Network Scheduling for Wireless Networked Control Systems. 107-116
Smart Energy
- Jay Taneja, Randy H. Katz, David E. Culler:
Defining CPS Challenges in a Sustainable Electricity Grid. 119-128 - Le Xie, Yun Zhang, Marija D. Ilic:
Multi-scale Integration of Physics-Based and Data-Driven Models in Power Systems. 129-137 - Fangjian Jin, Kang G. Shin:
Pack Sizing and Reconfiguration for Management of Large-Scale Batteries. 138-147
Modeling and Verification
- Muhammad Umer Tariq, Hasan Arshad Nasir, Abubakr Muhammad, Marilyn Wolf:
Model-Driven Performance Analysis of Large Scale Irrigation Networks. 151-160 - Taylor T. Johnson, Sayan Mitra:
Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study. 161-170 - Stefan Mitsch, Sarah M. Loos, André Platzer:
Towards Formal Verification of Freeway Traffic Control. 171-180
Smart Grid Security
- Jie Lin, Wei Yu, Xinyu Yang, Guobin Xu, Wei Zhao:
On False Data Injection Attacks against Distributed Energy Routing in Smart Grid. 183-192 - Zhengrui Qin, Qun Li, Mooi Choo Chuah:
Unidentifiable Attacks in Electric Power Systems. 193-202
Work-in-Progress
- Rock-Hyun Choi, Sang-Cheol Lee, Dong-Ha Lee, Joonhyuk Yoo:
WiP Abstract: Packet Loss Compensation for Cyber-Physical Control Systems. 205 - Atsushi Shimada, Shigeru Takano, Shigeaki Tagashira, Rin-Ichiro Taniguchi, Hiroto Yasuura:
WiP Abstract: Estimation of Electric Power Consumption of Individuals by Observing People's Activity. 206 - S. Don, Duckwon Chung, Dugki Min:
WiP Abstract: Cyber-Physical Systems for Real Time Cardiac Monitoring. 207 - Jae-Hwa Han, Kyoung-Soo We, Chang-Gun Lee:
WiP Abstract: Cyber Physical Simulations for Supporting Smooth Development from All-Simulated Systems to All-Real Systems. 208 - Hongan Wang, Xiaoming Deng, Feng Tian:
WiP Abstract: A Human-Centered Cyber-Physical Systematic Approach for Post-Stroke Monitoring. 209 - Yunjung Park, Dugki Min:
WiP Abstract: Message Bridging Structure Between HLA and DDS for Integrating Cyber-Physical Systems. 210 - Hyun-Wook Jin, Sang-Hun Lee, Sanghyun Han, Hyun-Chul Jo, Doohyun Kim:
WiP Abstract: Challenges and Strategies for Exploiting Integrated Modular Avionics on Unmanned Aerial Vehicles. 211 - Adam Trewyn, Aniruddha S. Gokhale, Shiva Sastry, Michael S. Branicky:
WiP Abstract: TCP Congestion Control Principles for Highly Available Reconfigurable Conveyor Systems. 212 - Hoon Sung Chwa, Andrii Shyshkalov, Jinkyu Lee, Hyoungbu Back, Kilho Lee:
WiP Abstract: Scalable Multiple Robot Control with Adaptive Trajectory Planning. 213 - Sung Won Ahn, Chuck Yoo:
WiP Abstract: Virtual Network Platform for Large Scale CPS Testbed. 214 - Wontae Kim, Ingeol Chun, Soo-Hyung Lee, Hae Young Lee, Jin Myoung Kim:
WiP Abstract: From Design to Operation of a Large-Scale CPS. 215 - Philip Asare, John C. Lach, John A. Stankovic:
WiP Abstract: Enabling Holistic Design of Body Sensor Networks. 216 - Jesse M. Ehrenfeld, Aniruddha S. Gokhale, Xenofon D. Koutsoukos, Douglas C. Schmidt:
WiP Abstract: A Closed Loop Control Architecture to Maintain Patient Normothermia during Perioperative Periods. 217 - Xiaobo Sharon Hu, Shengyan Hong, Michael D. Lemmon:
WiP Abstract: Supporting Coordinated Negotiation in CPS Design. 218
Demos
- Shilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Demo Abstract: Model-Based Testing of Implantable Cardiac Devices. 221 - Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li:
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. 222 - Qinghua Luo, Abraham Hang-Yat Lam, Dan Wang, Daniel Wai-Tin Chan, Yu Peng, Xiyuan Peng:
Demo Abstract: Towards a Wireless Building Management System with Minimum Change to the Building Protocols. 223 - Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger, Christian Buckl:
Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems. 224 - Yubo Yan, Panlong Yang, Lizhao You, Bowen Li:
Demo Abstract: Online Optimal Channel Sensing, Probing, Accessing in USRP Networks. 225 - Zenghua Zhao, Ziwei Liu, Junjiao Ye, Hao Li:
Demo Abstract: Monitoring Wide-Area Nature Reserves Based on Long-Distance Wireless Mesh Networks. 226
Posters
- Emrah Adamey, Yuksel Ozan Basciftci, Peng Gong, Arda Kurt, Füsun Özgüner, Ümit Özgüner:
Poster Abstract: State Estimation and Sensor Fusion for Autonomous Driving in Mixed-Traffic Urban Environments. 229 - Arda Kurt, Scott Biddlestone, Keith A. Redmill, Ümit Özgüner:
Poster Abstract: Hierarchical Hybrid-State Systems for Coordinated Autonomous Driving in Mixed-Traffic Urban Environments. 230 - Qiang Li, Weijun Qin, Liqun Li, Limin Sun:
Poster Abstract: Smartphone Heterogeneous Network Handoff Based on the Closed Control Loop. 231 - Chris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng, Yingying Zhang:
Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems. 232 - Jianwei Niu, Yuhang Gao, Ruifang Niu:
Poster Abstract: Mobile Application Partitioning for Improving Energy Efficient. 233 - Theodore P. Pavlic, Sai Prathyusha Peddi, Paolo A. G. Sivilotti, Bruce W. Weide:
Poster Abstract: Getting Out of the Way - Safety Verification without Compromise. 234 - Shuo Yang, Ke Hong, Lin Gu:
Poster Abstract: Involving a Sensor Network System in Core Datacenter Management Functions. 235 - Tatsuya Yoshimoto, Toshimitsu Ushio:
Poster Abstract: Design of Modified Observer to Reduce State Estimation Error Caused by Job Skipping in Cyber-Physical Systems. 236 - Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. 237 - Hao Zhang, Niantong Zhang, Zhe He, Chun Jason Xue:
Poster Abstract: Smart Phone Lift for Improving Energy Efficiency and User Comfort in Green Buildings. 238 - Zenghua Zhao, Song Zhang, Xuanxuan Wu:
Poster Abstract: GasMon: A Sensor Network System for Residential Building Gas Leak Monitoring. 239 - Yifan Zhou, Hiecheol Kim, Joonhyuk Yoo:
Poster Abstract: Exploiting Virtually Constant Property for Time-Varying Delay Compensation. 240
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-23 19:18 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:
