Search for dissertations about: "viable system models"

Showing result 1 - 5 of 70 swedish dissertations containing the words viable system models.

  2. 1. Machine Learning Concepts for Service Data Interoperability

    Author : Jacob Nilsson; Fredrik Sandin; Jerker Delsing; Marcus Liwicki; Tapio Heikkilä; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; system of systems; system of cyber-physical systems; subsymbolic representations; semantic interoperability; dynamic interoperability; Cyber-Physical Systems; Cyberfysiska system;

    Abstract : Industrial automation is transforming by ongoing digitalization efforts to create a flexible industrial internet of things, turning manufacturing facilities into large-scale systems of cyber-physical systems. This development requires addressing the challenging issue of making heterogeneous systems, data models, and standards interoperable, a core problem in designing sustainable service-oriented automation frameworks. READ MORE

  4. 2. Intelligence-Driven Software Performance Assurance

    Author : Mahshid Helali Moghadam; Markus Bohlin; Mehrdad Saadatmand; Markus Borg; Björn Lisper; Antonia Bertolino; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : Software performance assurance is of great importance for the success of software products, which are nowadays involved in many parts of our life. Performance evaluation approaches such as performance modeling, testing, as well as runtime performance control methods, all can contribute to the realization of software performance assurance. READ MORE

  5. 3. A Composable and Extensible Environment for Equation-based Modeling and Simulation of Variable Structured Systems in Modelica

    Author : John Tinnerholm; Adrian Pop; Martin Sjölund; Peter Fritzson; Christopher Rackauckas; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Modeling and Simulation are usually used to solve real-world problems safely and efficiently by constructing digital models of Cyber-Physical Systems. The models can be simulated and analyzed with respect to requirements, and decisions about their design can be based on this analysis. READ MORE

  6. 4. Formal Verification of Tree Ensembles in Safety-Critical Applications

    Author : John Törnblom; Simin Nadjm-Tehrani; Ingemar Söderquist; Joao Marques-Silva; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Machine learning; Tree ensembles;

    Abstract : In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of learning complicated pattern recognition tasks and sophisticated decision policies, two key capabilities in autonomous cyber-physical systems. READ MORE

  7. 5. Improving Machining System Performance through designed-in Damping : Modelling, Analysis and Design Solutions

    Author : Lorenzo Daghini; Cornel Mihai Nicolescu; Miroslav Píška; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machining performance; Cutting stability; Passive damping; High Damping Interface; Boring bar; Turret; SRA - Production; SRA - Produktion;

    Abstract : With advances in material technology, allowing, for instance, engines to withstand higher combustion pressure and consequently improving performance, comes challenges to productivity. These materials are, in fact, more difficult to machine with regards to tool wear and especially machine tool stability. READ MORE