By Topic

2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS)

18-21 April 2017

Filter Results

Displaying Results 1 - 25 of 42
  • [Title page i]

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

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

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

    Publication Year: 2017, Page(s):v - viii
    Request permission for commercial reuse | PDF file iconPDF (103 KB)
    Freely Available from IEEE
  • Message from the General and Program Co-Chairs

    Publication Year: 2017, Page(s): ix
    Request permission for commercial reuse | PDF file iconPDF (88 KB)
    Freely Available from IEEE
  • Conference Organizers

    Publication Year: 2017, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (85 KB)
    Freely Available from IEEE
  • Technical Program Committee

    Publication Year: 2017, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (61 KB)
    Freely Available from IEEE
  • Additional Reviewers

    Publication Year: 2017, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (74 KB)
    Freely Available from IEEE
  • Sampling-Based Control Synthesis for Multi-robot Systems under Global Temporal Specifications

    Publication Year: 2017, Page(s):3 - 14
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1119 KB) | HTML iconHTML

    This paper proposes a sampling-based algorithm for multi-robot control synthesis under global Linear Temporal Logic (LTL) formulas. Robot mobility is captured by transition systems whose states represent regions in the environment that satisfy atomic propositions. Existing planning approaches under global temporal goals rely on graph search techniques applied to a synchronous product automaton con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal Synthesis of Distributed Optimal Traffic Control Policies

    Publication Year: 2017, Page(s):15 - 24
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1301 KB)

    We propose a formal methods approach to control traffic signals optimally from specifications described by metric temporal logic (MTL). Since real-time optimization is computationally infeasible beyond small-scale networks, we use a divide and conquer approach. We decompose the network into smaller subnetworks and synthesize assume-guarantee contracts for their interconnections. We show how to exp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multi-objective Optimal Control with Safety as a Priority

    Publication Year: 2017, Page(s):25 - 36
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (979 KB) | HTML iconHTML

    This work develops a lexicographic approach to multi-objective optimal control on models for cyber-physical systems, encompassing in particular stochasticity, limited access to model variables (partial observations), and possibly hybrid (continuous and discrete) dynamics (with the finite state POMDP framework as a known special instance). The technique is showcased in two new case studies in the a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing Tolerance to Unexpected Jumps in GR(1) Games

    Publication Year: 2017, Page(s):37 - 48
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (784 KB) | HTML iconHTML

    When used as part of a hybrid controller, finite-memory strategies synthesizedfrom linear-time temporal logic (LTL) specifications rely on an accurate dynamics model in order to ensure correctness of trajectories. In the presence of uncertainty about the underlying model, there may exist unexpected trajectories that manifest as unexpected transitions under control of the strategy. While some distu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Battery State-of-Health Estimation for Mobile Devices

    Publication Year: 2017, Page(s):51 - 60
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (13267 KB) | HTML iconHTML

    Insufficient support of electric current sensing on commodity mobile devices leads to inaccurate estimation of their battery's stateof-health (SoH), which, in turn, shuts them off unexpectedly and accelerates their battery fading. In this paper, we design V-BASH, a new battery SoH estimation method based only on their voltages and is compatible to commodity mobile devices. V-BASH is inspired by th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SunShade: Enabling Software-Defined Solar-Powered Systems

    Publication Year: 2017, Page(s):61 - 70
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1606 KB) | HTML iconHTML

    The electric grid was not designed to support the large-scale penetration of intermittent solar generation. As a result, current policies place hard caps on the solar capacity that may connect to the grid. Unfortunately, users are increasingly hitting these caps, which is restricting the natural growth of solar power. To address the problem, we propose Software-defined Solar-powered (SDS) systems ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed Placement of Power Generation Resources in Uncertain Environments

    Publication Year: 2017, Page(s):71 - 80
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1184 KB) | HTML iconHTML

    To tackle the problem of long-term disasters of river basin by big dams and at the same time to meet the energy demands we propose a novel distributed allocation of power generation units along the river. The presented approach is applicable where a distribution of resources is required subject to challenges posed by uncertainty in the behavior of the environment. The problem of uncertainty is spl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • WiP Abstract: A Physiology-Aware Communication Architecture for Distributed Emergency Medical CPS

    Publication Year: 2017, Page(s):83 - 84
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (56 KB) | HTML iconHTML

    For emergency medical cyber-physical systems, enhancing the safety and effectiveness of patient care, especially in rural areas, is essential. While the doctor to patient ratio in the United States is 30 to 10,000 in large metropolitan areas, it is only 5 to 10,000 in most rural areas; and the highest death rates are often found in the most rural counties [3]. Use of telecommunication technologies... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • WiP Abstract: Cybermanufacturing in the Shared Economy

    Publication Year: 2017, Page(s):85 - 86
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (89 KB) | HTML iconHTML

    The Advanced Manufacturing Program 2.0 envisages a rejuvenationof the manufacturing infrastructure in the USA. Many of therejuvenated plants are not human-labor intensive; rather, thesefacilities have advanced capabilities that have automated machineswith a few human operators. As such programs are rolled outto revitalize the economy, we will have many small facilities thatare highly automated to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • WiP Abstract: Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Energy Systems

    Publication Year: 2017, Page(s):87 - 88
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (57 KB) | HTML iconHTML

    Reliable operation of cyber-physical systems such as power transmission and distribution systems is crtiical for the seamless functioning of a vibrant economy. These systems consist of tightly coupled physical (energy sources, transmission and distribution lines, and loads) and computational components (protection devices, energy management systems, etc.). The protection devices such as distance r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • WiP Abstract: Towards a Framework for Comprehensive and Systematic Reliability Evaluation of Building Management Systems

    Publication Year: 2017, Page(s):89 - 90
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB) | HTML iconHTML

    Smart buildings are run by Building Management Systems (BMS) that are cyber-physical systems that control and monitor a number of buildings' subsystems. BMS have not been sufficiently prioritized on their reliability measures. Reliability, however, along with security, safety, energy performance and occupant comfort, are very important for certain classes of BMS [1]. This is especially true for BM... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • WiP Abstract: Transactive Energy Demo with RIAPS Platform

    Publication Year: 2017, Page(s):91 - 92
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (75 KB) | HTML iconHTML

    This work presents a platform for decentralized distributed computing called Resilient Information Architecture for the Smart Grid (RIAPS) through a transactional energy and a traffic application. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • WiP Abstract: Platform for Security-Aware Design of Human-on-the-Loop Cyber-Physical Systems

    Publication Year: 2017, Page(s):93 - 94
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (105 KB) | HTML iconHTML

    Cyber-Physical Systems (CPS) are commonly supervisory control systems where a human-on-the-loop (HOL) supervises one or more autonomous systems, while embedded autonomy allows the operators to intermittently attend to the system and other tasks. Thus, it is imperative that the design of any security-aware CPS considers the impact of the human interaction with the system on security guarantees. Yet... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constructing Compact Causal Mathematical Models for Complex Dynamics

    Publication Year: 2017, Page(s):97 - 108
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1743 KB)

    From microbial communities, human physiology to social and bio- logical/neural networks, complex interdependent systems display multi-scale spatio-temporal pa erns that are frequently classi ed as non-linear, non-Gaussian, non-ergodic, and/or fractal. Distin- guishing between the sources of nonlinearity, identifying the na- ture of fractality (space versus time) and encapsulating the non- Gaussian... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems

    Publication Year: 2017, Page(s):109 - 120
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1336 KB) | HTML iconHTML

    We study the problem of analyzing falsifying traces of cyber-physical systems. Specifically, given a system model and an input which is a counterexample to a property of interest, we wish to understand which parts of the inputs are “responsible” for the counterexample as a whole. Whereas this problem is well known to be hard to solve precisely, we provide an approach based on learnin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Abstraction Based Reachability Analysis for Finite Branching Stochastic Hybrid Systems

    Publication Year: 2017, Page(s):121 - 130
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (469 KB)

    In this paper, we address the problem of computing the probability of reaching a desired set in a subclass of stochastic hybrid systems, wherein the stochasticity arises from the randomness of the initial distribution of continuous states, and the probabilistic transitions in the underlying finite state Markov chain. In particular, the continuous dynamics is deterministic for each mode and hence, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Gaussian Process Regression Approach to Model Aircraft Engine Fuel Flow Rate

    Publication Year: 2017, Page(s):131 - 140
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1108 KB) | HTML iconHTML

    The problem of building statistical models of cyber-physical systems using operational data is addressed in this paper, using thecase study of aircraft engines. These models serve as a complementto physics-based models, which may not accurately reflect the operational performance of systems. The accurate modeling of fuelflow rate is an essential aspect of analyzing aircraft engine performance. In ... View full abstract»

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