No description available.

Linear repetitive projects, which are resource-driven in nature, are characterized by a series of repetitive activities in which the resources share the same space either in sequential or parallel manner. The frequent movement of resources over limited shared space needs to be well-planned to avoid potential issues during the execution of linear projects. As such, schedules developed for these projects needs not only to take into account all the logical, project-dependent and precedence constraints of activities but also to incorporate the space and time constraints that co-exist for the movement of thei8r resources. Negligence in incorporating spatial and temporal constraints in developing and improving schedules of linear projects increases the risk of delays and workspace congestions that can substantially hinder the performance of the activity resources. The study presented here proposes and develops an uncertainty-aware scheduling and control framework for linear projects to address the needs mentioned above. For this purpose, first, a new type of float was introduced as the Space-Time Float. The Space-Time Float is an envelope for all possible movement patterns that a linear activity or its associated resources can take considering the time and space constraints of that activity. The next endeavor in the development of the uncertainty-aware linear scheduling and control framework was to augment the current linear scheduling methods by presenting an uncertainty-aware optimization method to optimize the duration of linear projects while minimizing their potential congestions. A constraint satisfaction approach was used for the two-tier optimization of duration and congestion, and a fuzzy inference system was incorporated to assess the inherent uncertainty in linear activities. A new type of buffer, Uncertainty-Aware Productivity Buffer is also introduced to account for the uncertainties inherent in project activities. Spatial progress of activities needs not only to be considered in the planning phase but also to be closely monitored during construction. The framework presented in this study also applies to the monitoring and control of linear projects. While most of the current methods still do not accommodate real-time bi-directional control of linear projects, this framework is based on the Cyber-Physical Systems (CPS) architecture and bi-directional communication of data. To this end, a CPS-based application for Earned Value (EV) monitoring and control of road and highway projects is presented. Different steps of the generated framework are validated through various literature and field-based case studies. The results demonstrate the effectiveness of the presented method in planning and control of unforeseen variations from the planned schedules of linear projects. As such, the present study contributes and adds to the current body of knowledge of linear projects by presenting an efficient scheduling and control framework that takes into account logical, spatio-temporal and project-based constraints of linear activities. / Thesis / Doctor of Philosophy (PhD)

The original FlexiChain and its descendants are a revolutionary distributed ledger technology (DLT) for cyber-physical systems (CPS) and their embedded systems (ES). FlexiChain, a DLT implementation, uses cryptography, distributed ledgers, peer-to-peer communications, scalable networks, and consensus. FlexiChain facilitates data structure agreements. This thesis offers a Block Directed Acyclic Graph (BDAG) architecture to link blocks to their forerunners to speed up validation. These data blocks are securely linked. This dissertation introduces Proof of Rapid Authentication, a novel consensus algorithm. This innovative method uses a distributed file to safely store a unique identifier (UID) based on node attributes to verify two blocks faster. This study also addresses CPS hardware security. A system of interconnected, user-unique identifiers allows each block's history to be monitored. This maintains each transaction and the validators who checked the block to ensure trustworthiness and honesty. We constructed a digital version that stays in sync with the distributed ledger as all nodes are linked by a NodeChain. The ledger is distributed without compromising node autonomy. Moreover, FlexiChain Layer 0 distributed ledger is also introduced and can connect and validate Layer 1 blockchains. This project produced a DAG-based blockchain integration platform with hardware security. The results illustrate a practical technique for creating a system depending on diverse applications' needs. This research's design and execution showed faster authentication, less cost, less complexity, greater scalability, higher interoperability, and reduced power consumption.

<p dir="ltr">The world is increasingly dependent on cyber-physical systems (CPSs), e.g., robotic vehicles (RVs) and industrial control systems (ICSs). CPSs operate autonomously by processing data coming from both “cyberspace”—such as user commands—and “physical space”—such as sensors that measure the physical environment in which they operate. However, even after decades of research, CPSs remain susceptible to threats from attackers, primarily due to the increased complexity created by interaction with cyber and physical space (e.g., the cascading effects that changes in one space can impact on the other). In particular, the complexity causes two primary threats that increase the risk of causing physical damage to RVs: (1) logic bugs causing undesired physical behavior from the developers expectations; and (2) physical sensor attacks—such as GPS or acoustic noise spoofing—that disturb an RV’s sensor readings. Dealing with these threats requires addressing the interplay between cyber and physical space. In this dissertation, we systematically analyze the interplay between cyber and physical space, thereby tackling security problems created by such complexity. We present novel algorithms to detect logic bugs (PGFuzz in Chapter 2), help developers fix them (PGPatch in Chapter 3), and test the correctness of the patches attempting to address them (PatchVerif in Chapter 4). Further, we explain algorithms to discover the root causes and formulate countermeasures against physical sensor attacks that target RVs in Chapter 5.</p>

