![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
, 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.