Search for dissertations about: "stochastic systems"

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

  2. 6. Active Resource Management in Middleware and Service-oriented Architectures

    Author : Niklas Widell; Institutionen för elektro- och informationsteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Telekommunikationsteknik; Telecommunication engineering; Intelligent Networks; TINA; web systems; distributed systems; resource allocation; stochastic optimization; simulation models; performance analysis; overload control; load balancing;

    Abstract : In this thesis, we study load balancing and overload control in two distributed architectures: Distributed Object Computing (DOC) systems and Services-oriented Architecture (SOA) systems. While DOC and SOA have differences in terms of implementation, they are similar from a performance viewpoint. READ MORE

  4. 7. Coordinated Multi-Stage Inventory Systems with Stochastic Demand

    Author : Jonas Andersson; Teknisk logistik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Management of enterprises; Produktionsteknik; Production technology; Nash Equilibria; Multi-Echelon; Coordination; Stochastic; Supply Chain; Inventory Control; Företagsledning; management;

    Abstract : This thesis is based on six scientific papers providing different methods for coordinated inventory control in supply chains. The main focus is on supply chains in connection with distribution of products to customers. Two different problem areas are considered. READ MORE

  5. 8. Design of Assured and Efficient Safety-critical Systems

    Author : Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
    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

  6. 9. Automated Approaches for Formal Verification of Embedded Systems Artifacts

    Author : Predrag Filipovikj; Cristina Seceleanu; Jim Woodcock; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

    Abstract : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. READ MORE

  7. 10. Estimation and Control of Resonant Systems with Stochastic Disturbances

    Author : Peter Nauclér; Torsten Söderström; Anders Robertsson; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; vibration control; stochastic control; stochastic systems; feedforward control; Wiener filtering; Kalman filtering; wave separation; unbalance estimation; nonlinear regression; Automatic control; Reglerteknik;

    Abstract : The presence of vibration is an important problem in many engineering applications. Various passive techniques have traditionally been used in order to reduce waves and vibrations, and their harmful effects. Passive techniques are, however, difficult to apply in the low frequency region. READ MORE