Background: The manufacturing industry is diverting away from the one-size-fits-all mass manufacture towards more customized processes. With increasingly individualized consumer preferences and an intense competitive environment, food manufacturers are required to meet specific consumer demands with similar efficiency to those produced massively. Such market requirements are feasible with the technological advancements envisioned by Industry 4.0. The consequences of such are increased flexibility and mass customization in manufacturing which forces the food manufacturer towards its realization. The integration process, however, involves a comprehensive transformation that affects every aspect of the organization. This consequently imposes significant challenges upon the food manufacturing company. Purpose: The study aims to investigate the transformation process ensued by the food manufacturer for Industry 4.0. Consequently, a conceptual framework is developed detailing the application of Industry 4.0 in the food manufacturing industry. Method: An inductive qualitative approach, in combination with a multiple-case study, is pursued to address the formulated questions of research. Based on such, semi-structured interviews were conducted with individuals representing three multinational food manufacturers. Further, a thematic analytical technique was adopted as means to identify similarities and patterns within the obtained data. The collected data was analyzed using thematic analysis through which the researchers came up with the conceptual framework. Conclusion: The results of the research reveal internal and external factors such as labor policies and IT infrastructure to influence the transformation process for Industry 4.0. In due to this, the implementation of the phenomenon occurs phase-wise, globally coordinated and regionally concentrated. This enables the organization to overcome the obstacles faced and, subsequently, ensure the successful deployment of Industry 4.0.

Global navigation satellite systems (GNSS) have radically changed business, industry, and society, shaping the way we transport, navigate, and generally live every day. After all these years, however, GNSS location information remains only valuable outdoors, leaving indoor environments where people dwell most of the time without proper localization support. Many technologies and systems have approached this problem including optical, inertial, ultrasonic, and radio-frequency (RF), to name a few; yet the problem remains. In this thesis, inspired by the indisputable success of GNSS and the re-emergence of ultra-wideband (UWB) radios to the forefront of technology, we aim to change the state of affairs in RF localization by proposing novel clean-slate UWB ranging and localization schemes based on concurrent transmissions. These are generally considered harmful for communication but become a rich source of localization information when combined with knowledge of the channel impulse response (CIR). Our first novel contribution lies in the concept of concurrent ranging, which allows mobile nodes to simultaneously measure the distance to multiple devices—hereafter, called responders—removing the need for the wasteful long packet exchanges traditionally used for ranging and localization. Different from conventional schemes, which spread responder transmissions over time, we force responders to transmit concurrently and let their signals “fuse” in the wireless channel; the resulting impulse response, as measured by commercial UWB radios, contains all the necessary timing information to extract the desired distance to all responders. This first contribution, however, also serves us to realize the many challenges ahead to unlock the real power of concurrent transmissions for localization. We address these challenges along the way, starting with Chorus, our second contribution. Chorus exploits an anchor infrastructure that transmits packets concurrently. Mobile nodes listen for these transmissions and measure from the CIR the time difference of arrival (TDoA) of the concurrent signals, privately computing their own position at a high rate using hyperbolic localization. This reverse TDoA scheme, although simple in concept, is extremely powerful in that it enables passive self-localization of infinitely many targets at once, a feature largely missing in the RF literature. In Chorus, we address the difficult challenges to reliably detect and identify the signal from the different responders. Yet, the limited transmission precision of commercial UWB transceivers constrains the many benefits of Chorus. In this context, we i) contribute a model to ascertain the impact of the transmission uncertainty on concurrent transmissions, and ii) address the issue with a compensation mechanism that fine-tunes the local oscillator frequency of responders while they prepare to transmit, allowing us to simultaneously tackle the impact of clock drift on distance estimation. We demonstrate in our evaluation that with this compensation mechanism we can schedule transmissions with &lt; 1 ns error, removing the need to share timestamps to precisely measure distance. We rebuild concurrent ranging around this mechanism, obtaining decimeter-level ranging and localization at a fraction of the cost of conventional schemes. These results turn concurrent ranging into an immediately applicable technique that new systems can now exploit, benefiting from a different set of trade-offs hitherto unavailable. Further, the TX compensation mechanism can be directly applied to Chorus, similarly making fast and accurate passive self-localization a tangible reality. We continue our endeavor with a systematic characterization of the conditions under which UWB concurrent transmissions succeed to provide reliable ranging and communication across different complex channels. The results we put forth empower developers to fully exploit concurrent transmissions in their designs, potentially inspiring a new wave of ranging, and also communication, primitives that can bring to UWB the same striking benefits found in low-power narrowband radios. The thesis is completed by looking at other challenges preventing the wide adoption of UWB localization systems, namely, large-scale operation, energy efficiency, and the complexity to install anchor deployments. We tackle these aspects in the last part of the thesis with three additional contributions. First, we propose Talla, a TDoA system that provides seamless large-scale localization for many tags across cells of time-synchronized anchors. Secondly, we fuse UWB ranging with odometry information and build an uncertainty model that only triggers new UWB estimates if and when needed, reducing consumption and channel utilization while satisfying the application-specific demands in terms of accuracy. And thirdly, we build state-of-the-art mechanisms to automatically compute the positions of all anchors deployed across large areas based on ranging information, facilitating anchor network deployment for the many UWB-based real-time location systems (RTLS) to come. Overall, this thesis changes the landscape of UWB localization with a new set of potentially disruptive schemes and systems that exploit the peculiar benefits of concurrent transmissions and that consequently redefine the trade-offs of the technology.

