Low Flow Displacement Compressor: Thermodynamical Process Analysis

Abstract. We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybrid games. The logic dDGL is a conservative extension of dL, which we exploit for our implementation of dDGL in the theorem prover KeYmaera. We provide rules for extending the dL sequent proof calculus to handle the dDGL constructs by identifying analogs to operators of dL. We have implemented dDGL in an extension of KeYmaera and verified a case study in which a robot satisfies a joint safety and liveness objective in a factory automation scenario, in which the factory may perform interfering actions independently

A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing

Part 4: INFRASTRUCTURE MODELING AND SIMULATIONInternational audienceModeling and reasoning about critical infrastructure systems is a complex endeavor. Various calculi and algebras have been crafted to help specify physical properties such as time and space, but these do not always translate well between physical entities and their conceptual specifications. Although real-world critical infrastructure systems involve components of both time and space, many existing specification methods focus most strongly on the temporal components, leaving spatial details largely ignored or forcing then to fit within the confines of the temporal specification. This paper presents a one-dimensional sparse space-time specification created using a spatial-temporal logic in which real-world constraints are incorporated in the logic using the next operator. The simplicity and utility of the spatial-temporal formalism is demonstrated by applying it to the generalized railroad crossing problem

The Transformation of school in a changing society - a german example

The following text gives an impression, from an educational science perspective, of the objections against current school reforms in the Federal German Republic. Using several examples, the social challenges that schools have to meet as well as recent structural changes to the school system are explained (1). Two state management strategies in the context of the new forms of output orientation, the establishment of skill-based national education standards (2) and ensuring the accountability of schools by means of state top-down external evaluation (3) are highlighted and analysed on the basis of educational theories. A summary points out the weaknesses of the school reforms, providing recommendations for developing an education that takes the true vocation of schooling seriously (4)