Avancerad sökning

Hittade 3 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Stochastic Event-Based Control and Estimation

    Författare :Toivo Henningsson; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; event-based control; event-based estimation; sporadic control; stochastic control; stochastic hybrid systems; sum-of-squares methods; control over networks; quantized measurements;

    Sammanfattning : Digital controllers are traditionally implemented using periodic sampling, computation, and actuation events. As more control systems are implemented to share limited network and CPU bandwidth with other tasks, it is becoming increasingly attractive to use some form of event-based control instead, where precious events are used only when needed. LÄS MER

  3. 2. Combinatorial Methods in Complex Analysis

    Författare :Per Alexandersson; Boris Shapiro; Alexandre Eremenko; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; combinatorics; Schrödinger equation; Toeplitz matrix; sums of squares; Schur polynomials; Mathematics; matematik;

    Sammanfattning : The theme of this thesis is combinatorics, complex analysis and algebraic geometry. The thesis consists of six articles divided into four parts.Part A: Spectral properties of the Schrödinger equationThis part consists of Papers I-II, where we study a univariate Schrödinger equation with a complex polynomial potential. LÄS MER

  4. 3. On Long Proofs of Simple Truths

    Författare :Kilian Risse; Per Austrin; Johan Håstad; Jakob Nordström; Benjamin Rossman; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computational Complexity; Lower Bounds; Proof Complexity; Datalogi; Computer Science;

    Sammanfattning : Propositional proof complexity is the study of certificates of infeasibility. In this thesis we consider several proof systems with limited deductive ability and unconditionally show that they require long refutations of the feasibility of certain Boolean formulas. LÄS MER