Intelligent transport systems are preparing to welcome connected and automated vehicles (CAVs), although it is uncertain which algorithms should be employed for the effective and efficient management of CAV systems. Even though remarkable improvements in telecommunication technologies, such as vehicle-to-everything (V2X), enable communication and computation sharing among different agents, e.g. vehicles and infrastructures, within existing approaches, a significant part of the computation burden is still typically assigned to central units. Distributed algorithms, on the other hand, could alleviate traffic units from most, if not all, of the high dimensional calculation duties, while improving security and remaining effective. In this paper, we propose a formation-control-inspired distributed algorithm to rearrange vehicles’ passing time periods through an intersection and a novel formulation of the underlying trajectory optimization problem so that vehicles need to exchange and process only a limited amount of information. We include early simulation results to demonstrate the effectiveness of our approach.

This thesis deals with the optimal control of PDEs. After a brief introduction in the theory of elliptic and parabolic PDEs, we introduce a software that solves systems of PDEs by the finite elements method. In the second chapter we derive optimality conditions in terms of function spaces, i.e. a systems of PDEs coupled by some pointwise relations. Now we present algorithms to solve the optimality systems numerically and present some numerical test cases. A further chapter deals with the so called lack of adjointness, an issue of gradient methods applied on parabolic optimal control problems. However, since optimal control problems lead to large numerical schemes, model reduction becomes popular. We analyze the proper orthogonal decomposition method and apply it to our model problems. Finally, we apply all considered techniques to a real world problem.

Es wird ein Ansatz und ein Algorithmus zur Lösung von stochastischen Stoppproblemen vorgestellt, der auf einer dualen Formulierung zum klassischen Lösungsansatz für Stoppprobleme mittels Variationsungleichungen basiert. Unter bestimmten Voraussetzungen kann man für diese duale Formulierung ein äquivalentes unendlichdimensionales lineares Programm aufstellen, das die Momente des Aufenthaltsmaßes des stochastischen Prozesses bis zum Stoppzeitpunkt und die Momente der Verteilung des Prozesses zum Zeitpunkt des Stoppens als Variablen enthält. Für dieses unendlichdimensionale Problem werden endlichdimensionale Approximationen formuliert und gelöst, wobei die Momente nur bis zu einer endlichen Ordnung berücksichtigt werden. Die Güte der numerischen Resultate hängt davon ab, wie genau der Träger des Maßes zum Stoppzeitpunkt identifiziert werden kann. Aus diesem Grund wird ein Verfeinerungsalgorithmus entwickelt, mit dem diese Identifizierung in einer Reihe von Fällen gelingt und sich sehr genaue Ergebnisse erzielen lassen. Der für Stoppprobleme entwickelte Algorithmus kann auch bei der Ermittlung von optimalen Steuerungen für stetige stochastische Prozesse angewandt werden. Für einzelne Beispiele wird gezeigt, welche Resultate dabei erzielt werden können. / We present an approach to, and an algorithm for solving optimal stopping problems. The approach is based on a dual formulation of the classical method for solving stopping problems using variational inequalities. Under suitable conditions it is possible to express the dual formulation as an infinite-dimensional linear program. This linear program uses the moments of the occupation measure and the moments of the stopping measure as variables. We formulate and solve finite-dimensional approximations to this infinite-dimensional program by restricting the number of moments. The accuracy of the numerical results depend on how well the support of the stopping measure can be identified. To this end we develop an iterative procedure which works very well in many cases. In the second part of the dissertation we show how the algorithm, developed for stopping problems, can be used for solving stochastic control problems.

