In industrial control systems, devices such as Programmable Logic Controllers (PLCs) are commonly used to directly interact with sensors and actuators, and perform local automatic control. PLCs run software on two different layers: a) firmware (i.e. the OS) and b) control logic (processing sensor readings to determine control actions). In this work, we discuss ladder logic bombs, i.e. malware w...

determination of the starter torque-speed diagram is a major task in the design or selection of a proper gas turbine starter. in this paper, the maximum power of the mgt-40 gas turbine starter was calculated based on the dynamics of the rotor, start-up logic, and compressor map. in a recent research, the pressure ratio was assumed as a linear function of the rotor speed and the required starter...

We analyze an anisotropic spin 1/2 two legs ladder in the presence of various type of random perturbations. The generic phase diagram for the pure system, in a way similar to spin one chains, consists of four phases: an Antiferromagnet, a Haldane gap or a Singlet phase (depending on the sign of interchain coupling) and two XY phases designated by XY1 and XY2. The effects of disorder depend cruc...

Constructions are presented of nite state encoders for certain d k RLL con straints with DC control In particular an example is provided for a rate encoder for the RLL constraint that requires no look ahead in decoding thus performing favorably compared to the EFMPlus code used in the DVD standard

We present advanced combinatorial techniques for constructing maximum runlength-limited (RLL) block codes and maximum transition run (MTR) codes. These codes find widespread application in recording systems. The proposed techniques are used to construct a high-rate multipurpose modulation code for recording systems. The code, a rate 16/17, (0, 3, 2, 2) MTR code, that also fulfills (0, 15, 9, 9)...

In this paper, we propose an elliptic algebra Aq,p;π̂(ŝl2) which is based on the relations RLL = LLR , where R and R are the dynamical R-maxtrices of A (1) 1 type face model with the elliptic moduli chosen differently.From the corresponding Ding-Frenkel correspondence , we show that the algebra Aq,p;π̂(ŝl2) at level one is the algebra of screening currents for q-deformed Virasoro algebra. The bos...

One of the main themes in the area of Terminologi cal Reasoning has been to identify description logics DLs that are both very expressive and decidable A recent paper by Schild showed that this issue can be pro tably addressed by relying on a correspondence between DLs and propositional dynamic logics PDL However Schild left open three important problems related to the translation into PDLs of ...

We report on the inclusion of a formal method into a design process in industry. Concretely, we suggest carrying out a verification step in railway interlocking design between programming the interlocking and testing this program. Safety still relies on testing, but the burden of guaranteeing completeness and correctness of the verfication is in this way greatly reduced. We present a complete m...

For a system of indistinguishable fermions with pairwise interactions, we consider renormalized, perturbative expansions for the threeand four-particle propagators ~Green’s functions! in terms of exact one-particle propagators, along with a pair interaction that may be bare ~as it appears in the Hamiltonian! or dressed ~polarized!. Care is taken to provide a rigorous foundation for the diagramm...