Search for dissertations about: "stochastic hybrid systems"

Showing result 6 - 10 of 17 swedish dissertations containing the words stochastic hybrid systems.

  2. 6. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models

    Author : Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz; Guillermo Rodriguez-Navas; Riccardo Scandariato; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; requirements specification; embedded systems; ontology; formal methods; simulink; sat; domain specific language; requirements boilerplates; Computer Science; datavetenskap;

    Abstract : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. READ MORE

  4. 7. Stochastic Simulation of Reaction-Diffusion Processes

    Author : Stefan Hellander; Per Lötstedt; Johan Elf; Koichi Takahashi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; stochastic simulation; microscale; mesoscale; Smoluchowski s equation; hybrid methods; Beräkningsvetenskap med inriktning mot numerisk analys; Scientific Computing with specialization in Numerical Analysis;

    Abstract : Numerical simulation methods have become an important tool in the study of chemical reaction networks in living cells. Many systems can, with high accuracy, be modeled by deterministic ordinary differential equations, but other systems require a more detailed level of modeling. READ MORE

  5. 8. Methods for Stochastic Optimal Control under State Constraints

    Author : Per Rutquist; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; control theory; optimal control; stochastic systems; Hamilton-Jacobi-Bellmanequation; Fokker-Planck-Kolmogorov equation;

    Abstract : This thesis looks at a few different approaches to solving stochas-tic optimal control problems with state constraints. The motivatingproblem is optimal control of an energy buffer in a hybrid vehicle,although applications are abundant in a number of areas. READ MORE

  6. 9. Strategies, Methods and Tools for Solving Long-term Transmission Expansion Planning in Large-scale Power Systems

    Author : Desta Zahlay Fitiwi; Lennart Söder; Michel Rivier; Fernando de Cuadra; Andres Ramos; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Transmission expansion planning; uncertainty and variability; optimization; stochastic programming; moments technique; clustering; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Driven by a number of factors, the electric power industry is expected to undergo a paradigm shift with a considerably increased level of variable energy sources. A significant integration of such sources requires heavy transmission investments over geographically wide and large-scale networks. READ MORE

  7. 10. On Numerical Descriptions of Road Transport Missions

    Author : Pär Pettersson; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; energy efficiency; Transport mission description; CO$_2$-emission; full vehicle simulation; road format; energy consumption; operating cycle;

    Abstract : This thesis addresses some issues of current interest in energy consumption prediction through simulation. First, we review the situation for rating, regulation and legislation of CO$_2$-emissions for cars and heavy vehicles. READ MORE