Search for dissertations about: "systems theory"

Showing result 16 - 20 of 1882 swedish dissertations containing the words systems theory.

  1. 16. Cybersecurity Incident Response A Socio-Technical Approach

    University dissertation from Stockholm : Department of Computer and Systems Sciences, Stockholm University

    Author : Bilal Al Sabbagh; Stewart Kowalski; Louise Yngström; Mathias Ekstedt; [2019]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; cybersecurity incident response; SIEM; cybersecurity warning systems; socio-technical approach; organisation security culture; data- och systemvetenskap; Computer and Systems Sciences;

    Abstract : This thesis examines the cybersecurity incident response problem using a socio-technical approach. The motivation of this work is the need to bridge the knowledge and practise gap that exists because of the increasing complexity of cybersecurity threats and our limited capability of applying cybersecurity controls necessary to adequately respond to these threats. READ MORE

  2. 17. Many-Sorted Implicative Conceptual Systems

    University dissertation from Stockholm : Department of Computer and Systems Sciences, Royal Institute of Technology

    Author : Jan Odelstad; Högskolan i Gävle.; KTH.; [2008]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; SOCIAL SCIENCES Statistics; computer and systems science Informatics; computer and systems science Computer and systems science; SAMHÄLLSVETENSKAP Statistik; data- och systemvetenskap Informatik; data- och systemvetenskap Data- och systemvetenskap;

    Abstract : A theory of many-sorted implicative conceptual systems (abbreviated msic-systems) is presented. Examples of msic-systems include legal systems, normative systems, systems of rules and instructions, and systems expressing policies and various kinds of scientific theories. READ MORE

  3. 18. Materials Handling in Production Systems: Design and Performance of Kit Preparation

    University dissertation from Stockholm : Department of Computer and Systems Sciences, Royal Institute of Technology

    Author : Patrik Fager; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; kitting; kit preparation; order picking; materials supply systems;

    Abstract : This thesis focuses on processes for kit preparation, which are applied with the materials supply principle of kitting in production systems for mixed-model assembly. With kitting, assembly processes are supplied with portions of pre-sorted components, and each portion makes up a kit that holds the components needed for one assembly object at one or several assembly processes. READ MORE

  4. 19. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

    University dissertation from Department of Computer Systems, Uppsala University

    Author : Paul Pettersson; Uppsala universitet.; [1999]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. READ MORE

  5. 20. Correct-by-Construction Tactical Planners for Automated Cars

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Jonas Krook; [2019]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

    Abstract : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. READ MORE