Diese Doktorarbeit behandelt die Beobachtung, daß Koregulationsmuster in Genexpressionsdaten häufig Funktionsstrukturen der Zelle widerspiegeln. Zunächst werden simulierte Genexpressionsdaten und Expressionsdaten aus Hefeexperimenten mit Hilfe von Independent Component Analysis (ICA) und verwandten Faktormodellen untersucht. In einem eher theoretischen Zugang werden anschließend Beziehungen zwischen den Expressionsmustern und der biologischen Funktion der Gene aus einem Optimalitätsprinzip hergeleitet. Lineare Faktormodelle, beispielsweise ICA, zerlegen Genexpressionsmatrizen in statistische Komponenten: die Koeffizienten bezüglich der Komponenten können als Profile von verborgenen Variablen ("Expressionsmoden") interpretiert werden, deren Werte zwischen den Proben variieren. Im Gegensatz zu Clustermethoden beschreiben solche Faktormodelle eine überlagerung biologischer Effekte und die individuellen Reaktionen der einzelnen Gene: jedes Genprofil besteht aus einer überlagerung der Expressionsmoden, die so die gemeinsamen Schwankungen vieler Gene erklären. Die linearen Komponenten werden blind, also ohne zusätzliches biologisches Wissen, aus den Daten geschätzt, und die meisten der hier betrachteten Methoden erlauben es, nahezu schwach besetzte Komponenten zu rekonstruieren. Beim Ausdünnen einer Komponente werden Gene sichtbar, die stark auf die entsprechende Mode reagieren, ganz in Analogie zu Genen, die differentielle Expression zwischen einzelnen Proben zeigen. Verschiedene Faktormodelle werden in dieser Arbeit auf simulierte und experimentelle Expressionsdaten angewendet. Bei der Simulation von Expressionsdaten wird angenommen, daß die Genexpression von einigen unbeobachteten Variablen ("biologischen Expressionsmoden") abhängt, die den Zellzustand beschreiben und deren Einfluss auf die Gene sich durch nichtlineare Funktionen, die sogenannten Genprogramme, beschreiben läßt. Besteht Hoffnung, solche Expressionsmoden durch blinde Datenanalyse wiederzufinden? Die Tests in dieser Arbeit zeigen, daß die Moden mit ICA recht zuverlässig gefunden werden, selbst wenn die Daten verrauscht oder leicht nichtlinear sind und die Anzahl der wahren und der geschätzten Komponenten nicht übereinstimmt. Regressionsmodelle werden an Profile einzelner Gene angepasst, um ihre Expression durch Expressionsmoden aus Faktormodellen oder durch die Expression einzelner Transkriptionsfaktoren zu erklären. Nichtlineare Genprogramme werden mit Hilfe von nichtlinearer ICA ermittelt: solche effektiven Genprogramme könnten zur Beschreibung von Genexpression in großen Zellmodellen Verwendung finden. ICA und verwandte Methoden werden auf Expressionsdaten aus Zellzyklusexperimenten angewendet: neben biologisch interpretierbaren Moden werden experimentelle Artefakte identifiziert, die vermutlich Hybridisierungseffekte oder eine Verunreinigung der Proben widerspiegeln. Für einzelne Komponenten wird gezeigt, daß die koregulierten Gene gemeinsame biologische Funktionen besitzen und daß die entsprechenden Enzyme bevorzugt in bestimmten Bereichen des Stoffwechselnetzes zu finden sind. Die Expressionmechanismen scheinen also - als Ergebnis der Evolution - Funktionsbeziehungen zwischen den Genen widerzuspiegeln: es wäre unter ökonomischen Gesichtspunkten vermutlich ineffizient, wenn kooperierende Gene nicht auch koreguliert würden. Um diese teleologische Vorstellung von Genexpression zu formalisieren, wird in dieser Arbeit ein mathematisches Modell zur Analyse der optimalen differentiellen Expression (ANODE) vorgeschlagen: das Modell beschreibt Regulatoren, also beispielsweise Gene oder Enzyme, und die von ihnen gesteuerten Variablen, zum Beispiel metabolische Flüsse. Das Systemverhalten wird durch eine Fitnessfunktion bewertet, die beispielsweise vom bestimmten Stoffwechselflüssen abhängt und die es zu optimieren gilt. Dieses Optimalitätsprinzip definiert eine optimale Reaktion der Regulatoren auf kleine äußeren Störungen. Zur Berechnung optimaler Regulationsmuster braucht das zu regulierende System nur teilweise bekannt zu sein: es genügt, sein mögliches Verhalten in der Nähe des optimalen Zustandes sowie die lokale Form der Fitnesslandschaft zu kennen. Die Methode wird auf zeitabhängige Störungen erweitert: um die Antwort von Stoffwechselsystemen auf kleine oszillatorische Störungen zu beschreiben, werden frequenzabhängige Kontrollkoeffizienten definiert und durch Summations- und Konnektivitätstheoreme charakterisiert. Um die vorhergesagte Beziehung zwischen Expression und Funktion zu prüfen, werden Kontrollkoeffizienten für ein großes Stoffwechselnetz simuliert, und ihre statistischen Eigenschaften werden untersucht: die Struktur der Kontrollkoeffizientenmatrix bildet die Netztopologie ab, das bedeutet, chemische Reaktionen haben gewöhnlich einen geringen Einfluss auf weit entfernte Teile des Netzes. Außerdem hängen die Kontrollkoeffizienten innerhalb eines Teilnetzes nur schwach von der Modellierung des umgebenden Netzes ab. Verschiedene plausible Annahmen über sinnvolle Expressionsmuster lassen sich formal aus dem Optimalitätsprinzip herleiten: das Hauptergebnis ist eine allgemeine Beziehung zwischen dem Verhalten und der biologischen Funktion von Regulatoren, aus der sich zum Beispiel die Koregulation von Enzymen in Komplexen oder Funktionsmodulen ergibt. Die Funktionen der Gene werden in diesem Zusammenhang durch ihre linearen Einflüsse (die sogenannten Responsekoeffizienten) auf fitnessrelevante Zellvariable beschrieben. Für Stoffwechselenzyme werden aus den Theoremen der metabolischen Kontrolltheorie Summenregeln hergeleitet, die die Expressionsmuster mit der Struktur des Stoffwechselnetzes verknüpfen. Weitere Vorhersagen betreffen eine symmetrische Kompensation von Gendeletionen und eine Beziehung zwischen Genexpression und dem Fitnessverlust aufgrund von Deletionen. Wenn die optimale Steuerung durch eine Rückkopplung zwischen Zellvariablen und den Regulatoren verwirklicht ist, dann spiegeln sich funktionale Beziehungen auch in den Rückkopplungskoeffizienten wider. Daher ist zu erwarten, daß Gene mit ähnlicher Funktion durch Eingangssignale aus denselben Signalwegen gesteuert werden. Das Modell der optimalen Steuerung sagt voraus, daß Expressionsprofile aus Linearkombinationen von Responsekoeffizientenprofilen bestehen: Tests mit experimentellen Expressionsdaten und simulierten Kontrollkoeffizienten stützen diese Hypothese, und die gemeinsamen Komponenten, die aus diesen beiden Arten von Daten geschätzt werden, liefern ein anschauliches Bild der Stochwechselvorgänge, die zur Anpassung an unterschiedliche Umgebungen notwendig sind. Alles in allem werden in dieser Arbeit empirische Beziehungen zwischen der Expression and der Funktion von Genen bestätigt. Darüber hinaus werden solche Beziehungen aus theorischen Gründen vorhergesagt. Ein Hauptziel ist es, teleologische Aussagen über Genexpression auf explizite Annahmen zurückzuführen und dadurch klarer zu formulieren, und so einen theoretischen Rahmen für die Integration von Expressionsdaten und Funktionsannotationen zu liefern. Während andere Autoren die Expression mit Funktionskategorien der Gene oder topologisch definierten Stoffwechselwegen verglichen haben, schlage ich vor, die Funktionen von Genen durch ihre Responsekoeffizienten auszudrücken. Als ein Hauptergebnis dieser Arbeit werden allgemeine Beziehungen zwischen der Funktion, der optimalen Expression und dem Programm eines Gens vorhergesagt. Soweit die Optimalitätsannahme gilt, rechtfertigt das Modell die Verwendung von Expressionsdaten zur Funktionsannotation und zur Rekonstruktion von Stoffwechselwegen und liefert außerdem eine funktionsbezogene Interpretation für die linearen Komponenten in Expressionsdaten. Die Methoden aus dieser Arbeit sind nicht auf Genexpressionsdaten beschränkt: die Faktormodelle lassen sich auch auf Protein- und Metabolitdaten anwenden, und das Optimalitätsprinzip könnte ebenfalls auf andere Steuerungsmechanismen angewendet werden, beispielsweise auf die allosterische Steuerung von Enzymen. / This thesis is concerned with the observation that coregulation patterns in gene expression data often reflect functional structures of the cell. First, simulated gene expression data and expression data from yeast experiments are studied with independent component analysis (ICA) and with related factor models. Then, in a more theoretical approach, relations between gene expression patterns and the biological function of the genes are derived from an optimality principle. Linear factor models such as ICA decompose gene expression matrices into statistical components. The coefficients with respect to the components can be interpreted as profiles of hidden variables (called "expression modes") that assume different values in the different samples. In contrast to clusterings, such factor models account for a superposition of effects and for individual responses of the different genes: each gene profile consists of a superposition of the expression modes, which thereby account for the common variation of many genes. The components are estimated blindly from the data, that is, without further biological knowledge, and most of the methods considered here can reconstruct almost sparse components. Thresholding a component reveals genes that respond strongly to the corresponding mode, in comparison to genes showing differential expression among individual samples. In this work, different factor models are applied to simulated and experimental expression data. To simulate expression data, it is assumed that gene expression depends on several unobserved variables ("biological expression modes") which characterise the cell state and that the genes respond to them according to nonlinear functions called "gene programs". Is there a chance to reconstruct such expression modes with a blind data analysis? The tests in this work show that the modes can be found with ICA even if the data are noisy or weakly nonlinear, or if the numbers of true and estimated components do not match. Regression models are fitted to the profiles of single genes to explain their expression by expression modes from factor models or by the expression of single transcription factors. Nonlinear gene programs are estimated by nonlinear ICA: such effective gene programs may be used for describing gene expression in large cell models. ICA and similar methods are applied to expression data from cell-cycle experiments: besides biologically interpretable modes, experimental artefacts, probably caused by hybridisation effects and contamination of the samples, are identified. It is shown for single components that the coregulated genes share biological functions and the corresponding enzymes are concentrated in particular regions of the metabolic network. Thus the expression machinery seems to portray - as an outcome of evolution - functional relationships between the genes: regarding the economy of resources, it would probably be inefficient if cooperating genes were not coregulated. To formalise this teleological view on gene expression, a mathematical model for the analysis of optimal differential expression (ANODE) is proposed in this work: the model describes regulators, such as genes or enzymes, and output variables, such as metabolic fluxes. The system´s behaviour is evaluated by a fitness function, which, for instance, rates some of the metabolic fluxes in the cell and which is supposed to be optimised. This optimality principle defines an optimal response of regulators to small external perturbations. For calculating the optimal regulation patterns, the system to be controlled needs to be known only partially: it suffices to predefine its possible behaviour around the optimal state and the local shape of the fitness function. The method is extended to time-dependent perturbations: to describe the response of metabolic systems to small oscillatory perturbations, frequency-dependent control coefficients are defined and characterised by summation and connectivity theorems. For testing the predicted relation between expression and function, control coefficients are simulated for a large-scale metabolic network and their statistical properties are studied: the structure of the control coefficients matrix portrays the network topology, that is, chemical reactions tend to have little control on distant parts of the network. Furthermore, control coefficients within subnetworks depend only weakly on the modelling of the surrounding network. Several plausible assumptions about appropriate expression patterns can be formally derived from the optimality principle: the main result is a general relation between the behaviour of regulators and their biological functions, which implies, for example, the coregulation of enzymes acting in complexes or functional modules. In this context, the functions of genes are quantified by their linear influences (called ``response coefficients'') on fitness-relevant cell variables. For enzymes controlling metabolism, the theorems of metabolic control theory lead to sum rules that relate the expression patterns to the structure of the metabolic network. Further predictions concern a symmetric compensation for gene deletions and a relation between gene expression and the fitness loss caused by gene deletions. If optimal regulation is realised by feedback signals between the cell variables and the regulators, then functional relations are also portrayed in the linear feedback coefficients, so genes of similar function may be expected to share inputs from the same signalling cascades. According to the model of optimal regulation, expression profiles are linear combinations of response coefficient profiles: tests with experimental expression profiles and simulated control coefficients support this hypothesis, and the common components which are estimated from both kinds of data provide a vivid picture of the metabolic adaptations that are required in different environments. To summarise, empirical relations between gene expression and function have been confirmed in this work. Furthermore, such relations have been predicted on theoretical grounds. A main aim is to clarify teleological assertions about gene expression by deriving them from explicit assumptions, and thus to provide a theoretical framework for the integration of expression data and functional annotations. While other authors have compared expression to functional gene categories or topologically defined metabolic pathways, I propose to relate it to the response coefficients. A main result of this work is that general relations are predicted between a gene's function, its optimal expression behaviour, and its regulatory program. Where the assumption of optimality is valid, the model justifies the use of expression data for functional annotation and pathway reconstruction, and it provides a function-related interpretation for the linear components behind expression data. The methods from this work are not limited to gene expression data: the factor models are applicable to protein and metabolite data as well, and the optimality principle may also apply to other regulatory mechanisms, such as the allosteric control of enzymes.

