Search for dissertations about: "modular space systems"

Showing result 1 - 5 of 26 swedish dissertations containing the words modular space systems.

  2. 1. Modulation, efficiency and lifetime of two-level and multilevel converters for a hydropower application

    Author : Chengjun Tang; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Pumped-storage hydropower; pulse width modulation; losses; modular multilevel converter; efficiency; variable speed; converter; lifetime; space vector modulation; thermal modelling; neutral point clamped converter;

    Abstract : Along with the integration of the renewable energy in the electrical grid, the pumped-storage hydropower has gained more and more attention due to its fast response and energy storage ability. To have a higher overall efficiency and more flexibility of the system, variable speed is preferred in the operation of the pumped-storage hydropower applications. READ MORE

  4. 2. Modular Learning and Optimization for Planning of Discrete Event Systems

    Author : Fredrik Hagebring; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; discrete optimization; large-scale optimization; modular learning; automation; discrete event systems; active learning; Compositional optimization;

    Abstract : Optimization of industrial processes, such as manufacturing cells, can have great impact on their performance. Finding optimal solutions to these large-scale systems is, however, a complex problem. They typically include multiple subsystems, and the search space generally grows exponentially with each subsystem. READ MORE

  5. 3. On Compositional Approaches for Discrete Event Systems Verification and Synthesis

    Author : Sahar Mohajerani; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Over the past decades, human dependability on technical devices has rapidly increased.Many activities of such devices can be described by sequences of events,where the occurrence of an event causes the system to go from one state to another.This is elegantly modelled by state machines. READ MORE

  6. 4. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

    Author : Mona Noori-Hosseini; Chalmers tekniska högskola; []
    Keywords : 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;

    Abstract : 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. READ MORE

  7. 5. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

    Author : Imran Mahmood; Rassul Ayani; Gary Tan; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling and Simulation; Component-based development; Composability; Semantic Composability; Dynamic-Semantic Composability; Verification; Correctness; Petri Nets Analysis; Algebraic Techniques; Colored Petri Nets; State-space Analysis; Communicating Sequential Processes; Model Checking.; SRA - ICT; SRA - Informations- och kommunikationsteknik;

    Abstract : The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. READ MORE