Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 71 for “"Cyber-physical systems (CPS)"”.
-
A Game Theoretic Framework to Secure Cyber Physical Systems (CPS) against Cyber Attacks
Cyber-Physical Systems (CPS) is a term describing a broad range of complex, multi-disciplinary, physically-aware next generation engineered systems that integrate embedded computing technologies (cyber part) into the physical world. CPS are engineered systems that are built from, and depend upon, …
-
Human-Interactions with Robotic Cyber-Physical Systems (CPS) for Facilitating Construction Progress Monitoring
… and has many safety risks to project inspectors. Cyber-Physical Systems (CPS) are networks of integrated physical and cyber components, such as robots, sensors, actuators, cloud computing, artificial intelligence, and the building itself. Introducing CPS for construction progress monitoring can …
-
Establishment of a Cyber-Physical Systems (CPS) Test Bed to Explore Traffic Collision Avoidance System (TCAS) Vulnerabilities to Cyber Attacks
Traffic Collision Avoidance Systems (TCAS) are safety-critical, unauthenticated, ranging systems required in commercial aircraft. Previous work has proposed TCAS vulnerabilities to attacks from malicious actors with low cost software defined radios (SDR) and inexpensive open-source software (GNU …
-
Hardware thread management modeling for precision timed processors
… currently in progress address timing demands for Cyber Physical Systems (CPS) applications. Certain areas of research seek to modify modern computer architecture to meet the needs of CPS applications. Moreover, specific modifications in current computer architecture have produced newer computer …
-
An energy-efficient periodic resource model for cyber-physical systems By Suzanne Elashri
Cyber-Physical Systems (CPS), especially real-time systems, are subject to time constraints that should be met for the applications to run properly. The schedulability of workloads can be analyzed by determining the supply and demand bound functions (sbf & dbf) when the minimum resource …
-
Compositional bounded reachability using time partitioning and abstraction
Automatic verification of cyber-physical systems (CPS) typically involves computing the reachable set of states of such systems. This computation is known to be exponential in the number of continuous variables. For systems that can be decomposed into separate components with lower dimensionality, …
-
Laboratory course curriculum in cyber-physical systems
The current real-time systems course (CS 424) needed to be revamped to incorporate current trends in industry and research. Consequently, this would include incorporating cyber-physical systems (CPS) into a full-fledged course and laboratory experience. After a first attempt was made, the course …
-
Secure and dependable cyber-physical system architectures
… computational power and connectivity in modern Cyber-Physical Systems (CPS) inevitably introduce more security vulnerabilities. The concern about CPS security is growing especially because a successful attack on safety-critical CPS (e.g., avionics, automobile, smart grid, etc.) can result in the …
-
Game-Theoretic Learning and Control for Resilience of Complex Adaptive Systems
Many dynamical systems nowadays fall into the category of the so-called cyber-physical systems (CPS). That is, they are systems of high complexity and heterogeneity, consisting of various digital and analog components that communicate with one another through multiple communication channels. For …
-
Online Message Delay Prediction for Model Predictive Control over Controller Area Network
Today's Cyber-Physical Systems (CPS) are typically distributed over several computing nodes communicating by way of shared buses such as Controller Area Network (CAN). Their control performance gets degraded due to variable delays (jitters) incurred by messages on the shared CAN bus due to …
-
Persistent Stealthy Attacks and their Detection in Large Distributed Cyber-Physical Systems
<p>"Cyber-Physical Systems (CPS) are increasingly targeted by attackers using a wide and evolving array of methods. When these systems are distributed, every node represents a potential vulnerability, and secure system design must take this into account. Distributed CPSs also have the potential to …
-
Neural Cryptanalysis for Cyber-Physical System Ciphers
… symmetric ciphers, particularly for proprietary cyber-physical systems (CPS) and lightweight block ciphers. This thesis work extends the work of the recently-developed neural cryptanalysis method, which trains neural networks on a set of plaintext/ciphertext pairs to extract meaningful bitwise …
-
Translating Discrete Time SIMULINK to SIGNAL
As Cyber Physical Systems (CPS) are getting more complex and safety critical, Model Based Design (MBD), which consists of building formal models of a system in order to be used in verification and correct-by-construction code generation, is becoming a promising methodology for the development of …
-
Structural performance evaluation and optimization through cyber-physical systems using substructure real-time hybrid simulation
… in particular for designing new structural systems or devices in a performance-based design environment. This dissertation focuses on the use of cyber-physical systems (CPS) to evaluate structural performance and achieve optimal designs for seismic protection. This dissertation presents …
-
Definizione di Soluzioni innovative basate su IoT per l'Interoperabilità in Industria 4.0
… intelligenti, conosciuti anche con il termine Cyber-Physical Systems (CPS), possono superare l'attuale rigidità dei processi di pianificazione e produzione. Dal punto di vista della digitalizzazione, i protocolli di comunicazione, le tecnologie semantiche e i modelli operativi devono essere …
-
Capability-based access control for cyber physical systems
Cyber Physical Systems (CPS) couple digital systems with the physical environment, creating technical, usability, and economic security challenges beyond those of information systems. Their distributed and hierarchical nature, real-time and safety-critical requirements, and limited resources create …
-
DomainSweep: Input Domain Driven Falsification of Cyber-Physical Systems
Modern Cyber-Physical Systems (CPS), tasked with complex control functions like autonomous driving, increasingly incorporate AI-enabled controllers based on deep neural networks (DNN). This growth necessitates robust safety measures and reliable protocols that ensure these systems function …
-
Predictive Statistical Monitoring(Improvements on online learning and background knowledge)
Monitoring is a highly used technique to check cyber-physical systems(CPS), where the corresponding model is either unavailable or not worthwhile to obtain.q Based on observing executions of a system, a monitor analyses if observations comply with expected behavior. Predictive monitoring of CPSs is …
-
Cyber-physical embedded systems with transient supervisory command and control: a framework for validating safety response in automated collision avoidance systems
… to design and engineer complex and dynamical Cyber-Physical Systems (CPS) requires a systematic view that requires a definition of level of automation intent for the system. Since CPS covers a diverse range of systemized implementations of smart and intelligent technologies networked within a …
-
Smart Product Design Methodology
… to smart connected products. Smart products are Cyber-Physical Systems (CPS) that provide services to users through Internet and Communication capabilities. The use of smart products offers exceptional potential for the users to meet their expectations and needs intelligently and effectively. …
Page 1 of 4