Wir studieren optimale Handelsstrategien für einen risikoaversen Investor, der bis zu einem Zeitpunkt T ein Portfolio aufzulösen hat. Dieser kann auf einem traditionellen Markt (dem "Primärmarkt") handeln, wodurch er den Preis beeinflusst, und gleichzeitig Aufträge in einem Dark Pool erteilen. Dort ist die Liquidität nicht öffentlich bekannt, und es findet keine Preisfindung statt: Aufträge werden zum Preis des Primärmarkts abgewickelt. Deshalb haben sie keinen Preiseinfluss, die Ausführung ist aber unsicher; es muss zwischen den Preiseinflusskosten am Primärmarkt und den indirekten Kosten durch die Ausübungsunsicherheit im Dark Pool abgewogen werden. In einem zeitdiskreten Handelsmodell betrachten wir ein Kostenfunktional aus erwarteten Preiseinfluss- und Marktrisikokosten. Für linearen Preiseinfluss ist dieses linear-quadratisch und wir erhalten eine Rekursion für die optimale Handelsstrategie. Eine Position in einem einzelnen Wertpapier wird langsam am Primärmarkt abgebaut während der Rest im Dark Pool angeboten wird. Für eine Position in mehreren Wertpapieren ist dies wegen der Korrelation der Wertpapiere nicht optimal. Tritt im eindimensionalen Fall adverse Selektion auf, so wird die Attraktivität des Dark Pools verringert. In stetiger Zeit impliziert die Liquidationsbedingung eine Singularität der Wertfunktion am Endzeitpunkt T. Diese wird im linear-quadratischen Fall ohne adverse Selektion durch den Grenzwert einer Folge von Lösungen einer Matrix Differentialgleichung beschrieben. Mit Hilfe einer Matrixungleichung erhalten wir Schranken für diese Lösungen, die Existenz des Grenzwertes sowie ein Verifikationsargument mittels HJB Gleichung. Tritt adverse Selektion auf, ergeben umfangreiche heuristische Betrachtungen eine ungewöhnliche Struktur der Wertfunktion: Sie ist ein quadratisches "Quasi-Polynom", dessen Koeffizienten in nicht-trivialer Weise von der Position abhängen. Wir bestimmen dieses semi-explizit und führen ein Verifikationsargument durch. / We study optimal trading strategies of a risk-averse investor who has to liquidate a portfolio within a finite time horizon [0,T]. The investor has the option to trade at a traditional exchange (the "primary venue") which yields price impact and to place orders in a dark pool. The liquidity in dark pools is not openly displayed and dark pools do not contribute to the price formation process: orders are executed at the price of the primary venue. Hence, they have no price impact, but their execution is uncertain. The investor thus faces the trade-off between the price impact costs at the primary venue and the indirect costs resulting from the execution uncertainty in the dark pool. In a discrete-time market model we consider a cost functional which incorporates the expected price impact costs and market risk costs. For linear price impact, it is linear-quadratic and we obtain a recursion for the optimal trading strategy. For single asset liquidation, the investor trades out of her position at the primary venue, with the remainder being placed in the dark pool. For multi asset liquidation this is not optimal because of the correlation of the assets. In the presence of adverse selection in the one dimensional setting the dark pool is less attractive. In continuous time the liquidation constraint implies a singularity of the value function at the terminal time T. In the linear-quadratic case without adverse selection it is described by the limit of a sequence of solutions of a matrix differential equation. By means of a matrix inequality we obtain bounds of these solutions, the existence of the limit and a verification argument via HJB equation. In the presence of adverse selection the value function has an unusual structure, which we obtain via extensive heuristic considerations: it is a "quasi-polynomial" whose coefficients depend on the asset position in a non-trivial way. We characterize the value function semi-explicitly and carry out a verification argument.

