Performance Modelling, and Adaptive Control for Linked Sequential Systems

This thesis investigates the dynamics of linked sequential systems of machines in industrial laundries. Two aspects are considered: firstly the control of such systems and in particular the decision making point when a batch to be processed can be sent to one of many identical machines, and secondly the modelling of the whole system of linked machines. The decision making point in the control of these systems is frequently implemented in a sub-optimal manner, or a manner which becomes sub-optimal as conditions change. An adaptive system is preferable and an Evolutionary Artificial Neural Network approach (EANN) is proposed. The EANN is tested on simulations of real laundry systems and shown to be effective. Then it is applied to two abstract game playing problems in order to better understand its limitations. Limitations are found to include the fact that if learning does not appear to take place, it is not possible to determine if this is a failure of the Evolutionary approach or the Artificial Neural Network parameters. The dynamics and performance of Linked Sequential Systems in Industrial Laundries are not well understood or covered by theory in the literature. The theory of the performance of these systems is outlined, and an Agent Based Model (ABM) simulation presented. The ABM simulation is explained and then the simulation is compared to a real world system in an existing laundry. The performance of the existing system is measured and compared to the prediction of the ABM simulation. The ABM simulation is shown to offer a better understanding of the system than the previous static calculation. Finally the ABM is used in a design exercise to show how it could be used to specify a system more accurately than the static calculation at design stage

A Stochastic Game Theoretical Model for Cyber Security

The resiliency of systems integrated through cyber networks is of utmost importance due to the reliance on these systems for critical services such as industrial control systems, nuclear production, and military weapons systems. Current research in cyber resiliency remains largely limited to methodologies utilizing a singular technique that is predominantly theoretical with limited examples given. This research uses notional data in presenting a novel approach to cyber system analysis and network resource allocation by leveraging multiple techniques including game theory, stochastic processes, and mathematical programming. An operational network security problem consisting of 20 tactical normal form games provides an assessment of the resiliency of a cyber defender\u27s network by leveraging the solutions of each tactical game to inform transitional probabilities of a discrete-time Markov chain over an attacker- defender state space. Furthermore, the Markov chain provides an assessment of the conditional path through the operational problem with an expected cost of damage to the defender network. The solutions of the tactical games and, in turn the operational problem, are utilized to determine the effects and risks of projected network improvement resource allocation decisions via an integer program. These results can be used to inform network analysts of the resiliency of their network while providing recommendations and requirements for improving their network resiliency posture against potential malicious external actors

Formal Specification and Verification for Automated Production Systems

Complex industrial control software often drives safety- and mission-critical systems, like automated production plants or control units embedded into devices in automotive systems. Such controllers have in common that they are reactive systems, i.e., that they periodically read sensor stimuli and cyclically execute the same program to produce actuator signals. The correctness of software for automated production is rarely verified using formal techniques. Although, due to the Industrial Revolution 4.0 (IR4.0), the impact and importance of software have become an important role in industrial automation. What is used instead in industrial practice today is testing and simulation, where individual test cases are used to validate an automated production system. Three reasons why formal methods are not popular are: (a) It is difficult to adequately formulate the desired temporal properties. (b) There is a lack of specification languages for reactive systems that are both sufficiently expressive and comprehensible for practitioners. (c) Due to the lack of an environment model the obtained results are imprecise. Nonetheless, formal methods for automated production systems are well studied academically---mainly on the verification of safety properties via model checking. In this doctoral thesis we present the concept of (1) generalized test tables (GTTs), a new specification language for functional properties, and their extension (2) relational test tables (RTTs) for relational properties. The concept includes the syntactical notion, designed for the intuition of engineers, and the semantics, which are based on game theory. We use RTTs for a novel confidential property on reactive systems, the provably forgetting of information. Moreover, for regression verification, an important relational property, we are able to achieve performance improvements by (3) creating a decomposing rule which splits large proofs into small sub-task. We implemented the verification procedures and evaluated them against realistic case studies, e.g., the Pick-and-Place-Unit from the Technical University of Munich. The presented contribution follows the idea of lowering the obstacle of verifying the dependability of reactive systems in general, and automated production systems in particular for the engineer either by introducing a new specification language (GTTs), by exploiting existing programs for the specification (RTTs, regression verification), or by improving the verification performance

Application of the war of attrition game to the analysis of intellectual property disputes

