Robust Optimization Model for Internet Shopping Online Problems with Endorsement Costs in the Fashion Industry

Online business is a business activity carried out via the internet or digitally. Buying, selling, and advertising are done online through e-commerce, social media, or online shops. The products offered vary, including services, food, household needs, and fashion. Selling online is not limited by time and distance, and consumers can obtain information about products and services that can influence their decisions. At the same time, sellers also have the opportunity to advertise their products in a broader range by making endorsements. An endorsement is a form of advertising using well-known figures who are recognized, trusted, and respected by people. In this thesis, a model for optimizing the problem of online internet shopping with endorsement fees is formulated. This optimization model aims to maximize the profits gained by sellers in marketing their products online. In marketing products, there is uncertainty in the number of requests. To overcome this uncertainty, an approach is needed that can handle this uncertainty, namely Robust optimization. The Robust optimization model is solved using the polyhedral uncertainty set approach, resulting in a computationally tractable optimal solution.   Keywords: internet shopping online; endorsement costs; robust optimization

Guaranteed Verification of Dynamic Systems

Diese Arbeit beschreibt einen neuen Spezifikations- und Verifikationsansatz für dynamische Systeme. Der neue Ansatz ermöglicht dabei Ergebnisse, die per Definition frei von Fehlern 2. Art sind. Dies bedeutet, dass das Ergebnis der Verifikation keine versteckten Fehler enthalten kann. Somit können zuverlässige Ergebnisse für die Analyse von sicherheitskritischen Systemen generiert werden. Dazu wird ein neues Verständnis von mengenbasierter Konsistenz dynamischer Systeme mit einer gegebenen Spezifikation eingeführt. Dieses basiert auf der Verwendung von Kaucher Intervall Arithmetik zur Einschließung von Messdaten. Konsistenz wird anhand der vereinigten Lösungsmenge der Kaucher Arithmetik definiert. Dies führt zu mathematisch garantierten Ergebnissen. Die resultierende Methode kann das spezifizierte Verhalten eines dynamischen System auch im Falle von Rauschen und Sensorungenauigkeiten anhand von Messdaten verifizieren. Die mathematische Beweisbarkeit der Konsistenz wird für eine große Klasse von Systemen gezeigt. Diese beinhalten zeitinvariante, intervallartige und hybride Systeme, wobei letztere auch zur Beschreibung von Nichtlinearitäten verwendet werden können. Darüber hinaus werden zahlreiche Erweiterungen dargestellt. Diese führen bis hin zu einem neuartigen iterativen Identifikations- und Segmentierungsverfahren für hybride Systeme. Dieses ermöglicht die Verfikation hybrider Systeme auch ohne Wissen über Schaltzeitpunkte. Die entwickelten Verfahren können darüber hinaus zur Diagnose von dynamischen Systemen verwendet werden, falls eine ausreichend schnelle Berechnung der Ergebnisse möglich ist. Die Verfahren werden erfolgreich auf eine beispielhafte Variation verschiedener Tanksysteme angewendet. Die neuen Theorien, Methoden und Algortihmen dieser Arbeit bilden die Grundlage für eine zuverlässige Analyse von hochautomatisierten sicherheitskritischen Systemen