No description available.

No description available.

<p>  </p> <p>Manufacturing flexibility and human-centered designs are promising approaches to face the demand for individualized products. Human-robot assembly cells still lack flexibility and adaptability (VDI, 2017) using static control architectures (Bessler et al., 2020). Autonomous adaptation to human operators in short time horizons increases the willingness to work with cobots. Besides, monotonous static assembling in manufacturing operations does not accommodate the human way of working. Therefore, Human-Robot Collaboration (HRC) workstations require a work behavior adaptation accommodating varying work behavior regarding human mental and physical conditions (Weiss et al., 2021). The thesis presents the development of a cyber-physical HRC assembly station.</p> <p>Moreover, the thesis includes an experimental study investigating the influence of a cobot’s speed on human work behavior. The Cyber-Physical System (CPS) integrates the experiment's findings with event-based software architecture and a semantic knowledge representation. Thereby, the work focuses on demonstrating the feasibility of the CPS and the semantic model, allowing the self-adaptation of the system. Finally, the conclusion identifies the need for further research in human work behavior detection and fuzzy decision models. Such detection and decision models could improve self-adaptation in human-centered assembly systems.</p>

In the industrial sector, next generation technologies are being rapidly developed. One of the promising technologies is cyber-physical systems which are being used to revolutionize the welding process. A cyber-physical system can greatly improve the welding processes by taking over the tasks performed by humans, such as analysis, control and sensing which results in increased efficiency, quality, and stability of the welding process. However, integrating cyber-physical systems in the welding process requires a digital transformation strategy that outlines how organizational and technical challenges are intended to be resolved. The aim of the study is to identify the organizational challenges of integrating cyber-physical systems, and how to overcome them with the use of a digital transformation strategy. For this, the study adopts a qualitative case study approach to investigate the organizational challenges of integrating a cyber-physical system in the welding process of a large manufacturing organization. Further, it outlines aspects required in a digital transformation strategy to succeed with the integration.  The findings indicate that common challenges when integrating cyber-physical systems revolve around building secure networks, securing competencies, committing to the integration, and achieving transparency between management and employees. In addition, when formulating a digital transformation strategy, the findings indicate three factors that contribute to the success of the transformation. These are involvement of critical digital skills, undergoing required structural changes and reengineering organizational work processes where the cyber-physical system aims to be integrated.  Besides providing practical implications for the challenges and formulation of a digital transformation strategy for implementing cyber-physical systems in the welding process, the study contributes to the literature on digital transformation strategy and cyber-physical systems in manufacturing organizations.