Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories

2015 ◽  
Author(s):  
Kishore Pochiraju ◽  
Sanjai Narain
Keyword(s):  
System Integration ◽  
Physical System ◽  
Satisfiability Modulo Theories ◽  
Cyber Physical System

Toward a Science of Cyber–Physical System Integration

2012 ◽  
Vol 100 (1) ◽  
pp. 29-44 ◽  
Author(s):  
J. Sztipanovits ◽  
X. Koutsoukos ◽  
G. Karsai ◽  
N. Kottenstette ◽  
P. Antsaklis ◽  
...  
Keyword(s):  
System Integration ◽  
Physical System ◽  
Cyber Physical System

Performance Analysis of a Simplified Model of Cooling Load for a Typical Office Building

2013 ◽  
Author(s):  
Oluwaseyi T. Ogunsola ◽  
Li Song
Keyword(s):  
Air Temperature ◽  
System Integration ◽  
Physical System ◽  
Energy Use ◽  
Building Envelope ◽  
Building Simulation ◽  
Simplified Model ◽  
Cyber Physical System ◽  
Load Estimation ◽  
Cooling Load

Buildings are responsible for at least 40% of energy use in most countries of the world, and for up to 21% of greenhouse gas emissions globally. As this trend continues, real-time building load measurements are essential for dynamic load response control, understanding and improvement of load distributions and profiles, and for climate-responsive design, particularly in commercial buildings. The focus in this paper is the cooling load, which is the rate at which heat must be removed from the controlled zone to maintain the desired temperature. Estimation of maximum cooling load is necessary for sizing of cooling equipments. However, details needed for whole-building simulation are often unreliable or unavailable. As such, simplified models with reasonable accuracy and computational requirements are often used. A cyber-physical system, integration of physical sensors and mathematical model, is proposed in this paper for cooling load estimation. The physical sensor measurements are limited to outside air temperature, solar radiation, room air temperature, and building plug load. Meanwhile, resistance-capacitance (RC) concept was adopted to describe the physics and dynamics of the building envelope for its simplicity and reasonable computational requirements. The cyber-physical system was tested using a typical office having two thermal zones and compared with simulation results from EnergyPlus, a whole building simulation program. Phenomenon such as infiltration, inter-zone air mixing, and air moisture control were not taken into account for the model. Results are presented to determine the accuracy of the simplified model for cooling load estimation.

A Cyber-Physical System for Hydrobatic AUVs: System Integration and Field Demonstration

2020 ◽  
Author(s):  
Sriharsha Bhat ◽  
Ignacio Torroba ◽  
Ozer Ozkahraman ◽  
Nils Bore ◽  
Christopher Iliffe Sprague ◽  
...  
Keyword(s):  
System Integration ◽  
Physical System ◽  
Cyber Physical System

Implementation of a Cyber-Physical System Using Wireless Sensor Networks for Monitoring Patients

2015 ◽  
Vol 1 ◽  
pp. 26 ◽  
Author(s):  
Vo Que Son ◽  
Do Tan A
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Physical System ◽  
Patient Monitoring ◽  
High Reliability ◽  
Vital Signs ◽  
Wireless Sensor ◽  
Cyber Physical System ◽  
Self Administration ◽  
Hospital Units

Sensing, distributed computation and wireless communication are the essential building components of a Cyber-Physical System (CPS). Having many advantages such as mobility, low power, multi-hop routing, low latency, self-administration, utonomous data acquisition, and fault tolerance, Wireless Sensor Networks (WSNs) have gone beyond the scope of monitoring the environment and can be a way to support CPS. This paper presents the design, deployment, and empirical study of an eHealth system, which can remotely monitor vital signs from patients such as body temperature, blood pressure, SPO2, and heart rate. The primary contribution of this paper is the measurements of the proposed eHealth device that assesses the feasibility of WSNs for patient monitoring in hospitals in two aspects of communication and clinical sensing. Moreover, both simulation and experiment are used to investigate the performance of the design in many aspects such as networking reliability, sensing reliability, or end-to-end delay. The results show that the network achieved high reliability - nearly 97% while the sensing reliability of the vital signs can be obtained at approximately 98%. This indicates the feasibility and promise of using WSNs for continuous patient monitoring and clinical worsening detection in general hospital units.

Sign in / Sign up

Export Citation Format

Share Document