Schulpflichtige Nachwuchssportler sehen sich mit der Problematik konfrontiert, dass sowohl die schulische als auch die spitzensportliche Karriere von ihnen vollen Einsatz verlangt, ohne dass sich die erbrachten Leistungen wechselseitig anrechnen lassen. Die daraus entstehende Doppelbelastung kann dazu führen, dass beide Karriereformen nur mit Abstrichen und Beeinträchtigungen verfolgt werden. Bedenkt man nunmehr, dass bei einer Vernachlässigung der schulischen Ausbildung bereits frühzeitig weiterführende berufliche Karrieren eingeschränkt werden, so verwundert es nicht, dass die Verantwortung für die Lösung dieses Inklusionsproblems gemeinhin dem politischen System zugeschrieben wird. Das darauf aufbauende, übergeordnete Erkenntnisinteresse der Arbeit liegt in der Analyse der Möglichkeiten und Grenzen des politischen Systems eine bessere Vereinbarkeit von Schule und Spitzensport herbeizuführen. Die Auseinandersetzung mit der Problematik erfolgt dabei primär auf theoretischer Ebene und verfolgt das Ziel ein in sich geschlossenes Theoriegebäude unter systemtheoretischen Prämissen zu entwickeln. Dabei zeigt sich einerseits, dass die Möglichkeiten der Politik, auf die Problematik der Doppelbelastung schulpflichtiger Nachwuchssportler einwirken zu können aufgrund der funktionalen Differenzierung moderner Gesellschaften und der operativen Schließung der einzelnen sozialen Systeme, stark reglementiert sind. Andererseits scheinen jedoch, aufgrund der Außenorientierung der Politik in Verbindung mit den spezifischen Steuerungsmedien und den vielfältigen Verbindungen zu anderen Systemen, Wirkungen im Sinne einer Differenzsteuerung denkbar. Bei der Betrachtung konkreter Ansatzpunkte politischer Steuerungsmöglichkeiten kann danach unterschieden werden, ob sich Interventionen primär auf die Ebene der Funktions- bzw. Organisationssysteme beziehen oder aber, ob Interorganisationsbeziehungen fokussiert werden.

