Search for dissertations about: "complex systems probability"

Showing result 1 - 5 of 95 swedish dissertations containing the words complex systems probability.

  2. 1. Synthesis of Safety-Critical Real-Time Systems

    Author : Yuanbin Zhou; Zebo Peng; Petru Ion Eles; Soheil Samii; Luis Almeida; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Safety-Critical Systems; Real-Time Systems; Time-Sensitive Networking; Mixed-Criticality Systems;

    Abstract : Modern safety-critical real-time systems are becoming more and more complex, due to sophisticated applications such as advanced driving assistance, automated driving, advanced infotainment, and applications involving machine learning and deep learning. This has led to increased requirements for the communication infrastructures. READ MORE

  4. 2. 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

  5. 3. HARQ Systems: Resource Allocation, Feedback Error Protection, and Bits-to-Symbol Mappings

    Author : Chaitanya Tumula V. K.; Erik G. Larsson; Danyo Danev; Ana I. Pérez-Neira; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; HARQ Systems; Resource Allocation; Geometric Programming; 3GPP-LTE; PUCCH Format 2; Complex-field coding; Signal Space Diversity; Optimization; Superposition Coding;

    Abstract : Reliability of data transmission is a fundamental problem in wireless communications. Fading in wireless channels causes the signal strength to vary at the receiver and this results in loss of data packets. To improve the reliability, automatic repeat request (ARQ) schemes were introduced. READ MORE

  6. 4. Predictions Within and Across Aquatic Systems using Statistical Methods and Models

    Author : Peter H. Dimberg; Roger Herbert; Andreas C. Bryhn; Gesa Weyhenmeyer; Mikael Malmaeus; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Lake; Water quality; Chlorophyll-a; Total phosphorus; Seasonality; Morphometry; Regression model; Probability; Markov chain; Genetic programming; Temporal-trend; Earth Science with specialization in Environmental Analysis; Geovetenskap med inriktning mot miljöanalys;

    Abstract : Aquatic ecosystems are an essential source for life and, in many regions, are exploited to a degree which deteriorates their ecological status. Today, more than 50 % of the European lakes suffer from an ecological status which is unsatisfactory. READ MORE

  7. 5. On Parameter Estimation and Control of Time-Varying Stochastic Systems

    Author : Bengt Lindoff; Matematisk statistik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Statistics; Adaptive Predictive Control; Adaptive Stochastic Control; Dual Control; Convergence Analysis; Quadratic Forms; Forgetting Factor; Recursive Least Squares; Recursive Estimation; Linear Systems; Time-Varying Stochastic Systems; operations research; programming; actuarial mathematics; Statistik; operationsanalys; programmering; aktuariematematik;

    Abstract : This thesis is about parameter estimation and control of time-varying stochastic systems. It can be divided into two parts. The first part deals with an estimation algorithm commonly used when estimating parameters in time-varying stochastic systems, the Recursive Least Squares (RLS) algorithm with forgetting factor. READ MORE