CPSPI MTG 2014 Posters, Videos and Abstracts
file
Abstract:
Wireless sensor-actuator networks (WSAN) are systems consisting of numerous sensing and actuation devices that interact with the environment and coordinate their activities over a wireless communication network. WSANs represent an important class of cyber-physical system (CPS) found in our national civil infrastructure. This project addresses the issue of resilience in WSANs.
file
Abstract:
The aim of this project is to lay down the foundations of a novel approach to real-time control of networked cyber-physical systems (CPS) that leverages their cooperative nature. Most networked controllers are not implementable over embedded digital computer systems because they rely on continuous time or synchronous executions that are costly to enforce.
file
Abstract:
The goal of this project is to demonstrate that new cyber physical architectures will enable closed--loop sensor networks to be shared among multiple applications and to dynamically allocate sensing and computing resources necessary to analyze sensor data and perform sensor actuation.
file
Abstract:
Optimization algorithms used in a real-time and safety-critical context offer the potential for considerably advancing robotic and autonomous systems by improving their ability to execute complex missions. However, this promise cannot happen without proper attention to the considerably stronger operational constraints that real time, safety-critical applications must meet, unlike their non-real-time, desktop counterparts.
file
Abstract:
The objective of this project is to develop a science of integration for cyber physical systems (CPS). The proposed research program has three focus areas: (1) foundations, (2) tools and tool architectures, (3) systems/experimental research. The project has pushed along several frontiers towards these overall objectives. In the following, we describe selected accomplishments:
file
Abstract:
As part of our CPS project, we have focused on the problem of model repair for cyber-physical systems. This work involves identifying constraints caused due to physical components during revision. We consider four types of constraints cyber-cyber, cyber-physical, physical-cyber and physical-physical. Based on the complexity limitations caused by these constraints we are developing efficient heuristics to mitigate the cost of model repair. We have also focused on extending revision to code level.
file
Abstract:
Our objective is to engineer vehicles that can collaborate on the use of a roadway. The protocols that define the collaboration must be provably safe, and the implementations of the protocols by different manufacturers must be guaranteed to inter-operate. As an example we are using a collaborative merge protocol, that assists a driver merging between two vehicles in an adjacent lane.
file
Abstract:
Central to the operation of cyber-physical systems (CPS) is accurate and reliable knowledge of time, both for meaningfully sensing and controlling the physical world state and for correct, high-performance and energy-efficient orchestration of computing and communication operations. Emerging applications that seek to control agile physical processes or depend on precise knowledge of time to infer location and coordinate communication, make use of time with diverse semantics and dynamic quality requirements.
file
Abstract:
This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.
file
Abstract:
Modeling, analyzing and verifying real physical systems have long been a changeling task since the dynamics are usually nonlinear and the state spaces are always continuous. In this work, we use linear inequality LTL (iLTL), a temporal logic, to specify the behavior of nonlinear dynamical systems over time and propose a framework for statistical verification of temporal formulae on nonlinear systems using set oriented methods.
