Sökning: "Stateflow"

Visar resultat 1 - 5 av 13 uppsatser innehållade ordet Stateflow.

  1. 1. Development of an on-board charger model for real time simulation

    Master-uppsats, KTH/Väg- och spårfordon samt konceptuell fordonsdesign

    Författare :Neil Wagle; [2022]
    Nyckelord :On board charger OBC ; Hardware in loop HIL ; Precharge; Power factor correction; Electric vehicle EV charging; Vehicle to grid V2G service; Omboardladdare OBC ; Hardware in loop HIL ; Precharge; Effektfaktorkorrigering; Laddning av elfordon; Tjänst för fordon till elnät;

    Sammanfattning : Electrification of vehicles is now one of the top priorities of automotive manufacturers in orderto comply with the sustainability goals and standards set by the United Nations. One of thedisadvantages faced by electric vehicles is a longer time required for charging the vehicles ascompared to refuelling a conventional vehicle. LÄS MER

  3. 2. Modelling Safety of Autonomous Driving with Semi-Markov Processes

    Kandidat-uppsats,

    Författare :Hugo Kvanta; [2021]
    Nyckelord :Markov chan; generalized semi- Markov processes; dependability analysis; autonomous vehicles;

    Sammanfattning : With the advent of autonomous vehicles, the issue of safety-evaluationhas become key. ISO26262 recommends using Markov chains. However, in their most common form, Markov chains lack the flexibility required to model non- exponential probability distributions and systems displaying parallelism. LÄS MER

  4. 3. Implementation and evaluation of bounded invariant model checking for a subset of Stateflow

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Gustav Ung; [2021]
    Nyckelord :Formal methods; Bounded Model Checking; Stateflow; SLDV; Formella metoder; Begränsad modellprovning; Stateflow; SLDV;

    Sammanfattning : Stateflowmodels are used for describing logic and implementing state machines in modern safety-critical software. However, the complete Stateflowmodelling language is hard to formally define, therefore a subset relevant for industrial models has been developed in previous works. LÄS MER

  5. 4. Modeling and Simulation of a Hybrid Powertrain

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Martin Hedon; [2018]
    Nyckelord :Automotive; control strategy; hybrid powertrain; Matlab Simulink; stateflow; Thevenin equivalent circuit; Willans model; Bil; hybrid drivlina; kontrollstrategi; Matlab Simulink; stateflow; Thévenin-ekvivalent krets; Willans modell;

    Sammanfattning : Hybrid powertrains represent the current trend on passenger cars. The purpose of thisreport is to create a basic model of a hybrid powertrain in Matlab/Simulinkenvironment and study their performance over certification driving cycle. Threecommonly used architectures are modeled and discussed in Simulink. LÄS MER

  7. 5. Model-Based Design of a Fork Control System in Very Narrow Aisle Forklifts

    Master-uppsats, Linköpings universitet/Reglerteknik

    Författare :Erik Bodin; Henric Davidsson; [2017]
    Nyckelord :truck; forklift; turret; head; turret-head; hydraulics; proportional valve; model-based design; model-based; control; toyota;

    Sammanfattning : This thesis explains the model-based design of a fork control system in a turret head operated Very Narrow Aisle forklift in order to evaluate and push the limits of the current hardware architecture. The turret head movement consists of two separate motions, traversing and rotation, which both are hydraulically actuated. LÄS MER