In many developing countries intellectual property infringement and the commerce of pirate goods is an entrepreneurial activity. Digital piracy is very often the only media for having access to music, cinema, books and software. At the same time, bio-prospecting and infringement of indigenous knowledge rights by international consortiums is usual in places with high biodiversity. In these arenas transnational actors interact with local communities. Accusations of piracy often go both ways. This article analyzes the case of southeast Mexico. Using a war of attrition game theory model it explains different situations of intellectual property rights piracy and protection. It analyzes different levels of interaction and institutional settings from the global to the very local. The article proposes free IP zones as a solution of IP disputes. The formation of technological local clusters through Free Intellectual Property Zones (FIPZ) would allow firms to copy and share de facto public domain content for developing new products inside the FIPZ. Enforcement of intellectual property could be pursuit outside of the FIPZ. FIPZ are envisioned as a new type of a sui generis intellectual property regime

Theoretical Perspectives on Work and the Employment Relationship

Developing a strong theoretical base for research and practice in industrial relations and human resource management has, to date, remained a largely unfulfilled challenge. This pioneering volume helps close the theory gap by presenting contributions from fifteen leading scholars that develop and extend theoretical perspectives on work and the employment relationship. Subject areas covered include theories of employment relations systems, varieties of capitalism, the labor process, new institutional economics, individual work motivation, strategic human resource management, a theory of transaction costs and employment contracts, efficiency versus equity, and comparative industrial relations

Training Competences in Industrial Risk Prevention with Lego® Serious Play®: A Case Study

This paper proposes the use of the Lego® Serious Play® (LSP) methodology as a facilitating tool for the introduction of competences for Industrial Risk Prevention by engineering students from the industrial branch (electrical, electronic, mechanical and technological engineering), presenting the results obtained in the Universities of Cadiz and Seville in the academic years 2017–2019. Current Spanish legislation does not reserve any special legal attribution, nor does it require specific competence in occupational risk prevention for the regulated profession of a technical industrial engineer (Order CIN 351:2009), and only does so in a generic way for that of an industrial engineer (Order CIN 311:2009). However, these universities consider the training in occupational health and safety for these future graduates as an essential objective in order to develop them for their careers in the industry. The approach is based on a series of challenges proposed (risk assessments, safety inspections, accident investigations and fire protection measures, among others), thanks to the use of “gamification” dynamics with Lego® Serious Play®. In order to carry the training out, a set of specific variables (industrial sector, legal and regulatory framework, business organization and production system), and transversal ones (leadership, teamwork, critical thinking and communication), are incorporated. Through group models, it is possible to identify dangerous situations, establish causes, share and discuss alternative proposals and analyze the economic, environmental and organizational impact of the technical solutions studied, as well as take the appropriate decisions, in a creative, stimulating, inclusive and innovative context. In this way, the theoretical knowledge which is acquired is applied to improve safety and health at work and foster the prevention of occupational risks, promoting the commitment, effort, motivation and proactive participation of the student teams.Spanish Ministry of Science, Innovation and Universities / European Social Fund: Ramón y Cajal contract (RYC-2017-22222

Developing a usable security approach for user awareness against ransomware

This thesis was submitted for the award of Doctor of Philosophy and was awarded by Brunel University LondonThe main purpose of the research presented in this thesis is to design and develop a game prototype for improving user awareness against ransomware, which has been reported as the most significant cyber security threat to the United Kingdom by the National Cyber Security Centre. Digital transformation is helping individuals, organisations, governments and Industrial control systems to modernise and improve their effectiveness. At the same time, cyber crimes are evolving and targeting essential services. A successful cyber attack can compromise users’ privacy, bring bad publicity and financial damage to organisations and target national security. A literature review was conducted to understand threats to the cyber social system. Literature in this thesis reports attackers exploit humans as the weakest link to execute successful security breaches. Therefore to address this challenge, a significant gap has been identified as an opportunity to contribute to user awareness of the ransomware cyber security threat. The current thesis proposes RansomAware a novel game prototype to improve user awareness. The game is based on Technology Threat Avoidance Theory (TTAT) model. In this thesis two studies are carried out, study 1 empirically validates the elements of TTAT to be embedded in the RansomAware prototype and reports a significant change in users’ motivation to avoid ransomware cyber security threat 55% and avoidance behaviour 29%, whereas study 2 evaluates game usability and report significant results of SUS average score of 87.58 and statistical results of p < 0.01 indicate user’s satisfaction of the RansomAware. Finally, the research provides guidelines on how the proposed RansomAware game can be adopted by practitioners and individuals to improve their awareness against the ransomware cyber security threat