Ändra sökning
Avgränsa sökresultatet
1234567 1 - 50 av 739
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Abedin, Arian
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Ligai, Wolmir
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Automatingand optimizing pile group design using a Genetic Algorithm2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Inom brodesign refereras en uppsättning pålar till som en pålgrupp. Vid design av pålgrupper tillämpar för tillfället många firmor manuella och tidskrävanade processer, som inte leder till robusta pålgrupper med avseende på felplaceringar.

    Denna avhandling tillämpar en metaheuristisk metod vid namn Genetisk Algoritm, för att automatisera och förbättra designprocessen gällande pålgrupper. En mjukvara utvecklas och förbättras stegvis genom modifi kationer av algoritmen. Algoritmen utvärderas sedan genom att Monte Carlo simulera felplaceringar och evaluera de designade pålgruppernas robusthet. De erhållna resultaten jämförs med färdigdesignade pålgrupper givna av konsultföretaget Tyréns AB.

    Den utvecklade mjukvaran avbryts manuellt och kräver generellt inte mer än en halvtimme för att generera acceptabla pålgrupper. Den utvecklade algoritmen och mjukvaran tar fram pålgrupper som är mer robusta än de designade pålgrupperna vilka dem jämförs med. Pålgrupperna som skapats av den utvecklade algoritmen har en oordnad struktur. Således kan ett godkännande av dessa pålgrupper från Trafikverket vara svårt att få och ytterligare modifikationer som åtgärdar detta problem kan behövas innan algoritmen är användbar i praktiken.

  • 2.
    Adler, Jonas
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Matematik (Avd.). Elekta, Box 7593, 103 93 Stockholm, Sweden.
    Ringh, Axel
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Öktem, Ozan
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Matematik (Avd.).
    Karlsson, Johan
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Learning to solve inverse problems using Wasserstein lossManuskript (preprint) (Övrigt vetenskapligt)
    Abstract [en]

    We propose using the Wasserstein loss for training in inverse problems. In particular, we consider a learned primal-dual reconstruction scheme for ill-posed inverse problems using the Wasserstein distance as loss function in the learning. This is motivated by miss-alignments in training data, which when using standard mean squared error loss could severely degrade reconstruction quality. We prove that training with the Wasserstein loss gives a reconstruction operator that correctly compensates for miss-alignments in certain cases, whereas training with the mean squared error gives a smeared reconstruction. Moreover, we demonstrate these effects by training a reconstruction algorithm using both mean squared error and optimal transport loss for a problem in computerized tomography.

  • 3.
    Ahlberg, Marcus
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Fornander, Eric
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Test Case Prioritization as a Mathematical Scheduling Problem2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Mjukvarutestning är en extremt viktigt fas i produktutveckling då det säkerställer att inga buggar finns i mjukvaran. Då nutidens produkter ofta inkluderar en komplex mjukvara, kräver mjukvarutestningen mer resurser än tidigare. Eftersom komplexiteten kräver att fler testfall för mjukvaran definieras för att upptäcka eventuella buggar. Detta har skapat ett stort intresse hos företag för strategier inom delområden av mjukvarutestning som syftar till att effektivisera och förenkla desamma. Ett av dessa uppmärksammade delområden är i vilken ordning testfallen ska utföras i syfte att upptäcka buggar i ett så tidigt skede som möjligt, vilket i litteraturen är känt som prioriteringsproblemet för testfall. I den här uppsatsen studeras en utökad version av prioriteringsproblemet där det existerar företrädesberoenden mellan testfallen samt att tiden det tar att exekvera ett testfall är känd. Som ett första delresultat presenteras en matematisk modell av detta utökade problem i form av ett matematiskt schemaläggningsproblem. Sedermera jämförs tre lösningsmetoder för denna modell. Lösningsmetoderna som jämförs är Sidneys upplösningsmetod, en egendesignad metod samt en metod baserad på Smiths regel. Sidneys upplösningsmetod var den metod som gav bäst resultat avseende både exekveringstid och numeriskt resultat. Jämförelsen genomfördes genom simulering av flera artificiellt skapade testfall samt genom en fallstudie på ett företag i järnvägsindustrin.

  • 4.
    Ahlberg, Marcus
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Lilja, Jimmy
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Lageroptimering: Minimera tiden till leverans med begränsat lagerutrymme2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Denna rapport är ett resultat av en studie i matematisk optimering av lagerhållningen hos städproduktstillverkaren Aktiebolaget Kronborsten. Rapporten utgår från ett allmänt matematisk optimeringsproblem identifierat hos Kronborstens lagerhållning. Problemet grundar sig i att bestämma den optimala lagermixen som Kronborsten bör ha i sitt färdigvarulager för att minimera tiden till leverans. En allmän matematisk modell presenteras vars syfte är att representera ett lagersystem som efterliknar Kronborstens. Den tillämpas sedan med hjälp av historisk data på Kronborstens lager. Utifrån denna modell presenteras den optimala lösningen till det ursprungliga optimeringsproblemet.

    Den föreslagna modellen antar att ordrar och tillverkning följer en stokastisk process. Med detta antagande kan lagret och tillverkningen ses som flera oberoende markovprocesser där alla processer har egenskaper som en födelse-dödsprocess. Den förväntade tiden till leverans kunde sedan uppskattas genom ett viktat medelvärde utifrån processernas stationära fördelningar. Den förväntade tiden till leverans hade konvexa egenskaper över optimeringsproblemets tillåtna område vilket möjliggjorde att den marginella allokeringsmetoden kunde användas som lösningsmetod. Med hjälp av denna algoritm hittades en optimal lösning. Det matematiska resultatet följs sedan upp med ett avsnitt om lagerstyrning och lagerhållningsränta i syfte att skapa en förståelse för vad ett strategiskt beslut angående lagerhållningen skulle innebär för Kronborsten

  • 5.
    Ahlin, Filip
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Wahlstedt, Anton
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    ESG-investerande och portföljresultat: En studie av ESG-investerande utifrån metoden bäst-i-klassen2015Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Till följd av en mer globaliserad och industriell omvärld har hållbarhetsfrågor sett till miljö och samhälle blivit en vardaglig rubrik i finansvärlden. Att företag ska ha aktivt arbete mot hållbarhet och ansvarstagande är på så när en självklarhet om inte ett måste. Denna studies syfte är att undersöka ansvarsfullt investerande och portföljresultat. För att analysera detta förhållande fokuserar arbetet på ESG där dess dimensioner inkluderas gemensamt genom optimering, diskussion och slutsats. Arbetet berör hur ESG kan integreras i investeringsprocessen men tyngden av studien och den övergripande frågan angriper diskussionen kring en portföljs resultat vid inkluderande av ESG. Metoder som används är Modern portföljteori kombinerat med implementering av ESG enligt ”bäst-i-klassen”. Studiens resultat leder till slutsatsen att ESG utöver dess positiva effekter, förutsatt en korrekt bedömning, på hållbarhet även är finansiellt argumenterbart för investerare.

  • 6.
    Ahlklo, Yrr
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Lind, Carin
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Modellering och kundprocessanalys av kösystem på Vapiano Sturegatan2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I denna rapport har kösystemet på Vapiano Sturegatan undersökts och analyserats. Restaurangen har problem med långa köer under lunchtid och syftet med denna rapport är att ge förslag på hur man skulle kunna minska dessa.

    De befintliga kösystemet ha modellerats med hjälp av markovsk köteori och approximerats till ett M/M/2-system samt ett M/M/8-system,varavM/M/2-systemet bedömdes vara mest tillförlitligt. Beräkningar av den förväntade tiden i systemet för olika fall ledde till slutsatsen att det bör vara effektivare att öka tillagningskapaciteten på varje betjäningsstation istället för att öppna en ytterligare station.

    Dessutom levereras förslag på alternativa kösystem samt en jämförande analys av tillhörande kundprocesser. För att erhålla ett bättre kundflöde i restaurangen och en smidigare kundprocess för ökat kundvärde kan ett elektroniskt kösystem införas. Om implementering sker noggrant och enligt en väl genomtänkt plan kommer fördelarna med ett sådant system vara många och överträffa dagens befintliga kösystem.

    Rapporten levereras slutligen till Vapiano Sturegatan med förhoppningen att de ska kunna använda den vid planering av restauranger och förändringar i kösystemet

  • 7.
    Ahmed, Shoaib
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Topology optimization of load-carryingstructures using three different typesof finite elements2013Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    This thesis deals with topology optimization of load-carrying structures, in particular compliance minimization subject to a constraint on the total amount of material to be used. The main purpose of the work was to compare the following three types of finite elements for the above topology optimization problems: Four node square elements with bilinear shape functions, nine node square elements with quadratic shape functions, and six node hexagonal elements with Wachspress shape functions. The SIMP approach (Solid Isotropic Material with Penalization) was used to model the topology optimization problem for different load and support conditions, and the method of moving asymptotes (MMA) was used to solve the formulated optimization problems. On the considered test problems, it turned out that the results obtained by using six node hexagonal elements were in general better than the corresponding results using nine node square elements which in turn were better than the results using four node square elements. The price paid for the improvements were increased computation times.

  • 8.
    Ait-Ali, Abderrahman
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Integration of Production Scheduling and Energy Management: Software Development2015Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Demand-Side Management concepts have the potential to positively impact the financial as well as the environmental aspects of energy-intensive industries. More specifically, they allow reducing the energy cost for the industrial plants by dealing with energy-availability fluctuations.

    In this context, efficient frameworks for scheduling with energy awareness have been studied and showed potential to reduce the overall energy bill for energy-intensive industries, for instance stainless steel and paper plants. Those frameworks usually combine scheduling and energy optimization into one monolithic system. This work investigates the possibility of integrating the two systems by specific exchange of signals, while keeping the scheduling model separated from the energy-cost optimization model. Such integration means that the pre-existent schedulers and energy optimizers could be easily modified and reused without re-implementing the whole new system.

    Two industrial problems with different scheduling approaches are studied. The first problem is about pulp and paper production which uses the Resource Task Network (RTN) scheduling approach. The second one is about stainless steel production which is based on a bi-level heuristic implementation of an improved energy-aware scheduler. This work presents the decomposition methods that are available in literature and their application to the two industrial problems. Besides an improvement in the RTN approach for handling storages, this thesis describes a prototype implementation of the energy-aware RTN scheduler for paper and pulp production. Furthermore, this work investigates the performance of the application of different decomposition methods on different problem instances.

    The numerical case studies show that even though the decomposition decreases the solution quality compared to the monolithic system, it still gives good solutions within an acceptable duration with the advantage of having two separate pre-existent systems which are simply exchanging signals.

  • 9.
    Ait-Lakbir, Hanane
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Study and Industrialization of Computational Methods for Orbital Maneuvers2016Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Användningen av elektrisk framdrivning är en avgörande aspekt i rymdsektorn. På grund av sin effektivitet i termer av masskonsumtion, ser rymdindustrin detta som ett sätt att tillverka lättare satelliter och reducera kostnaden av satellituppskjutningar. För att klara av denna nya marknad behöver de utveckla nya verktyg för dessa eldrivna satelliter. Denna rapport kommer att behandla metoder för att beräkna manövrar för elektriskt framdrivna rymdfarkoster.

    En av de viktigaste faserna under satellitverksamheten är manövrering för att säkerställa å ena sidan en korrekt konfiguration för att uppfylla uppdraget och å andra sidan satellitens integritet. Det nuvarande arbetet är inriktat på beräkningen av manövrar under den tidiga fasen av uppdraget när satelliten placeras i sin omloppsbana efter uppskjutningen. Beroende på egenskaperna för elektrisk framdrivning måste man använda en helhetssyn för att beräkna dessa manövrer som utförs av jonmotorer med låg drivkraft, denna tillhandahålls genom optimal styrteori. Detta examensarbete kommer att utveckla en indirekt metod som bygger på Pontryagins minimumprincip. Två typer av problem betraktas för att ta hänsyn till begränsningarna på rymduppdraget. Eftersom elektriska manövrar är längre än kemiska manövrar är det oftast nödvändigt att försöka minimera manöverns varaktighet. Ett annat intressant mål är att spara på drivmedelsmassan för uppdraget. Därför minimeras masskonsumtion under manövern i det andra problemet i rapporten.

    Under praktiken har en Java-baserade implementering av resolutionen av dessa två problem gjorts. Rapporten presenterar också de preliminära resultaten samt svårigheter och några föreslagna lösningar.

  • 10.
    Aittokoski, Timo
    et al.
    Department of Mathematical Information Technology, University of Jyväskylä, Finland.
    Miettinen, Kaisa
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Cost Effective Simulation-Based Multiobjective Optimization in Performance of Internal Combustion Engine2008Ingår i: Engineering optimization (Print), ISSN 0305-215X, E-ISSN 1029-0273, Vol. 40, nr 7, s. 593-612Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Solving real-life engineering problems requires often multiobjective, global, and efficient (in terms of objective function evaluations) treatment. In this study, we consider problems of this type by discussing some drawbacks of the current methods and then introduce a new population-based multiobjective optimization algorithm UPS-EMOA which produces a dense (not limited to the population size) approximation of the Pareto-optimal set in a computationally effective manner.

  • 11.
    Aittokoski, Timo
    et al.
    Department of Mathematical Information Technology, University of Jyväskylä, Finland.
    Äyrämö, Sami
    Department of Mathematical Information Technology, University of Jyväskylä, Finland.
    Miettinen, Kaisa
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Clustering aided approach for decision making in computationally expensive multiobjective optimization2009Ingår i: Optimization Methods and Software, ISSN 1055-6788, E-ISSN 1029-4937, Vol. 24, nr 2, s. 157-174Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Typically, industrial optimization problems need to be solved in an efficient, multiobjective and global manner, because they are often computationally expensive (as function values are typically based on simulations), they may contain multiple conflicting objectives, and they may have several local optima. Solving such problems may be challenging and time consuming when the aim is to find the most preferred Pareto optimal solution.

    In this study, we propose a method where we use an advanced clustering technique to reveal essential characteristics of the approximation of the Pareto optimal set, which has been generated beforehand. Thus, the decision maker (DM) is involved only after the most time consuming computation is finished. After the initiation phase, a moderate number of cluster prototypes projected to the Pareto optimal set is presented to the DM to be studied. This allows him/her to rapidly gain an overall understanding of the main characteristics of the problem without placing too much cognitive load on the DM. Furthermore, we also suggest some ways of applying our approach to different types of problems and demonstrate it with an example related to internal combustion engine design.

  • 12.
    Albinski, Szymon Janusz
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    A branch-and-cut method for the Vehicle Relocation Problem in the One-Way Car-Sharing2015Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Syftet med detta examensarbete är att utveckla en algoritm som löser fördelningsproblemet av car-sharing bilar (VRLPOWCS) så snabbt som möjligt. Problemet beskriver uppgiften att flytta bilarna till områden där efterfrågan är störst. Bilarna flyttas av chaufförer som är transporterade med bussar. Varje bil ges ett flyttningsvärde. Målet är att hitta resor för bussarna så att inom ett visst tidsintervall det totala flyttningsvärdet är maximerat med hänsyn till en given fördelning. VRLPOWCS formuleras som ett linjärt heltalsprogrammeringsproblem. Eftersom problemet är NP-fullständigt, använder vi branch-and-cut metoden för att lösa det. Metoden utvidgar vi med cutting planes vilka utnyttjar VRLPOWCS strukturen. Tester med olika riktiga data visar att den utvidga algoritmen kan lösa VRLPOWCS snabbare.

  • 13. Aleman, Dionne M.
    et al.
    Glaser, Daniel
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Romeijn, H. Edwin
    Dempsey, James F.
    Interior point algorithms: guaranteed optimality for fluence map optimization in IMRT2010Ingår i: Physics in Medicine and Biology, ISSN 0031-9155, E-ISSN 1361-6560, Vol. 55, nr 18, s. 5467-5482Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    One of the most widely studied problems of the intensity-modulated radiation therapy (IMRT) treatment planning problem is the fluence map optimization (FMO) problem, the problem of determining the amount of radiation intensity, or fluence, of each beamlet in each beam. For a given set of beams, the fluences of the beamlets can drastically affect the quality of the treatment plan, and thus it is critical to obtain good fluence maps for radiation delivery. Although several approaches have been shown to yield good solutions to the FMO problem, these solutions are not guaranteed to be optimal. This shortcoming can be attributed to either optimization model complexity or properties of the algorithms used to solve the optimization model. We present a convex FMO formulation and an interior point algorithm that yields an optimal treatment plan in seconds, making it a viable option for clinical applications.

  • 14. Aleman, Dionne M.
    et al.
    Wallgren, Johan
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Romeijn, H. Edwin
    Dempsey, James F.
    A fluence map optimization model for restoring traditional fractionation in IMRT treatment planning2014Ingår i: Optimization Letters, ISSN 1862-4472, E-ISSN 1862-4480, Vol. 8, nr 4, s. 1453-1473Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    One of the core problems in intensity modulated radiation therapy (IMRT) treatment planning is the fluence map optimization (FMO) problem, which determines a fluence map (or profile) for each beam used in the delivery of treatment. Radiation therapy is administered in multiple so-called daily fractions to allow for healthy tissue to recover from damage caused by the treatment. Before the advent of IMRT, the treatment was designed to ensure a constant dose to cells in the target (the areas in the patient where cancerous cells are present or suspected). In the presence of multiple targets with different prescribed doses, this design meant that treatment had to be delivered in a sequence of unequal fractions, one per prescription dose level. For example, in case of two targets treatment would consist of an initial plan aimed at treating both targets to a lower total dose, followed by a so-called boost plan aimed at delivering the additional dose at the target with higher prescribed dose. In contrast, IMRT treatment plans are often delivered with equal treatment plan for each fraction, which means that the dose per fraction cannot be the same for all targets. The important problem of restoring traditional fractionation to IMRT treatments has not yet received much attention in the literature. In this paper we propose a new optimization model that explicitly restores fractionation into the FMO problem, yielding an optimal set of fluence maps for each fraction. We illustrate the capabilities of our approach on clinical head-and-neck cancer cases.

  • 15.
    Alexis, Sara
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Combinatorial and price efficient optimization of the underlying assets in basket options2017Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Syftet med detta examensarbete är att utveckla ett optimeringsverktyg som väljer den optimala och priseffektiva kombinationen av underliggande tillgångar för en likaviktad aktiekorg.

    För att kunna hitta en priseffektiv kombination av underliggande tillgångar behöver man finna en passande funktion som bestämmer priset på en likaviktad aktiekorg. Prissättningen av dessa typer av optioner är en stor utmaning. Detta är på grund av bristen av en sannolikhetsfördelning som kan beskriva den utökade och korrelerade stokastiska prisprocess som uppstår för en aktiekorg. Många typer av prissättningar har undersökts och tillämpats. I detta arbete har en analytisk approximation använts för att kunna beskriva den underliggande pris processen approximativt. Uppskattningen görs genom att matcha de tvåförsta momenten av den verkliga fördelningen med motsvarande moment för en lognormal fördelning. Den erhållna prisfunktionen justeras och används som målfunktionen i optimeringsmodellen.

    Binära ickelinjära optimeringsproblem är i allmänhet svåra att lösa - särskilt för ökande dimensioner av variabler. Tre olika kontinuerliga omformuleringar av det binära optimeringsproblemet har gjorts för att erhålla kontinuerliga problem som är lättare att lösa.

    Resultaten visar att en optimal och priseffektiv kombination av underliggande aktier är möjlig att hitta genom att formulera ett optimeringsproblem - både som en binär och kontinuerlig ickelinjär optimeringsmodell. Dessutom visar resultaten från en Monte Carlo-simulering, i detta fall för korrelerade stokastiska processer, att moment matching metoden utförd med en lognormal fördelning är en god approximation för prissättningen av aktiekorgar.

  • 16.
    Alexis, Sara
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Uludag, Ebru
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Optimering av antal flygplanssäten: Modellering med avseende på yta, intäkt och efterfrågan 2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Vid införandet av säten är det viktigt att ta hänsyn till passagerarintensiteten, det vill säga hur tätt sätena ligger. Den kritiska mätvariabeln står för avståndet mellan en punkt på ett säte och samma punkt på nästa säte. Mätvariabler som har små värden, det vill säga korta avstånd betyder fler rader och därmed högre vinst. Överblivet utrymme är ett dyrt slöseri då skillnad mellan vinst och förlust för en viss flygning kan vara så liten som mindre än en kostnad för ett säte.

    Syftet med detta arbete är att ta fram en matematisk modell som hittar den optimala sätesfördelningen mellan klasserna i ett flygplan. Den modell som skall ställas upp ska maximera intäkterna och ytanvändningen för ett flygbolag samt möta efterfrågan. Detta arbete syftar dessutom till att identifiera flygbolagens marknadsstrategier och undersöka hur marknadsstrategi påverkar dess sätesfördelning.

    Rapporten visar att intäkt och efterfrågan inte behöver vara de enda faktorerna som bestämmer optimala antalet säten för varje klass i ett flygplan, utan att det även finns yttre faktorer som kan spela roll. Modellens rankning i verkligheten är svår att bedöma på grund av brist på realistisk och tillförlitlig data som kan användas för att tillämpa modellen med verkliga exempel.

  • 17.
    Almeida, Diogo
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL. KTH.
    Ambrus, Rares
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Caccamo, Sergio
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Robotik, perception och lärande, RPL.
    Chen, Xi
    KTH.
    Cruciani, Silvia
    Pinto Basto De Carvalho, Joao F
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Robotik, perception och lärande, RPL.
    Haustein, Joshua
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Robotik, perception och lärande, RPL.
    Marzinotto, Alejandro
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Vina, Francisco
    KTH.
    Karayiannidis, Yannis
    KTH.
    Ögren, Petter
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Jensfelt, Patric
    KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL.
    Kragic, Danica
    KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL.
    Team KTH’s Picking Solution for the Amazon Picking Challenge 20162017Ingår i: Warehouse Picking Automation Workshop 2017: Solutions, Experience, Learnings and Outlook of the Amazon Robotics Challenge, 2017Konferensbidrag (Övrig (populärvetenskap, debatt, mm))
    Abstract [en]

    In this work we summarize the solution developed by Team KTH for the Amazon Picking Challenge 2016 in Leipzig, Germany. The competition simulated a warehouse automation scenario and it was divided in two tasks: a picking task where a robot picks items from a shelf and places them in a tote and a stowing task which is the inverse task where the robot picks items from a tote and places them in a shelf. We describe our approach to the problem starting from a high level overview of our system and later delving into details of our perception pipeline and our strategy for manipulation and grasping. The solution was implemented using a Baxter robot equipped with additional sensors.

  • 18.
    Almgrund, Jonas
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Alternative Methods for Operational Optimization of Hydro Power Plants2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Syftet med detta examensarbete är att optimera vattenkraftverk med data som genererats från indextester vid kraftverken. Resultatet är optimala produktionstabeller och kurvor för drift och planering av vattenkraftverk. Dessa är baserade på att optimalt fördela vattnet mellan aggregaten för att maximera uteffekt och verkningsgrad. Detta arbete har utförts i samarbete med Vattenfall AB, som för närvarande använder ett internt optimeringsprogram som heter SEVAP. Två optimeringsmetoder har valts, implementerats och jämförts med det nuvarande optimeringsprogrammet. Dessa metoder är inrepunktsmetoden (IPM) och sekventiell kvadratiskt programmering (SQP). Tre startpunktsstrategier har används för att öka sannolikheten att hitta ett globalt optima. För att förhindra hastiga förändringar i lastfördelning för små variationer av avsänt vatten har en heuristisk regel används. Optimeringen har utförts på tre stationer med olika uppsättning och storlek. Resultatet av detta examensarbete visar marginellt bättre resultat för de använda metoderna i jämförelse med den nuvarande optimeringen. Det utvecklade programmet är flexibelt och kompatibelt att integrera med framtida digitaliseringsprojekt.

  • 19.
    Al-Mosawi, Masar
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Optimal separation of points2012Självständigt arbete på avancerad nivå (magisterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    How should n points be distributed in a given region F in R^d such that they are separated as much as possible?

    This general problem is studied in this paper, for some combinations of F, d, n, and the ways one can state the problem mathematically. Some numerical optimization methods are suggested and tested, both on the point separation problem and the closely related circle packing problem. The results are compared with some known analytical results. The main conclusion is that the suggested numerical methods are useful general tools to obtain optimal solutions to the considered problems.

  • 20. Almér, S.
    et al.
    Mariéthoz, S.
    Morari, M.
    Jönsson, Ulf
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Application of model predictive control and analysis of switched systems to the direct voltage control of AC-DC converters2015Ingår i: 2009 European Control Conference, ECC 2009, 2015, s. 3593-3598Konferensbidrag (Refereegranskat)
    Abstract [en]

    Recent tools for control and analysis of hybrid systems are applied to an AC-DC converter. The topology poses particularly challenging problems since it is unusually complex and the circuit parameters are such that the dynamic coupling between the AC and DC sides cannot be ignored. The paper proposes a model predictive control scheme for direct voltage control which circumvents the bandwidth limitations associated with classical cascade control. The stability and harmonic properties of the resulting closed loop system are investigated using new tools for the analysis of switched systems.

  • 21.
    Almér, Stefan
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Control and Analysis of Pulse-Modulated Systems2008Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    The thesis consists of an introduction and four appended papers. In the introduction we give an overview of pulse-modulated systems and provide a few examples of such systems. Furthermore, we introduce the so-called dynamic phasor model which is used as a basis for analysis in two of the appended papers. We also introduce the harmonic transfer function and finally we provide a summary of the appended papers.

    The first paper considers stability analysis of a class of pulse-width modulated systems based on a discrete time model. The systems considered typically have periodic solutions. Stability of a periodic solution is equivalent to stability of a fixed point of a discrete time model of the system dynamics.

    Conditions for global and local exponential stability of the discrete time model are derived using quadratic and piecewise quadratic Lyapunov functions. A griding procedure is used to develop a systematic method to search for the Lyapunov functions.

    The second paper considers the dynamic phasor model as a tool for stability analysis of a general class of pulse-modulated systems. The analysis covers both linear time periodic systems and systems where the pulse modulation is controlled by feedback. The dynamic phasor model provides an $\textbf{L}_2$-equivalent description of the system dynamics in terms of an infinite dimensional dynamic system. The infinite dimensional phasor system is approximated via a skew truncation. The truncated system is used to derive a systematic method to compute time periodic quadratic Lyapunov functions.

    The third paper considers the dynamic phasor model as a tool for harmonic analysis of a class of pulse-width modulated systems. The analysis covers both linear time periodic systems and non-periodic systems where the switching is controlled by feedback. As in the second paper of the thesis, we represent the switching system using the L_2-equivalent infinite dimensional system provided by the phasor model. It is shown that there is a connection between the dynamic phasor model and the harmonic transfer function of a linear time periodic system and this connection is used to extend the notion of harmonic transfer function to describe periodic solutions of non-periodic systems. The infinite dimensional phasor system is approximated via a square truncation. We assume that the response of the truncated system to a periodic disturbance is also periodic and we consider the corresponding harmonic balance equations. An approximate solution of these equations is stated in terms of a harmonic transfer function which is analogous to the harmonic transfer function of a linear time periodic system. The aforementioned assumption is proved to hold for small disturbances by proving the existence of a solution to a fixed point equation. The proof implies that for small disturbances, the approximation is good.

    Finally, the fourth paper considers control synthesis for switched mode DC-DC converters. The synthesis is based on a sampled data model of the system dynamics. The sampled data model gives an exact description of the converter state at the switching instances, but also includes a lifted signal which represents the inter-sampling behavior. Within the sampled data framework we consider H-infinity control design to achieve robustness to disturbances and load variations. The suggested controller is applied to two benchmark examples; a step-down and a step-up converter. Performance is verified in both simulations and in experiments.

  • 22.
    Almér, Stefan
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Sampled data control of DC-DC convertersArtikel i tidskrift (Övrigt vetenskapligt)
  • 23.
    Almér, Stefan
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Fujioka, Hisaya
    KTH. Kyoto University, Japan.
    Jönsson, Ulf
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Kao, Chung Yao
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Patino, D.
    Riedinger, P.
    Geyer, T.
    Beccuti, A.
    Papafotiou, G.
    Morari, M.
    Wernrud, A.
    Rantzer, A.
    Hybrid control techniques for switched-mode DC-DC converters part I: The step-down topology2007Ingår i: 2007 American Control Conference, IEEE , 2007, s. 5450-5457Konferensbidrag (Refereegranskat)
    Abstract [en]

    Several recent techniques from hybrid and optimal control are evaluated on a power electronics benchmark problem. The benchmark involves a number of practically interesting operating scenarios for a fixed-frequency synchronous step-down dc-dc converter. The specifications are defined such that good performance only can be obtained if the switched and nonlinear nature of the problem is respected during the design phase.

  • 24.
    Almér, Stefan
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Jönsson, Ulf
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Dynamic phasor analysis of pulse-modulated systems2007Ingår i: Proceedings Of The 46th IEEE Conference On Decision And Control, Vols 1-14, 2007, s. 3938-3945Konferensbidrag (Refereegranskat)
    Abstract [en]

    The paper considers stability analysis of a general class of pulse modulated systems in a phasor dynamic framework. The dynamic phasor model exploits the cyclic nature of the modulation functions by representing the system dynamics in terms of a Fourier series expansion defined over a moving time-window. The contribution of the paper is to show that a special type of periodic Lyapunov function can be used to analyze the system and that the analysis conditions become tractable for computation after truncation. The approach provides a trade-off between complexity and accuracy that includes standard state space averaged models as a special case.

  • 25. Almér, Stefan
    et al.
    Jönsson, Ulf
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Dynamic Phasor Analysis Of Pulse-Modulated Systems2012Ingår i: SIAM Journal of Control and Optimization, ISSN 0363-0129, E-ISSN 1095-7138, Vol. 50, nr 3, s. 1110-1138Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper considers stability and harmonic analysis of a general class of pulse-modulated systems. The systems are modeled using the dynamic phasor model, which explores the cyclic nature of the modulation functions by representing the system state as a Fourier series expansion defined over a moving time window. The contribution of the paper is to show that a special type of periodic Lyapunov function can be used to analyze the system and that the analysis conditions become tractable for computation after truncation. The approach provides a trade-off between complexity and accuracy that includes standard state space averaged models as a special case. The paper also shows how the dynamic phasor model can be used to derive a frequency domain input-to-state map which is analogous to the harmonic transfer function.

  • 26.
    Almér, Stefan
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Jönsson, Ulf
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Harmonic analysis of pulse-width modulated systems2009Ingår i: Automatica, ISSN 0005-1098, E-ISSN 1873-2836, Vol. 45, nr 4, s. 851-862Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The paper considers the so-called dynamic phasor model as a basis for harmonic analysis of a class switching systems. The analysis covers both periodically switched systems and non-periodic systems where the switching is controlled by feedback. The dynamic phasor model is a powerful tool for exploring cyclic properties of dynamic systems. It is shown that there is a connection between the dynamic phasor model and the harmonic transfer function of a linear time periodic system and this connection is used to extend the notion of harmonic transfer function to describe periodic solutions of non-periodic systems.

  • 27.
    Almér, Stefan
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Jönsson, Ulf
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Harmonic Lyapunov functions in the analysis of periodically switched systems2006Ingår i: PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, s. 2759-2764Konferensbidrag (Refereegranskat)
    Abstract [en]

    The dynamic phasor model of a time-periodic system is used to derive a stability test involving a harmonic Lyapunov function. This reveals a new interpretation of the harmonic Lyapunov function with an appealing time-domain representation. Most importantly, it indicates that the ideas behind the harmonic Lyapunov equation can be generalized to include cyclic switching systems that have different pulse form in each period.

  • 28.
    Almér, Stefan
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Jönsson, Ulf
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Kao, Chung-Yao
    Univ Melbourne, Dept Elect & Elect Engn.
    Mari, Jorge
    GE Global Res, Elect Energy Syst.
    Stability analysis of a class of PWM systems2007Ingår i: IEEE Transactions on Automatic Control, ISSN 0018-9286, E-ISSN 1558-2523, Vol. 52, nr 6, s. 1072-1078Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This note considers stability analysis of a class of pulsewidth modulated (PWM) systems that incorporates several different switched mode dc-de- converters. The systems of the class typically have periodic solutions. A sampled data model is developed and used to prove stability of these solutions. Conditions for global and local exponential stability are derived using quadratic and piecewise quadratic Lyapunov functions. The state space is partitioned and the stability conditions are verified by checking a set of coupled linear matrix inequalities (LMIs).

  • 29.
    Almér, Stefan
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Jönsson, Ulf T.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Dynamic phasor analysis of a class of PWM systems2015Ingår i: 2007 European Control Conference, ECC 2007, 2015, s. 1940-1947Konferensbidrag (Refereegranskat)
    Abstract [en]

    The paper makes use of the so-called dynamic phasor model for stability and performance analysis of a class of PWM systems. The dynamic phasor model allows for the state to be represented in the frequency domain where a harmonic Lyapunov function is defined. The analysis covers both periodically switched systems and non-periodic systems where the switching is controlled by feedback.

  • 30.
    Almér, Stefan
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Jönsson, Ulf T.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Dynamic Phasor Analysis of Periodic Systems2009Ingår i: IEEE Transactions on Automatic Control, ISSN 0018-9286, E-ISSN 1558-2523, Vol. 54, nr 8, s. 2007-2012Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The paper considers stability analysis of linear time-periodic (LTP) systems based on the dynamic phasor model (DPM). The DPM exploits the periodicity of the system by expanding the system state in a Fourier series over a moving time window. This results in an L-2-equivalent representation in terms of an infinite-dimensional LTI system which describes the evolution of time varying Fourier coefficients. To prove stability, we consider quadratic time-periodic Lyapunov candidates. Using the DPM, the corresponding time-periodic Lyapunov inequality can be stated as a finite dimensional inequality and the Lyapunov function can be found by solving a linear matrix inequality.

  • 31.
    Alvfors, Oskar
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Björelind, Fredrik
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Optimization of Production Scheduling in the Dairy Industry2015Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Denna avhandling innefattar en studie av matematisk optimering av produktionsscheman

    applicerad på Arla Foods ABs produktion av mejeriprodukter. Schemaläggningen utfördes som en möjlig lösning på produktionsproblematik orsakad av överfyllda färdigvarulager. Utifrån de optimerade produktionsschemana drogs slutsatser kring om dagens produktionsstruktur på två skift är tillräcklig eller om introduktion av ett andra nattskift skulle vara fördelaktig. Parallellt med detta presenteras en empirisk och teoretisk studie kring de produktionsanställdas uppfattning kring effekter av att arbeta nattskift.

    För optimeringen har heltalsoptimering (eng: mixed integer programming) använts för modellering av produktionen genom en produktionsplaneringsmodell med diskret tidsrepresentation (eng: discrete time scheduling lot-sizing model ) som utvecklas i denna avhandling. Denna model, som även appliceras på Arla Foods ABs produktion, presenteras i detalj och karaktäriseras av låg komplexitet vilket möjliggör schemaoptimering av omfattande produktionssystem givet att produktportföljen kan kategoriseras i produktgrupper med liknande egenskaper ur ett produktionsperspektiv.

    Avhandlingen fastslår att matematisk optimering av produktionsscheman har potential att lösa produktionsproblematiken på Arla Foods AB och föreslår en reallokering av den nuvarande produktionen för minskade kostnader och utjämnade nivåer i färdigvarulager. Produktionsomläggningen skulle innebära produktion under obekväm arbetstid vilket föranleder en analys av initiativ som har potential att minska de negativa effekterna av nattskiftarbete för de produktionsanställda.

  • 32.
    Alvianto Priyanto, Criss
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Shift Design and Driver Scheduling Problem2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Schemaläggning och skiftdesignsproblem är välkända och välstuderade NP-svåra beslutsproblem inom optimeringsområdet. Oftast så studeras dessa problem enskilt, men i detta arbete så studeras en kombination av båda problemen. Mer specifikt är målet med detta arbete att föreslå ett förnuftigt handlingsätt till att skapa ett veckoschema där skift inte är predefinierade för alla veckor. Starttiden, sluttiden och varaktigheten av ett skift kan förändras från vecka till vecka. Därför har problemet delats upp till två delar: Veckoschemaläggnings- och dagsschemaläggningsproblem. Trots uppdelningen så är båda delproblem för komplexa för att lösas exakt. Därför har två metaheuristiska metoder använts som lösningsmetoder: Simulerad Glödgning och Genetisk Algoritm. I detta arbete bevisas båda lösningsmetoderna till att vara bra nog, och dessutom studeras även skalbarheten av modellen. Detta senare är särskilt viktigt eftersom antal anställda som ska schemaläggas förväntas att öka genomåren. De erhållna resultaten har visat sig vara lovande och bevisligen så kan modellen expanderas med er villkor

  • 33.
    Andblom, Mikael
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Improved Differential Diagnostics Using Methods in Machine Learning and Regression2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Det finns ett behov från både patienten och samhället att ha effektiva verktyg för differentialdiagnostik. Matematiska förhållanden mellan sjukdomar och ob-serverbara konsekvenser definieras i uppsatsen. Specifikt så används artificiella neuronnät i modelleringen av läkarens metodik. För att föreslå ytterligare labprover eller symptom att leta efter inverteras nätverket genom att studera ett minimeringsproblem där målfunktionens gradient kan beräknas analytiskt. På grund av svårigheter i att erhålla verklig medicinsk data konstruerades ett program för att generera artificiell patientdata. Denna patientdata kommer att användas för att etablera bevis på koncept. Några mått på kvalitén av patientdata definieras och används för att modellera nätverkets noggrannhet och träningstid. Det uppskattas sedan att ett problem med 4000 diagnoser och 20 000 observerbara konsekvenser skulle kräva 200 000 patienter för att uppnå en klassificeringsnoggrannhet på 99%med en träningstid på 50 timmar beroende på beräkningskraften. I helhet verkar lösningsstrategin lovande men studier på verklig data krävs för definitiva svar.

  • 34.
    Andersson, Eva
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Sandström, Marlene
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Sjöholm, Otto
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Kjaerboe, Filippa
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Curve Fitting Using Calculus in Normed Spaces2011Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Kurvanpassning används inom flera olika ämnesområden, särskilt fysik, matematik och ekonomi.

    Metoden används ofta vid anpassning av mätdata och vid banplanering. I denna kandidatexamensuppsats

    används variationskalkyl för att ta fram en optimal kurva som passar mätdata. Vi

    utvärderar kostnaden

    F(f) =

    R

    b

    a

    (f00(x))2dx+

    P

    n

    i

    =1(f(xi)􀀀yi)2, som är definierad på mängden

    av alla kurvor

    f på intervallet [a; b]. Intergraltermen representerar kurvans släthet medan interpolationsfelet

    ges av summatermen där

    > 0 definieras som interpolationsparametern. En ideal

    kurva minimerar interpolationsfelet och är relativt slät. En svårighet är att en slät funktion ofta

    har en stor felkvadratsumma och därför används konstanten

    för att bestämma vilken av de två

    egenskaperna som ska väga tyngst. En ökning av värdet på

    ger ett mindre interpolationsfel för

    kurvan. Våra analytiska beräkningar gav oss en metod för att skriva om problemet, vilket ledde

    till att ett

    Matlab-program kunde konstrueras för att lösa minimeringsproblemet. I resultatdelen

    presenteras exempel med olika värden på konstanten

    . Slutsatsen är att det generellt

    sett behövs ett högre

    -värde när man använder många punkter och när punkterna ligger nära

    varandra på x-axeln. Vidare i rapporten utvärderas Ordinary Cross Validation (OCV), för att

    hitta ett optimalt värde på

    . Denna metod gav bra resultat, förutom då punkterna nästan

    kunde anpassas med en rät linje.

  • 35.
    Andersson, Jerker
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Solving the Train Timetabling Problem by using Rapid Branching2016Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The topic of this thesis is the implementation of rapid branching to find an integer solution for the train timetabling problem. The techniques that rapid branching are based on are presented. The important aspect of rapid branching are discussed and then the algorithm is applied to some artificial problems. It is shown that rapid branching can be both faster and slower than a standard integer solver depending on the problem instance. For the most realistic set of the examined instances, rapid branching turned out to be faster than the standard integer solver and produce satisficingly high quality solutions.

     

  • 36.
    Anisi, David A.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Adaptive node distribution for on-line trajectory planning2006Ingår i: ICAS-Secretariat - 25th Congress of the International Council of the Aeronautical Sciences 2006, Curran Associates, Inc., 2006, s. 3150-3157Konferensbidrag (Refereegranskat)
    Abstract [en]

    Direct methods for trajectory optimization are traditionally based on a priori temporal dis- cretization and collocation methods. In this work, the problem of node distribution is for- mulated as an optimization problem, which is to be included in the underlying non-linear mathematical programming problem (NLP). The benefits of utilizing the suggested method for on-line trajectory optimization are illustrated by a missile guidance example.

  • 37.
    Anisi, David A.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Adaptive Node Distribution for Online Trajectory PlanningManuskript (Övrigt vetenskapligt)
  • 38.
    Anisi, David A.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    On Cooperative Surveillance, Online Trajectory Planning and Observer Based Control2009Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    The main body of this thesis consists of six appended papers. In the  first two, different  cooperative surveillance problems are considered. The second two consider different aspects of the trajectory planning problem, while the last two deal with observer design for mobile robotic and Euler-Lagrange systems respectively.In Papers A and B,  a combinatorial optimization based framework to cooperative surveillance missions using multiple Unmanned Ground Vehicles (UGVs) is proposed. In particular, Paper A  considers the the Minimum Time UGV Surveillance Problem (MTUSP) while Paper B treats the Connectivity Constrained UGV Surveillance Problem (CUSP). The minimum time formulation is the following. Given a set of surveillance UGVs and a polyhedral area, find waypoint-paths for all UGVs such that every point of the area is visible from  a point on a waypoint-path and such that the time for executing the search in parallel is minimized.  The connectivity constrained formulation  extends the MTUSP by additionally requiring the induced information graph to be  kept recurrently connected  at the time instants when the UGVs  perform the surveillance mission.  In these two papers, the NP-hardness of  both these problems are shown and decomposition techniques are proposed that allow us to find an approximative solution efficiently in an algorithmic manner.Paper C addresses the problem of designing a real time, high performance trajectory planner for an aerial vehicle that uses information about terrain and enemy threats, to fly low and avoid radar exposure on the way to a given target. The high-level framework augments Receding Horizon Control (RHC) with a graph based terminal cost that captures the global characteristics of the environment.  An important issue with RHC is to make sure that the greedy, short term optimization does not lead to long term problems, which in our case boils down to two things: not getting into situations where a collision is unavoidable, and making sure that the destination is actually reached. Hence, the main contribution of this paper is to present a trajectory planner with provable safety and task completion properties. Direct methods for trajectory optimization are traditionally based on a priori temporal discretization and collocation methods. In Paper D, the problem of adaptive node distribution is formulated as a constrained optimization problem, which is to be included in the underlying nonlinear mathematical programming problem. The benefits of utilizing the suggested method for  online  trajectory optimization are illustrated by a missile guidance example.In Paper E, the problem of active observer design for an important class of non-uniformly observable systems, namely mobile robotic systems, is considered. The set of feasible configurations and the set of output flow equivalent states are defined. It is shown that the inter-relation between these two sets may serve as the basis for design of active observers. The proposed observer design methodology is illustrated by considering a  unicycle robot model, equipped with a set of range-measuring sensors. Finally, in Paper F, a geometrically intrinsic observer for Euler-Lagrange systems is defined and analyzed. This observer is a generalization of the observer proposed by Aghannan and Rouchon. Their contractivity result is reproduced and complemented  by  a proof  that the region of contraction is infinitely thin. Moreover, assuming a priori bounds on the velocities, convergence of the observer is shown by means of Lyapunov's direct method in the case of configuration manifolds with constant curvature.

  • 39.
    Anisi, David A.
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Hamberg, Johan
    Riemannian Observers for Euler-Lagrange Systems2005Ingår i: Proceedings of the 16th IFAC World Congress: Prague, Czech Republic, July 3-8, 2005, 2005, s. 115-120Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper, a geometrically intrinsic observer for Euler-Lagrange systems is defined and analysed. This observer is an generalization of the observer recently proposed by Aghannan and Rouchon. Their contractivity result is reproduced and complemented by a proof that the region of contractivity is infinitely thin. However, assuming a priori bounds on the velocities, convergence of the observer is shown by means of Lyapunov's direct method in the case of configuration manifolds with constant curvature. The convergence properties of the observer are illustrated by an example where the configuration manifold is the three-dimensional sphere, S3.

  • 40.
    Anisi, David A.
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Hu, Xiaoming
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Active Observers for Mobile Robotic SystemsManuskript (Övrigt vetenskapligt)
    Abstract [en]

    An important class of non-uniformly observable systems come from applications in mobile robotics. In this paper, the problem of active observer design for such systems is considered. The set of feasible configurations and the set of output flow equivalent states is defined. It is shown that the inter-relation between these two sets serves as the basis for design of active observers. The proposed observer design method is illustrated by considering a unicycle robot model, equipped with a set of range-measuring sensors.

  • 41.
    Anisi, David A.
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Ögren, Petter
    Minimum time multi-UGV surveillance2008Ingår i: OPTIMIZATION AND COOPERATIVE CONTROL STRATEGIES / [ed] Hirsch MJ; Commander CW; Pardalos PM; Murphey R, Berlin: Springer Verlag , 2008, s. 31-45Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper addresses the problem of concurrent task- and path planning for a number of  surveillance Unmanned Ground Vehicles (UGVs) such that a user defined area of interest is covered by the UGVs' sensors in minimum time. We first formulate the problem, and show that it is in fact  a generalization of the Multiple Traveling Salesmen Problem (MTSP), which is known to be NP-hard. We then propose a solution that decomposes the problem into three subproblems. The first is to find a maximal convex covering of the search area. Most results on static coverage  use disjoint partitions of the search area, e.g. triangulation, to convert the continuous sensor positioning problem into a  discrete one. However, by a simple example, we show that a highly overlapping set of maximal convex sets is better suited for  minimum time coverage. The second subproblem is a combinatorial assignment and ordering of the sets in the cover.  Since Tabu search algorithms are known to perform well on various routing problems,  we use it as a part of our proposed solution. Finally, the third subproblem utilizes a particular shortest path sub-routine in order to find the vehicle paths, and calculate the overall objective function used in the Tabu search. The proposed algorithm is illustrated by a number of simulation examples.

  • 42. Anisi, David A.
    et al.
    Ögren, Petter
    Swedish Defence Research Agency (FOI), Sweden.
    Hu, Xiaoming
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Cooperative Minimum Time Surveillance With Multiple Ground Vehicles2010Ingår i: IEEE Transactions on Automatic Control, ISSN 0018-9286, E-ISSN 1558-2523, Vol. 55, nr 12, s. 2679-2691Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In this paper, we formulate and solve two different minimum time problems related to unmanned ground vehicle (UGV) surveillance. The first problem is the following. Given a set of surveillance UGVs and a polyhedral area, find waypoint-paths for all UGVs such that every point of the area is visible from a point on a path and such that the time for executing the search in parallel is minimized. Here, the sensors' field of view are assumed to have a limited coverage range and be occluded by the obstacles. The second problem extends the first by additionally requiring the induced information graph to be connected at the time instants when the UGVs perform the surveillance mission, i.e., when they gather and transmit sensor data. In the context of the second problem, we also introduce and utilize the notion of recurrent connectivity, which is a significantly more flexible connectivity constraint than, e.g., the 1-hop connectivity constraints and use it to discuss consensus filter convergence for the group of UGVs.

  • 43. Anisi, David A.
    et al.
    Ögren, Petter
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Hu, Xiaoming
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Lindskog, Therese
    Cooperative Surveillance Missions with Multiple Unmanned Ground Vehicles (UGVs)2008Ingår i: 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, s. 2444-2449Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper proposes an optimization based approach to multi-UGV surveillance. In particular, we formulate both the minimum time- and connectivity constrained surveillance problems, show NP-hardness of them and propose decomposition techniques that allow us to solve them efficiently in an algorithmic manner. The minimum time formulation is the following. Given a set of surveillance UGVs and a polyhedral area, find waypoint-paths for all UGVs such that every point of the area is visible from a point on a path and such that the time for executing the search in parallel is minimized. Here, the sensor's field of view are assumed to be occluded by the obstacles and limited by a maximal sensor range. The connectivity constrained formulation extends the first by additionally requiring that the information graph induced by the sensors is connected at the time instants when the UGVs stop to perform the surveillance task. The second formulation is relevant to situation when mutual visibility is needed either to transmit the sensor data being gathered, or to protect the team from hostile persons trying to approach the stationary UGVs.

  • 44.
    Anisi, David A.
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Ögren, Petter
    Department of Autonomous Systems Swedish Defence Research Agency.
    Robinson, John W. C.
    Department of Autonomous Systems Swedish Defence Research Agency.
    Safe receding horizon control of an aerial vehicle2006Ingår i: PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, IEEE , 2006, s. 57-62Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper addresses the problem of designing a real time high performance controller and trajectory generator for air vehicles. The control objective is to use information about terrain and enemy threats to fly low and avoid radar exposure on the way to a given target. The proposed algorithm builds on the well known approach of Receding Horizon Control (RHC) combined with a terminal cost, calculated from a graph representation of the environment. Using a novel safety maneuver, and under an assumption on the maximal terrain inclination, we are able to prove safety as well as task completion. The safety maneuver is incorporated in the short term optimization, which is performed using Nonlinear Programming (NLP). Some key characteristics of the trajectory planner are highlighted through simulations.

  • 45.
    Anisi, David
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Robinson, John W.C.
    Dept. of Autonomous Systems, Swedish Defence Research Agency (FOI), Stockholm, Sweden.
    Ögren, Petter
    Dept. of Autonomous Systems, Swedish Defence Research Agency (FOI), Stockholm, Sweden.
    Online Trajectory Planning for Aerial Vehicle: A Safe Approach with Guaranteed Task CompletionManuskript (Övrigt vetenskapligt)
    Abstract [en]

    On-line trajectory optimization in three dimensional space is the main topic of the paper at hand. The high-level framework augments on-line receding horizon control with an off-line computed terminal cost that captures the global characteristics of the environment, as well as any possible mission objectives. The first part of the paper is devoted to the single vehicle case while the second part considers the problem of simultaneous arrival of multiple aerial vehicles. The main contribution of the first part is two-fold. Firstly, by augmenting a so called safety maneuver at the end of the planned trajectory, this paper extends previous results by addressing provable safety properties in a 3D setting. Secondly, assuming initial feasibility, the planning method presented is shown to have finite time task completion. Moreover, a quantitative comparison between the two competing objectives of optimality and computational tractability is made. Finally, some other key characteristics of the trajectory planner, such as ability to minimize threat exposure and robustness, are highlighted through simulations. As for the simultaneous arrival problem considered in the second part, by using a time-scale separation principle, we are able to adopt standard Laplacian control to a consensus problem which is neither unconstrained, nor first order. 

  • 46.
    Anisi, David
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Robinson, John W.C.
    Swedish Defence Research Agency (FOI), Department of Aeronautics .
    Ögren, Petter
    Swedish Defence Research Agency (FOI).
    On-line Trajectory planning for aerial vehicles: a safe approach with guaranteed task completion2006Ingår i: Collection of Technical Papers: AIAA Guidance, Navigation, and Control Conference 2006, 2006, s. 914-938Konferensbidrag (Refereegranskat)
    Abstract [en]

    On-line trajectory optimization in three dimensional space is the main topic of the paper at hand. The high-level framework augments on-line receding horizon control with an off-line computed terminal cost that captures the global characteristics of the environment, as well as any possible mission objectives. The first part of the paper is devoted to the single vehicle case while the second part considers the problem of simultaneous arrival of multiple aerial vehicles. The main contribution of the first part is two-fold. Firstly, by augmenting a so called safety maneuver at the end of the planned trajectory, this paper extends previous results by addressing provable safety properties in a 3 D setting. Secondly, assuming initial feasibility, the planning method presented is shown to have finite time task completion. Moreover, a quantitative comparison between the two competing objectives of optimality and computational tractability is made. Finally, some other key characteristics of the trajectory planner, such as ability to minimize threat exposure and robustness, are highlighted through simulations. As for the simultaneous arrival problem considered in the second part, by using a time-scale separation principle, we are able to adopt standard Laplacian control to a consensus problem which is neither unconstrained, nor first order.

  • 47.
    Arnoldsson, Jakob
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    OptimalSpeed Controller for a Heavy-Duty Vehicle in the Presence of SurroundingTraffic2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Denna avhandling har undersökt intelligenta och bränsleeffektiva hastighetsregulator för tunga fordon, givet ett framförvarande fordon.  En modell prediktiv kontroller (MPC), hastighetsregulator, har utvecklats tillsammans med en PI-regulator som referens. Den MPC-baserade regulatorn använder information om framtida trafikförhållanden, så som vägtopografi, hastighetsbegränsningar och hastighet hos framförvarande fordon för att ta bränsleeffektiva beslut.  Simuleringar har gjorts för ett så kallat Deterministiskt fall, vilket betyder att MPC regulatorn får fullständig information om framtida trafikförhållanden, och ett Stokastiskt fall där den framtida hastigheten hos framförvarande fordon måste predikteras. För det första fallet ingår regenerativ bromsning samt en enkel distansberoende modell för luftmotståndskoefficienten. För det andra fallet skapas tre prediktionsmodeller: två regelbaserade modeller (konstant hastighet, konstant acceleration) och en inlärningsmodell, Nonlinear Auto Regressive eXogenouse model (NARX).

    Datorsimuleringar har gjorts, både på skapade testfall och på loggade data från ett Scania fordon. De utvecklade modellerna utvärderas slutligen på testfallen för både varierande massor och tillåtna avvikelser från det framförvarande fordonet. Simuleringarna visar på potential för bränslebesparingar med MPC-baserade hastighetsregulatorer både för det deterministiska och det stokastiska fallet.

  • 48.
    Aronsson, Petter
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Ronneback Thomson, Joachim
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Optimal löptidsallokering av bostadslån2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Föreliggande kandidatarbete introducerar en dynamisk allokeringsmetod för bostadslån som kan användas till att reducera ett växande samhällsproblem. De svenska hushållens skulder ökar allt mer och det är belåning till följd finansiering av fastighet som är den främsta orsaken. På grund av en lång tids stigande bostadspriser är svenskarna mer belånade än någonsin [1]. Med tilltagande räntenivå ökar risken att inte klara av räntekostnaderna som huvudsakligen är den största ekonomiska kostnaden för de flesta hushåll.

    Så långt har diskussion emellertid saknats beträffande betydelsen av effektiva och säkra bostadslån. Med hjälp av den dynamiska allokeringsmetoden optimeras löptidsfördelningen av bostadslån, historiskt och prognostiserat. I det senare fallet minimeras både förväntad räntekostnad och risk. Mer specifikt tar metoden hänsyn till tre risknivåer som lägger olika vikt på förväntad räntekostnad gentemot risk. Syftet med arbetet att kunna tillämpa metoden i verkligheten som ett beslutstöd samt kommersialisera som en affärsidé.

    Modelleringen av bostadslån som ett nätverk är centralt för den dynamiska allokeringsmetoden. Detta tillvägagångssätt gör det möjligt att studera ett bostadslån under en längre period vilket är nödvändigt för att kunna hitta en optimal löptidsallokering. Resultatet för det historiska fallet visar att det oftast varit fördelaktigt med rörlig löptid på bostadslånet. Dock inte i lika stor utsträckning som förmodats - enbart under sju av de senaste sjutton åren. Dessutom indikerar resultaten för det prognostiserade fallet att det är fördelaktigt att binda bostadslån på längre löptider. Avslutningsvis presenteras en affärsmodell för det nystartade bolaget Looptime AB vars affärsidé är att förvalta fastighetslån för privatpersoner, bostadsrättsföreningar och icke-finansiella företag.

  • 49.
    Aukrust Avemo, Jonas
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Data gathering and analysis in gaming using Tobii Eye Tracking2015Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    E-sport växer och med det växer prispengar i turneringar. Valves speltitel DotA 2 är en av de största e-sportstitlarna. När professionella spelare tränar för att bli allt duktigare så kan nya verktyg för att hjälpa träningen bli väldigt viktiga. Eye tracking (att mäta var spelaren tittar under spelets gång) kan ge en extra dimension i träningen för spelaren. målet med detta examensarbete är att ta fram ett ”Visual Attention Index” för DotA 2, det vill säga, ett index som reflekterar en spelares visuella uppmärksamhet under en match. Intervjuer med spelare kombinerat med datainsamling från spelare med eye trackers och statistiska metoder användes för att ta fram relevanta metriker att använda i arbetet. Resultaten visade att linjär regression inte lämpade sig att använda på det insamlade datat, men då antalet testpersoner var så lågt så måste mer data samlas ihop från fler personer för att kunna dra några statistisk signifikanta slutsatser. Support Vector Ma-chines (SVM) användes också, och visade sig vara en effektiv metod att separera bättre spelare från säamre. En ny SVM-metod, baserad på linjärprogrammering, testades också. Den visade sig vara både enkel och effektiv att tillämpa på det insamlade datat.

     

  • 50.
    Avventi, Enrico
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Divergence-based spectral approximation with degree constraint as a concave optimization problemManuskript (preprint) (Övrigt vetenskapligt)
    Abstract [en]

    The Kullback-Leibler pseudo-distance, or divergence, can be used as a criterion for spectral approximation. Unfortunately this criterion is not convex over the most general classes of rational spectra. In this work it will be shown that divergence minimization is equivalent to a costrained entropy minimization problem, whose concave structure can be exploited in order to guarantee global convergence in the most general case.

1234567 1 - 50 av 739
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf