• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 52 matches

• 2012
• 
  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. ICCPS 2012: 229
• 
  Sung Won Ahn, Chuck Yoo:
  WiP Abstract: Virtual Network Platform for Large Scale CPS Testbed. ICCPS 2012: 214
• 
  Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven P. Miller:
  Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. ICCPS 2012: 65-74
• 
  Philip Asare, John C. Lach, John A. Stankovic:
  WiP Abstract: Enabling Holistic Design of Body Sensor Networks. ICCPS 2012: 216
• 
  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. ICCPS 2012: 107-116
• 
  Paul Bogdan, Siddharth Jain, Kartikeya Goyal, Radu Marculescu:
  Implantable Pacemakers Control and Optimization via Fractional Calculus Approaches: A Cyber-Physical Systems Perspective. ICCPS 2012: 23-32
• 
  Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li:
  Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. ICCPS 2012: 222
• 
  Rock-Hyun Choi, Sang-Cheol Lee, Dong-Ha Lee, Joonhyuk Yoo:
  WiP Abstract: Packet Loss Compensation for Cyber-Physical Control Systems. ICCPS 2012: 205
• 
  Hoon Sung Chwa, Andrii Shyshkalov, Jinkyu Lee, Hyoungbu Back, Kilho Lee:
  WiP Abstract: Scalable Multiple Robot Control with Adaptive Trajectory Planning. ICCPS 2012: 213
• 
  S. Don, Duckwon Chung, Dugki Min:
  WiP Abstract: Cyber-Physical Systems for Real Time Cardiac Monitoring. ICCPS 2012: 207
• 
  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. ICCPS 2012: 217
• 
  Chien-Liang Fok, Maykel Hanna, Seth Gee, Tsz-Chiu Au, Peter Stone, Christine Julien, Sriram Vishwanath:
  A Platform for Evaluating Autonomous Intersection Management Policies. ICCPS 2012: 87-96
• 
  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. ICCPS 2012: 208
• 
  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. ICCPS 2012: 3-12
• 
  Xiaobo Sharon Hu, Shengyan Hong, Michael D. Lemmon:
  WiP Abstract: Supporting Coordinated Negotiation in CPS Design. ICCPS 2012: 218
• 
  Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger, Christian Buckl:
  Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems. ICCPS 2012: 224
• 
  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. ICCPS 2012: 211
• 
  Fangjian Jin, Kang G. Shin:
  Pack Sizing and Reconfiguration for Management of Large-Scale Batteries. ICCPS 2012: 138-147
• 
  Taylor T. Johnson, Sayan Mitra:
  Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study. ICCPS 2012: 161-170
• 
  Wontae Kim, Ingeol Chun, Soo-Hyung Lee, Hae Young Lee, Jin Myoung Kim:
  WiP Abstract: From Design to Operation of a Large-Scale CPS. ICCPS 2012: 215
• 
  Junsung Kim, Karthik Lakshmanan, Ragunathan Rajkumar:
  Rhythmic Tasks: A New Task Model with Continually Varying Periods for Cyber-Physical Systems. ICCPS 2012: 55-64
• 
  Andrew T. Klesh, James W. Cutler, Ella M. Atkins:
  Cyber-Physical Challenges for Space Systems. ICCPS 2012: 45-52
• 
  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. ICCPS 2012: 230
• 
  Qiang Li, Weijun Qin, Liqun Li, Limin Sun:
  Poster Abstract: Smartphone Heterogeneous Network Handoff Based on the Closed Control Loop. ICCPS 2012: 231
• 
  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). ICCPS 2012: 13-22
• 
  Jie Lin, Wei Yu, Xinyu Yang, Guobin Xu, Wei Zhao:
  On False Data Injection Attacks against Distributed Energy Routing in Smart Grid. ICCPS 2012: 183-192
• 
  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. ICCPS 2012: 223
• 
  Stefan Mitsch, Sarah M. Loos, André Platzer:
  Towards Formal Verification of Freeway Traffic Control. ICCPS 2012: 171-180
• 
  Chris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng, Yingying Zhang:
  Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems. ICCPS 2012: 232
• 
  Jianwei Niu, Yuhang Gao, Ruifang Niu:
  Poster Abstract: Mobile Application Partitioning for Improving Energy Efficient. ICCPS 2012: 233

skipping 22 more matches