Thesis
An approach and tool for reasoning about situated cyber-physical systems
Master of Science (M.S.), Drexel University
01 Sep 2015
DOI:
https://doi.org/10.17918/etd-6512
Abstract
By situated cyber-physical systems (CPS) we refer to CPS that are located in some physical environment. The term is aimed at highlighting the two-way interaction between CPS and environment, and the subtle, serendipitous, and sometimes unexpected correlations that emerge because of the coexistence in and with a physical environment. For example, a CPS that has an elevated surface temperature will tend to heat the air around it, which in turn may influence the readings of temperature sensors on nearby CPS, but this conclusion can be drawn only by considering the corresponding physical laws. Unfortunately, these interactions are normally not captured by the modeling methodologies of CPS, but doing so can lead to improved anomaly detection and robustness of designs. In this thesis, we present a method for modeling the interactions of situated CPS, define corresponding reasoning algorithms, and introduce a tool that integrates in a state-of-the-art CPS design application and automates the reasoning processes.
Metrics
87 File views/ downloads
15 Record Views
Details
- Title
- An approach and tool for reasoning about situated cyber-physical systems
- Creators
- Ioan-Alexandru Nedelcu - DU
- Contributors
- Marcello Balduccini (Advisor) - Drexel University (1970-)
- Awarding Institution
- Drexel University
- Degree Awarded
- Master of Science (M.S.)
- Publisher
- Drexel University; Philadelphia, Pennsylvania
- Number of pages
- v, 50 pages
- Resource Type
- Thesis
- Language
- English
- Academic Unit
- Computer Science (Computing) (2013-2026); College of Computing and Informatics (2013-2026); Drexel University
- Other Identifier
- 6512; 991014632711604721