Search for dissertations about: "formal modeling"

Showing result 6 - 10 of 90 swedish dissertations containing the words formal modeling.

  2. 6. Water and Carbon Balance Modeling: Methods of Uncertainty Analysis

    Author : John Juston; Per-Erik Jansson; Georg Lindgren; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling; uncertainty analysis; water balance; carbon balance; GLUE; Environmental engineering; Miljöteknik;

    Abstract : How do additional data of the same and/or different type contribute to reducing model parameter and predictive uncertainties? This was the question addressed with two models – the HBV hydrological water balance model and the ICBM soil carbon balance model – that were used to investigate the usefulness of the Generalized Likelihood Uncertainty Estimation (GLUE) method for calibrations and uncertainty analyses.  The GLUE method is based on threshold screening of Monte Carlo simulations using so-called informal likelihood measures and subjective acceptance criterion. READ MORE

  4. 7. Meta-Languages and Semantics for Equation-Based Modeling and Simulation

    Author : David Broman; Peter Fritzson; Jeremy Siek; Thomas Schön; Björn Lisper; Walid Taha; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Meta-language; semantics; EOO; Modelica; equations; modeling; simulation; MKL; Computer science; Datalogi;

    Abstract : Performing computational experiments on mathematical models instead of building and testing physical prototypes can drastically reduce the develop cost for complex systems such as automobiles, aircraft, and powerplants. In the past three decades, a new category of equation-based modeling languages has appeared that is based on acausal and object-oriented modeling principles, enabling good reuse of models. READ MORE

  5. 8. Discrete Event Process Modeling of Manufacturing Systems Using Sensor Graphs

    Author : Tord Alenljung; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; State Estimation; Fault Detection and Diagnosis; Process Modeling; Discrete Event Systems; Logic Controllers; Formal Verification; State Feedback Control;

    Abstract : The design of control programs for manufacturing systemsis becoming more and more complex as the demands for flexibility,efficiency and reconfigurability increase, due tochanging consumer demands and fierce competition.There are methods stemming from academia that can assist the control programmersin facing these challenges. READ MORE

  6. 9. A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems

    Author : Aneta Vulgarakis; Ivica Crnkovic; Paul Pettersson; Cristina Seceleanu; Elisabetta Di Nitto; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; component-based development; formal analysis; embedded systems; resource prediction; behavioral modeling; architectural modeling; tools; resource-aware framework; Computer Science; datavetenskap;

    Abstract : Managing complexity is an increasing challenge in the development of embedded systems (ES). Some of the factors contributing to the increase in complexity are the growing complexity of hardware and software, and the increased pressure to deliver full-featured products with reduced time-to-market. READ MORE

  7. 10. Modeling and Formal Analysis of e-Health Systems

    Author : Ashalatha Kunnappilly; Cristina Seceleanu; Peter Backeman; Maria Lindén; Paola Inverardi; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : With the healthcare practice being increasingly dependent on digital processes and electronic communication, there is a need to support a variety of e-Health applications of different requirements, with respect to connectivity, low latency, and high reliability. The focus of this thesis is on providing formal assurance to systems supporting e-Health applications. READ MORE