Sökning: "Automation Components"

Visar resultat 21 - 25 av 133 avhandlingar innehållade orden Automation Components.

  1. 21. On the performance of robotic parts-to-picker order picking systems

    Författare :Yasmeen Jaghbeer; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automation; materials handling; Order picking;

    Sammanfattning : Order picking is the activity in which a number of items are retrieved from a warehousing system to satisfy a number of customer orders. Automating order picking systems has become a common response to the wide variety of products and components stored in today’s warehouses and the short delivery lead times requested by today’s customers. LÄS MER

  3. 22. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

    Författare :Mona Noori-Hosseini; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Temporal logic; Anonymity; Opacity; Discrete event systems.; Automation; Formal verification; Fault diagnosability; Incremental abstraction;

    Sammanfattning : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. LÄS MER

  4. 23. Autonomous Runtime System of Systems Interoperability

    Författare :Cristina Paniagua; Jerker Delsing; Josef Hallberg; Luis Almeida; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; SOA; SoS; Interoperability; code generation; automation; Arrowhead Framework; Cyber-Physical Systems; Cyberfysiska system;

    Sammanfattning : The current technological environment is evolving increasingly fast, and the development of new devices, technologies, and architectures has opened an emergent paradigm where the digital and physical world work together, leading to a new digitalizacion era.For the industry, the shift of paradigm represents the start of the fourth industrial revolution, also called Industry 4. LÄS MER

  5. 24. Analyzing Substation Automation System Reliability using Probabilistic Relational Models and Enterprise Architecture

    Författare :Johan König; Lars Nordström; Sebastian Lehnhoff; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reliability analysis; substation automation; Enterprise Architecture; probabilistic analysis; Probabilistic Relational Models; Bayesian networks; software reliability; failure rates; fault tree analysis;

    Sammanfattning : Modern society is unquestionably heavily reliant on supply of electricity. Hence, the power system is one of the important infrastructures for future growth. LÄS MER

  7. 25. On Provably Correct Decision-Making for Automated Driving

    Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

    Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER