Search for dissertations about: "stochastic hybrid systems"

Showing result 1 - 5 of 16 swedish dissertations containing the words stochastic hybrid systems.

  1. 1. Dynamic Resampling for Preference-based Evolutionary Multi-objective Optimization of Stochastic Systems Improving the efficiency of time-constrained optimization

    University dissertation from Skövde : Högskolan i Skövde

    Author : Florian Siegmund; Högskolan i Skövde.; Högskolan i Skövde.; [2016]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Evolutionary multi-objective optimization; simulation-based optimization; guided search; preference-based optimization; reference point; decision support; noise; stochastic systems; dynamic resampling; budget allocation; sequential sampling; hybrid; ranking and selection; Natural sciences; Naturvetenskap; Technology; Teknik; Production and Automation Engineering; Produktion och automatiseringsteknik;

    Abstract : In preference-based Evolutionary Multi-objective Optimization (EMO), the decision maker is looking for a diverse, but locally focused non-dominated front in a preferred area of the objective space, as close as possible to the true Pareto-front. Since solutions found outside the area of interest are considered less important or even irrelevant, the optimization can focus its efforts on the preferred area and find the solutions that the decision maker is looking for more quickly, i. READ MORE

  2. 2. Design of Assured and Efficient Safety-critical Systems

    University dissertation from Västerås : Mälardalen University

    Author : Nesredin Mahmud; Mälardalens högskola.; [2019]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

    Abstract : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. READ MORE

  3. 3. Multiscale Stochastic Simulation of Reaction-Transport Processes Applications in Molecular Systems Biology

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Andreas Hellander; Uppsala universitet.; Uppsala universitet.; [2011]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; stochastic simulation; chemical master equation; reaction-diffusion master equation; unstructured mesh; active transport; hybrid methods; URDME; Scientific Computing; Beräkningsvetenskap;

    Abstract : Quantitative descriptions of reaction kinetics formulated at the stochastic mesoscopic level are frequently used to study various aspects of regulation and control in models of cellular control systems. For this type of systems, numerical simulation offers a variety of challenges caused by the high dimensionality of the problem and the multiscale properties often displayed by the biochemical model. READ MORE

  4. 4. Stochastic Event-Based Control and Estimation

    University dissertation from Department of Automatic Control, Lund Institute of Technology, Lund University

    Author : Toivo Henningsson; Lunds universitet.; Lund University.; [2012]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; event-based control; event-based estimation; sporadic control; stochastic control; stochastic hybrid systems; sum-of-squares methods; control over networks; quantized measurements;

    Abstract : Digital controllers are traditionally implemented using periodic sampling, computation, and actuation events. As more control systems are implemented to share limited network and CPU bandwidth with other tasks, it is becoming increasingly attractive to use some form of event-based control instead, where precious events are used only when needed. READ MORE

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

    University dissertation from Västerås : Mälardalen University

    Author : Nesredin Mahmud; Mälardalens högskola.; [2017]
    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