ICCPS

Cyber-physical systems comprise digital components that directly interact with a physical environment. Specifying the behavior desired of such systems requires analytical modeling of physical phenomena. Similarly, testing them requires simulation of ...

Models of cyber-physical systems are inherently complex since they must represent hardware, software, and the physical environment. Formal verification of these models is often precluded by state explosion. Fortunately, many important properties may ...

Cyber-physical systems (CPS) can be usefully modeled as hybrid automata combining the physical dynamics within modes with discrete switching behavior between modes. CPS designs must satisfy safety and performance requirements. While the dynamics within ...

This paper describes a novel group based programming abstraction called a 'Bundle' for cyber physical systems (CPS). Similar to other programming abstractions, a Bundle creates logical collections of sensing devices. However, previous abstractions were ...

Cyber Physical Systems (CPS) get a lot of attention due to the strong demand for the integration of physical devices and computing systems. There are many design aspects involved in CPS, such as efficiency, real-time, reliability and security. One of ...

Cyber-Physical Systems (CPS) involve communication, computation, sensing, and actuating through heterogeneous and widely distributed physical devices and computational components. The close interactions of these systems with the physical world places ...

Wireless sensor networks (WSNs) have been widely deployed and it is crucial to properly control the energy consumption of the sensor nodes to achieve the maximum WSNs' operation time (i.e., lifetime) as they are normally battery powered. In this paper, ...

Real-time hybrid testing of civil structures, in which computational models and physical components must be integrated with high fidelity at run-time, represents a grand challenge in the emerging area of cyber-physical systems. Actuator dynamics, ...

Precision agriculture (PA) refers to a series of practices and tools necessary to correctly evaluate farming needs and a high density of soil sensors is an essential part of this effort. The accuracy and effectiveness of PA solutions are highly ...

Data dissemination protocols in cyber-physical systems must consider the importance of data packets in protocol decisions. Importance of data cannot generally be accurately represented by a static priority value or deadline, but rather must stem from ...

Despite recent advances in the field of Networked Control Systems (NCS), the gap between the control design stage and the implementation stage on a physical platform remains significant. The simplifying assumptions made in the analysis of NCS are often ...

Embedded systems, particularly real-time systems with temporal constraints, are increasingly deployed in every day life. Such systems that interact with the physical world are also referred to as cyber-physical systems (CPS). These systems commonly find ...

Our deteriorating civil infrastructure faces the critical challenge of long-term structural health monitoring for damage detection and localization. In contrast to existing research that often separates the designs of wireless sensor networks and ...

This paper presents a design and implementation of a cyber-physical system (CPS) for neurally controlled artificial legs. The key to the new CPS system is the neural-machine interface (NMI) that uses an embedded computer to collect and interpret ...

A model-driven design and validation of closed-loop medical device systems is presented. Currently, few if any medical systems on the market support closed-loop control of interconnected medical devices, and mechanisms for regulatory approval of such ...

There exists a growing need for automated interoperability among medical devices in modern healthcare systems. This requirement is not just for convenience, but to prevent the possibility of errors due to the complexity of interactions between the ...

One of the main characteristics of a Cyber Physical System (CPS) is the tight coupling of the computing and communications aspects of the system with its physical dynamics. In this paper, we examine this characteristic for a cooperative vehicle safety (...

This paper presents a new control strategy for data centers that aims to optimize the trade-off between maximizing the payoff from the provided quality of computational services and minimizing energy costs for computation and cooling. The data center is ...

Conventional battery management systems (BMSs) for electric vehicles (EVs) are designed in an ad hoc way, causing the supply of EVs to fall behind the market demand. A well-designed and combined hardware-software architecture is essential for the ...

Internet Data Center (IDC) supports the reliable operations of many important Internet on-line services. As the demand on Internet services and cloud computing keep increasing in recent years, the power usage associated with IDC operations has been ...

Body Sensor Networks (BSNs) have proven effective in improving quality of medical services by providing continuous and ambulatory healthcare monitoring. Realistic system often employ collaborative sensor models. Due to the data interdependencies, brief ...

A widespread model of computation, particularly suited for signal processing applications, which are often a key element in cyber-physical systems, is Synchronous (or Static) Data Flow (SDF). But hierarchical SDF models are not compositional: a ...