default search action
3. 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
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
Implantable Pacemakers Control and Optimization via Fractional Calculus Approaches: A Cyber-Physical Systems Perspective. 23-32
Air and Space
- Pangun Park
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
Fault Resilient Real-Time Design for NoC Architectures. 75-84
Scheduling and Coordination
- Chien-Liang Fok, Maykel Hanna, Seth Gee, Tsz-Chiu Au
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
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
Model-Driven Performance Analysis of Large Scale Irrigation Networks. 151-160 - Taylor T. Johnson
Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study. 161-170 - Stefan Mitsch
Towards Formal Verification of Freeway Traffic Control. 171-180
Smart Grid Security
- Jie Lin, Wei Yu
On False Data Injection Attacks against Distributed Energy Routing in Smart Grid. 183-192 - Zhengrui Qin, Qun Li
Unidentifiable Attacks in Electric Power Systems. 193-202
Work-in-Progress
- Rock-Hyun Choi, Sang-Cheol Lee
WiP Abstract: Packet Loss Compensation for Cyber-Physical Control Systems. 205 - Atsushi Shimada
WiP Abstract: Estimation of Electric Power Consumption of Individuals by Observing People's Activity. 206 - S. Don
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
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
WiP Abstract: Enabling Holistic Design of Body Sensor Networks. 216 - Jesse M. Ehrenfeld
WiP Abstract: A Closed Loop Control Architecture to Maintain Patient Normothermia during Perioperative Periods. 217 - Xiaobo Sharon Hu
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
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. 222 - Qinghua Luo, Abraham Hang-Yat Lam, Dan Wang
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
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
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
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-26 00:59 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: