Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games (full version)

We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. Our main result, the interreducibility of the existence of sure winning strategies for the protagonist, allows to transfer known complexity results and bounds on the delay from delay games to games under delayed control, for which no such results had been known. We furthermore analyze existence of randomized strategies that win almost surely, where this correspondence between the two types of games breaks down

The water conservation of the Amazonian rain forest and its influence by man

In Anbetracht der teilweise sehr weitreichenden Pläne zur Umgestaltung des amazonischen Regenwaldes werden die Konsequenzen lokaler bis subregionaler Waldrodung untersucht. Ausgangspunkt ist die Bestimmung des Gebietswasserhaushaltes für den oberhalb von Obidos gelegenen Teil des Amazonassystems, der durch folgende Jahreswerte charakterisiert ist: Niederschlag 2100 mm, (aktuelle) Verdunstung 1100 mm, Abfluß 1000 mm. Dem entspricht eine mittlere Wasserführung von 145 000 m³/sec. bzw. eine mittlere Abflußspende von 31,7 l/sec.km² und ein höchster Hochwasserabfluß von rund 350 000 m³/sec. Die natürlichen Ökosysteme dieses Raumes sind vielfach durch relativ erhebliche Abtragsraten gekennzeichnet, die im einzelnen vom Klima, Relief und den physikalischen Eigenschaften der jeweiligen Bodenassoziationen abhängen. Die Veränderung des Wasserhaushaltes und der Energiebilanz durch Waldrodung begrenzten Ausmaßes wird anhand von Modelrechnungen untersucht, denen unterschiedliche Werte des Bowen-Verhältnisses zugrunde gelegt sind. Es zeigt sich, daß die Höhe des Freilandniederschlages gleich bleibt, daß aber auch bei einem der Primärvegetation entsprechenden Interzeptionsverlust der Folgeformation die Abflußspende stark ansteigt. Die sich daraus ergebenden Konsequenzen für Morphodynamic und Bodenentwicklung werden an einem graphentheoretisch formulierten Geosystem-Modell erörtert. Von erstrangiger Bedeutung sind neben der Niederschlagshöhe die variablen Interzeptionsverlust, Infiltrations- und Feldkapazität sowie Strukturstabilität und Chemismus der Böden; sie bestimmen in Abhängigkeit vom anthropogen veränderten Mikroklima die systemspezifische Belastbarkeitsgrenze der jeweiligen Kulturformation

Strategies Resilient to Delay:Games under Delayed Control vs. Delay Games

We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. Our main result, the interreducibility of the existence of sure winning strategies for the protagonist, allows to transfer known complexity results and bounds on the delay from delay games to games under delayed control, for which no such results had been known. We furthermore analyze existence of randomized strategies that win almost surely, where this correspondence between the two types of games breaks down.</p

Analysis of hybrid systems using HySAT

In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a tightly integrated bounded model checker for hybrid discrete-continuous systems which — in contrast to many other solvers — is not confined to linear arithmetic, but can also deal with nonlinear constraints involving transcendental functions. Based on a controller for train separation implementing a “moving block ” interlocking scheme in the forthcoming European Train Control System Level 3, we exemplify the usage of the tool over the whole cycle from encoding a hybrid system to interpreting the results

Interstadiale Bodenbildungen in oberitalienischen Würm-Lössen

Es wird der Versuch unternommen, auf der Grundlage von Geländebeobachtungen und Literaturangaben eine Karte der mutmaßlichen Lößverbreitung in Oberitalien zu entwerfen. Dann werden fünf Interstadialböden beschrieben. Im Dora Ripária-Gebiet westlich Turin liegen zwei Würmlösse über dem letztinterglazialen, solifluidal umgelagerten Plastosol. Der untere ist zu einer Braunerde-Parabraunerde, der obere zu einer extrem sauren Parabraunerde verwittert. Auch der Löß auf den Rißmoränen des Dora Báltea-Gletschers gehört zwei Würmphasen an. Der darauf entstandene interstadiale und rezente Boden sind beides extreme Pseudogleye. Der fossile Boden ist reich an ehemaligen Frostspalten. Am Tessin konnte auf den Deckenschottern Riß- und Würmlöß gefunden werden. Der extrem pseudovergleyte Rißlöß ist in noch weit höherem Maße als der zu einer mäßig pseudovergleyten Braunerde verwitterte basale Würmlöß von einem Gitterwerk ehemaliger Frostspalten durchsetzt. Aus dem westlichen Gardasee-Gebiet werden zwei Solifluktionslösse über Rißmoräne beschrieben, von denen der untere zu einer Parabraunerde, der obere zu einer Parabraunerde-Braunerde verwitterte, östlich des Garda-sees wurde eine interstadiale Schwarzerdebildung angetroffen, die später zusammengeschwemmt und von Moränen überlagert wurde. Abschließend werden das Bildungsklima der fossilen Böden und ihre stratigraphische Einordnung diskutiert.researc