Im Mittelpunkt der Arbeit steht die prozess- und steuerungstechnische Untersuchung der biologischen Trocknung von Restabfällen im dynamischen Reaktor. Die gezielte Kombination von biologischen und mechanischen Prozessen innerhalb eines Reaktors führt zu Eigenschaften des Outputmaterials, die die prinzipielle Überlegenheit des dynamischen Reaktors hinsichtlich Prozessbeeinflussbarkeit und Produktqualität deutlich belegen. Die vorgestellte Steuerungslösung besteht aus einem Modul zur Klassensteuerung, der in eine übergeordnete Ablaufsteuerung eingebettet wurde. Diesem Aufbau liegt die Feststellung zu Grunde, dass beim diskontinuierlich geführten Prozess die Eigenschaften des Reaktor-Abfall-Systems von Charge zu Charge sehr unterschiedlich ausfallen können. Mit fortschreitender Prozesszeit können bestimmte Eigenschaften, im konkreten Fall Wassergehalt und Aktivität des Materials aus dem Prozessverlauf selbst bestimmt werden. Voraussetzung dazu ist die Schaffung von vergleichbaren Prozessbedingungen durch eine vorgegebene Reihenfolge von Handlungen zu Beginn des Prozesses. Ab einem bestimmten Informationsstand kann die bis dahin schematische in eine automatische Prozessführung überführt werden. In dieser werden an die aktuelle Prozesssituation angepasste Handlungen ausgeführt.

