Essays about: "Automaton"

Showing result 1 - 5 of 32 essays containing the word Automaton.

  1. 1. Modelling and Investigation of Control of a Power Infrastructure Resource Management System for a Radio Base Station : A study on sustainable power management for ICT infrastructure.

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Gustav Lenart; [2023]
    Keywords : Hybrid Dynamical Systems; Resource Management; Hybrid Automaton; Sustainable solutions for Wireless technology; Hybrid Dynamiska System; Resurshantering; Hybrid Automaton; Hållbara lösningar för trådlös teknologi;

    Abstract : In order to minimize greenhouse gas emissions and operational cost related to the ICT-infrastructure the power management method of a Radio Base Station (RBS) or Base Transceiver Station (BTS) at Ericsson is studied and modelled. The major load demand at RBS’s are due to uplink and downlink data traffic. READ MORE

  3. 2. Path Choice Estimation in Urban Rails : Asimulation based optimisation for frequency-based assignment model

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Alexander Adolfsson; [2022]
    Keywords : Black-Box Optimisation; Optimization; Simulation based optimisation; Transit Network; Automaton; Urban Transport; Public transportation; Black-Box optimering; Optimering; Simuleringsbaserad Optimering; Transportsystem; Automation; Local Transport; Kollektivtrafik;

    Abstract : Transit system have a large importance in modern urban cities, with urban rail often acting as the central system with it efficient travel time and great capacity. As cities grow in population, so to does the usage of urban rail resulting in increased crowding on the platform and in the trains. READ MORE

  4. 3. Linear dynamic logic on finite traces in business process management : a compositional approach

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Mathias Hedqvist; [2022]
    Keywords : linear dynamic logic on finite traces; ldlf; linear temporal logic on finite traces; ltlf; business process management; bpm;

    Abstract : One way of modeling workflows in business process management (BPM) is by using a declarative approach, that is, instead of imperatively specifying what needs to be done, and in what order, one can specify constraints on what is allowed. The result is a more flexible model as everything that does not violate the specified constraints is allowed. READ MORE

  5. 4. Automatically Learning Register Automata from MATLAB Code : A case study in autonomous driving

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Marco Dei Rossi; [2021]
    Keywords : Automata learning; SL*; Register automata; RALib; Lateral State Manager; Automata learning; SL*; Register automata; RALib; LSM; Automata learning; SL*; Register automata; RALib; LSM;

    Abstract : The successful verification of the behaviour of an Autonomous driving (AD) vehicle is fundamental for the commercialization of this new technology. Formal verification can be used to exhaustively verify the correctness of a system, but it requires a formal model to do so. READ MORE

  6. 5. Thermodynamical properties of cellular automata

    University essay from Lunds universitet/Matematisk fysik; Lunds universitet/Fysiska institutionen

    Author : Luca Bertolani; [2020]
    Keywords : Thermodynamics; Statistical; Mechanics; Cellular; automata; chaos; complex; matrix; computational; mathematical; 2d; two; dimensional; program; code; python; ising; teaching; ideal; gas; partition; function; equilibrium; non-equilibrium; classification; neighbourhood; local; Physics and Astronomy;

    Abstract : Cellular automata are a set of discrete computational models whose evolution is defined by neighbourhood rules and are used to simulate many complex systems in physics and science. In this work, statistical mechanics and thermodynamics in and out of equilibrium are used to develop a five-class classification scheme for two-dimensional cellular automata. READ MORE