By Topic

Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on

Date 12-14 April 2011

Filter Results

Displaying Results 1 - 25 of 32
  • [Front cover]

    Publication Year: 2011, Page(s): C1
    Request permission for commercial reuse | PDF file iconPDF (2376 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2011, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (62 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2011, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (110 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2011, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (118 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2011, Page(s):v - vii
    Request permission for commercial reuse | PDF file iconPDF (129 KB)
    Freely Available from IEEE
  • Message from General Chair and Program Chairs

    Publication Year: 2011, Page(s): viii
    Request permission for commercial reuse | PDF file iconPDF (117 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organizing Committee

    Publication Year: 2011, Page(s): ix
    Request permission for commercial reuse | PDF file iconPDF (82 KB)
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2011, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (105 KB)
    Freely Available from IEEE
  • Reviewers

    Publication Year: 2011, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (86 KB)
    Freely Available from IEEE
  • Sandboxing Controllers for Cyber-Physical Systems

    Publication Year: 2011, Page(s):3 - 12
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (885 KB) | HTML iconHTML

    Cyber-physical systems bridge the gap between cyber components, typically written in software, and the physical world. Software written with traditional development practices, however, likely contains bugs or unintended interactions among components, which can result in uncontrolled and possibly disastrous physical-world interactions. Complete verification of cyber-physical systems, however, is of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic Generation of Balletic Motions

    Publication Year: 2011, Page(s):13 - 21
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (750 KB) | HTML iconHTML

    As cyber-physical systems become more prevalent, specifications for these systems must be formulated in a more nuanced manner. This paper presents a particular instantiation of such specification by proposing a framework that endows robotic motions with a sense of aesthetic style. Drawing inspiration from classical ballet, poses are cast as discrete states and movements as the transitions between ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Abstraction Refinement for Stability

    Publication Year: 2011, Page(s):22 - 31
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (780 KB) | HTML iconHTML

    The paper presents a CEGAR-based procedure for verifying stability (region stabillity) of CPS modeled as hybrid automata. It relies a characterization of the blocking property of hybrid automata in terms of well-foundedness of a relation that combines the discrete transitions and continuous trajectories and a key assumption about the switching speed of the system in terms of average dwell time, bu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a Distributed, Service-Oriented Control Infrastructure for Smart Grid

    Publication Year: 2011, Page(s):35 - 44
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2059 KB) | HTML iconHTML

    Smart Grid initiatives aim to overlay the existing power grid infrastructure with a communication and computation infrastructure to enable integration of renewable resources and increased efficiency and reliability of the electric power grid. This requires substantial changes to the existing centralized control architecture as well as the development of drastically more powerful communication and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed Synthesis of Control Protocols for Smart Camera Networks

    Publication Year: 2011, Page(s):45 - 54
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1501 KB) | HTML iconHTML

    We considered the problem of designing control protocols for pan-tilt-zoom (PTZ) cameras within a smart camera network where the goal is to guarantee certain temporal logic specifications related to a given surveillance task. We first present a centralized control architecture for assigning PTZ cameras to targets so that the specification is met for any admissible behavior of the targets. Then, in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal Arbitration of Control Tasks by Job Skipping in Cyber-Physical Systems

    Publication Year: 2011, Page(s):55 - 64
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (418 KB) | HTML iconHTML

    We consider cyber-physical systems where several physical plants are controlled by digital controllers implemented as periodic tasks executing in one embedded computer. If overload situations occur, control performances of the controlled plants may degrade seriously. We introduce an arbiter which accepts or drops jobs released by the tasks to avoid the overload situations. We consider a cost funct... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Novel CPS System for Evaluating a Neural-Machine Interface for Artificial Legs

    Publication Year: 2011, Page(s):67 - 76
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (729 KB) | HTML iconHTML

    This paper presents a novel cyber physical system (CPS) that senses signals from two physical systems - a human neuromuscular control system and a mechanical prosthesis -- to drive a cyber virtual reality (VR) system for the purpose of evaluating a neural-machine interface (NMI) for artificial legs. Novel cyber techniques are proposed to tackle two fundamental challenges in this CPS system: inhere... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Ultra Low Power Granular Decision Making Using Cross Correlation: Minimizing Signal Segments for Template Matching

    Publication Year: 2011, Page(s):77 - 86
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (307 KB) | HTML iconHTML

    Wearable sensor platforms have proved effective in a large variety of new application domains including wellness and healthcare, and are perfect examples of cyber physical systems. A major obstacle in realization of these systems is the amount of energy required for sensing, processing and communication, which can jeopardize small battery size and wear ability of the entire system. In this paper, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Sparse Regression Cube: A Reliable Modeling Technique for Open Cyber-Physical Systems

    Publication Year: 2011, Page(s):87 - 96
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (316 KB) | HTML iconHTML

    Understanding the end-to-end behavior of complex systems where computing technology interacts with physical world properties is a core challenge in cyber-physical computing. This paper develops a hierarchical modeling methodology for open cyber-physical systems that combines techniques in estimation theory with those in data mining to reliably capture complex system behavior at different levels of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a Science of Cyber-Physical Systems Design

    Publication Year: 2011, Page(s):99 - 108
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1199 KB) | HTML iconHTML

    Cyber-physical systems (CPS) represent the information technology quest of the 21-st century for a better, cleaner, safer life by integrating computation, communication, and control with physical processes. Physical processes are ubiquitously non-stationary and require time-dependent models for modeling and understanding their behavior. In contrast, most current computing platforms and their desig... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programming Support for Distributed Optimization and Control in Cyber-Physical Systems

    Publication Year: 2011, Page(s):109 - 118
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1138 KB) | HTML iconHTML

    Large-scale actuator control problems in Cyber-Physical Systems (CPSs) are often expressed within the networked optimization model. While significant advances have taken place in optimization techniques, their widespread adoption in practical implementations is impeded by the complexity of inter-node coordination and lack of programming support that is necessary for sharing information coherently ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computational-Physical State Co-regulation in Cyber-Physical Systems

    Publication Year: 2011, Page(s):119 - 128
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (506 KB) | HTML iconHTML

    From the perspective of physical system feedback control, the cyber or computer system's role has been to sample and compute control inputs sufficiently fast to maintain acceptable reference command tracking and disturbance rejection in the physical system. This strategy has been successful given the relatively low computational overhead for most control laws compared to computational resource ava... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Based Closed-Loop Testing of Implantable Pacemakers

    Publication Year: 2011, Page(s):131 - 140
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1772 KB) | HTML iconHTML

    The increasing complexity of software in implantable medical devices such as cardiac pacemakers and defibrillators accounts for over 40% of device recalls. Testing remains the principal means of verification in the medical device certification regime. Traditional software test generation techniques, where the tests are generated independently of the operational environment, are not effective as th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Driven Performance Analysis of Reconfigurable Conveyor Systems Used in Material Handling Applications

    Publication Year: 2011, Page(s):141 - 150
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1048 KB) | HTML iconHTML

    Reconfigurable conveyors are increasingly being adopted in multiple industrial sectors for their immense flexibility in adapting to new products and product lines. Before modifying the layout of the conveyor system for the new product line, however, engineers and layout planners must be able to answer many questions about the system, such as maximum sustainable rate of flow of goods, prioritizatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • View Consistency in Architectures for Cyber-Physical Systems

    Publication Year: 2011, Page(s):151 - 160
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (984 KB) | HTML iconHTML

    Current methods for modeling, analysis, and design of cyber-physical systems lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Our approach is to define relationships between system models at the architectural level, which captures the structural interdependencies and some semantic interdependencies between representations without... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Logic-Based Programming for Wireless Sensor-Activator Networks

    Publication Year: 2011, Page(s):163 - 173
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (626 KB) | HTML iconHTML

    In this paper we present SAN-Logic, a lightweight logic-based programming paradigm that enables the dynamic progammability and configuration of sensor-actuator interactions in wireless sensor networks used to support Cyber-Physical Systems (CPS). Our goal is to simplify complex CPS design by providing a structured model of interactions that can be automatically mapped and deployed to a sensor-actu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.