Die Arbeit beschreibt ein Modell, dass den Materialfluss in Transport- und Puffersystemen mit Hilfe eines agenten-basierten Ansatzes realistisch abbildet. Auf der Basis von Produktionsprogrammen werden individuelle Güter in beliebigen Netzwerkstrukturen mit Hilfe direkter und indirekter Interaktionen behinderungsvermeidend gesteuert. / The thesis describes a model that realistically illustrates the material flow in transport and buffer systems by means of an agent-based approach. Individual goods are steered hindrance-avoiding in arbitrary network structures based on production programs by means of direct and indirect interactions.

Aufgabe der Studienarbeit ist die Entwicklung einer Software mit grafischer Benutzeroberfläche, welche es ermöglicht, Farbtesttabellen (color test charts) mit Hilfe des Spektralfotometers Spectrolino der Firma X-Rite Incorporated (ehemals GretagMacbeth GmbH) und dem dazugehörigen XY-Tisch SpectroScan zu messen. Das zu schreibende Programm soll standardisierte und auch nicht standardisierte Testtafeln weitgehend automatisch messtechnisch erfassen können.

Der achte Band der wissenschaftlichen Schriftenreihe EINGEBETTETE, SELBSTORGANISIERENDE SYSTEME widmet sich der Synthese von partiell dynamisch rekonfigurierbaren, eingebetteten Systemen. Mit der Möglichkeit Hardwareblöcke zur Laufzeit auf programmierbaren Bausteinen neu zu konfigurieren, lässt sich eine höhere Flexibilität im Vergleich zu einer Hardwarerealisierung in eingebettete Systeme integrieren. Gleichzeitig sind diese Systeme durch eine gesteigerte Performance gegenüber Software gekennzeichnet. Die Flexibilität kann ausgenutzt werden, um kleinere Schaltkreise bei gleichem Funktionsumfang einzusetzen. Für die Integration von Rekonfigurierung sind zusätzliche Entwurfschritte im Design Flow notwendig. Herr Meisel stellt hierfür in seiner Arbeit eine Entwurfsmethodik vor und geht im Besonderen auf die Partitionierung, Platzierung und Steuerung in dynamisch rekonfigurierbaren, eingebetteten Systemen ein. Um eine vergleichsweise effizient zu realisierende Partitionierung des Systems zu erhalten, wurde das Overlaying Verfahren aus dem Bereich der Speicherverwaltung für dynamische Rekonfigurierung adaptiert. Für das Platzierungsverfahren wurden Rekonfigurierungen als Markov Kette modelliert, um so zu einer Minimierung der durchschnittlichen Rekonfigurierungsdauer zu gelangen. Die vorgestellte Rekonfigurierungssteuerung fokussiert auf einer ressourcensparenden Hardware Implementierung. Mit einem Entwurfsbeispiel werden die Vorteile und Ergebnisse des Ansatzes anschaulich illustriert. So kann der Leser die Mächtigkeit des entwickelten Ansatzes nachvollziehen und wird motiviert, die entwickelte Methodik auf weitere Anwendungsfälle zu übertragen. / Volume 8 of scientific series EINGEBETTETE, SELBSTORGANISIERENDE SYSTEME (Embedded Self-Organized Systems) addresses the synthesis of partially dynamically reconfigurable embedded systems. With the ability to configure hardware blocks during run-time, more flexibility can be integrated in embedded systems. At the same time, these systems have better performance than functions implemented in software. Through this flexibility it is possible to use smaller circuits without limiting the functionality. For the integration of reconfiguration into embedded systems, additional design steps are required. Mr. Meisel presents a design methodology for the design flow and primarily concerns the problem of partitioning, placement, and reconfiguration control in dynamically reconfigurable embedded systems. The implemented partitioning of the system is based on the adapted memory management concept of Overlaying. For the placement method the configurations are modeled as Markov chain, in order to minimize the average reconfiguration time. The presented reconfiguration control unit focuses on a resource-saving hardware implementation. The benefits and results of the approach are clearly illustrated with a design sample. The reader can understand the power of developed approach and is motivated to transfer the developed methodology to more use cases.