Sökning: "Secure Control"

Visar resultat 16 - 20 av 155 avhandlingar innehållade orden Secure Control.

  1. 16. Attribute-based Approaches for Secure Data Sharing in Industry

    Författare :Alex Chiquito; Ulf Bodin; Olov Schelén; Pál Varga; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Access Control; NGAC; Fine-grained; IoT; Industry 4.0; Encryption; flexible; Cyber-Physical Systems; Cyberfysiska system;

    Sammanfattning : The Industry 4.0 revolution relies heavily on data to generate value, innovation, new services, and optimize current processes [1]. Technologies such as Internet of Things (IoT), machine learning, digital twins, and much more depend directly on data to bring value and innovation to both discrete manufacturing and process industries. LÄS MER

  3. 17. On Frequency Control Schemes in Power Systems with Large Amounts of Wind Power

    Författare :Camille Hamon; Lennart Söder; Magnus Perninge; Henrik Hult; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Wind power; Stochastic optimal power flows; Frequency control schemes; Tertiary frequency control; uncertainty; power systems;

    Sammanfattning : In recent years, large investments have been made in wind power, and this trend is expected to continue in the coming decades. Integrating more wind power in the production mix offers great opportunities for the society, such as reducing greenhouse gas emissions and the dependence on foreign fuel. LÄS MER

  4. 18. MAC, A Verified Information-Flow Control Library

    Författare :Marco Vassena; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Haskell; NonInterference; Agda; Functional Programming; Information-Flow Control;

    Sammanfattning : Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows within a program and prevents leakage of sensitive data. IFC has been embedded in pure functional languages such as Haskell, in the form of a library, thus reducing the implementation and maintenance effort and fostering a secure-by-construction programming-model. LÄS MER

  5. 19. Simplifying development of secure software : Aspects and Agile methods

    Författare :Gustav Boström; Paul Johanneson; Olle Olsson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; AOP Security Engineering Software Engineering; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : Reducing the complexity of building secure software systems is an important goal as increased complexity can lead to more security flaws. This thesis aims at helping to reduce this complexity by investigating new programming techniques and software development methods for implementing secure software. LÄS MER

  7. 20. Flexible Robot to Object Interactions Through Rigid and Deformable Cages

    Författare :Alejandro Marzinotto; Danica Kragic; Henrik Gordon Petersen; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; planning; control; perception; caging; cage; grasping; multi-agent; robot; robotic; knot; knotting; behaviour trees; behavior trees; action scheduling; RRT; Computer Science; Datalogi;

    Sammanfattning : In this thesis we study the problem of robotic interaction with objects from a flexible perspective that complements the rigid force-closure approach. In a flexible interaction the object is not firmly bound to the robot (immobilized), which leads to many interesting scenarios. LÄS MER