Sökning: "linear systems"

Visar resultat 6 - 10 av 1425 avhandlingar innehållade orden linear systems.

  1. 6. Linear Models of Nonlinear Systems

    Författare :Martin Enqvist; Lennart Ljung; Rik Pintelon; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; linear models; nonlinear systems; system identification; stochastic processes; linearization; mean-square error; Automatic control; Reglerteknik;

    Sammanfattning : Linear time-invariant approximations of nonlinear systems are used in many applications and can be obtained in several ways. For example, using system identification and the prediction-error method, it is always possible to estimate a linear model without considering the fact that the input and output measurements in many cases come from a nonlinear system. LÄS MER

  3. 7. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Författare :Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER

  4. 8. Ultra-wideband Millimeter-wave Antenna Arrays and Front-end Systems : For high data rate 5G and high energy physics applications

    Författare :Imran Aziz; Dragos Dancila; Ville Viikari; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The demand for wireless data communications is rapidly increasing due to several factors including increased internet access, increasingly growing number of mobile users and services, implementation of the Internet of Things (IoT), high-definition (HD) video streaming and video calling. To meet the bandwidth requirement of new and emerging applications, it is necessary to move from the existing microwave bands towards millimeter-wave bands. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  7. 10. Buoy and Generator Interaction with Ocean Waves : Studies of a Wave Energy Conversion System

    Författare :Simon Lindroth [formerly Tyrberg]; Mats Leijon; Brian Holmes; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Wave power; Measurement systems; Marine technology; Energy conversion; Renewable energy; Energy absorption; Wave resource; Oceanic engineering; Linear generators; Point absorbers; Sea trials; Camera systems; Accelerometers; Offshore experiments; Engineering Science with specialization in Science of Electricity; Teknisk fysik med inriktning mot elektricitetslära;

    Sammanfattning : On March 13th, 2006, the Division of Electricity at Uppsala University deployed its first wave energy converter, L1, in the ocean southwest of Lysekil. L1 consisted of a buoy at the surface, connected through a line to a linear generator on the seabed. LÄS MER