It is well known that Propositional Dynamic Logic (PDL) can be seen as a fragment of the modal μ-calculus. In this paper we provide an exact syntactic characterization of the fragments of the μ-calculus that correspond to PDL and to test-free PDL. In addition we give automata-theoretic characterizations for PDL, with and without tests, which shed light on the relation between these logics and t...

We introduce a novel approach for training adversarial models by replacing the discriminator score with a bi-modal Gaussian distribution over the real/fake indicator variables. In order to do this, we train the Gaussian classifier to match the target bi-modal distribution implicitly through meta-adversarial training. We hypothesize that this approach ensures a nonzero gradient to the generator,...

In this paper we propose a novel minimality criterion for models of modal logics based on a variation of the notion of simulation, called subset-simulation. We present a minimal model sound and complete tableau calculus for the generation of this new kind of minimal models for the multi-modal logic K(m), and we discuss extensions to cover more expressive logics. The generation of minimal models...

Voltage instability is gaining importance because of unusual growth in power system. Reactive power limit of power system is one of the reasons for voltage instability. Preventing Voltage Collapsesare one of the challenging tasks present worldwide.This paper presents static methods like Modal Analysis, Two Bus Thevenin Equivalent and Continuation Power Flow methods to predict the voltage collap...

Using ambient excited data under PMU measurements to identify the low frequency oscillation mode and oscillation modes parameter information corresponding, has good prospects in power system analysis and control. This article discusses the applicability by using the natural excitation technique (NExT) in conjunction with the eigensystem realization algorithm for low frequency oscillation modes ...

High-dimensional non-rigid registration of multi-modal data requires similarity measures with two important properties: multi-modality and locality. Unfortunately all commonly used multi-modal similarity measures are inherently global and cannot operate on small image regions. In this paper we propose a new class of multi-modal similarity measures, which are constructed from information of the ...

Sound symbolism is a property of certain words which have a direct link between their phonological form and their semantic meaning. In certain instances, sound symbolism can allow non-native speakers to understand the meanings of etymologically unfamiliar foreign words, although the mechanisms driving this are not well understood. We examined whether sound symbolism might be mediated by the sam...

The generation of a finite element based structural model of a small, flexible unmanned aircraft is presented. The paper focuses on obtaining a simple model suitable for control design based on a two step procedure. In an initial step, static and dynamic tests of the wings are conducted. These experiments give first estimates of the material properties (e.g., stiffness) of the aircraft. A finit...

In the occlusion illusion, the visible portion of a partly occluded object (eg a semicircle partly hidden behind a rectangle) appears to be significantly larger than a physically identical region that is fully visible. This illusion may occur either because the visual system 'fills in' a thin strip along the occluded border (the partial-modal-completion hypothesis) or because the partly occlude...

Experiments were conducted to obtain the modal damping ratios of two hollow cylinders of different thicknesses of Aluminum. An electro dynamic exciter with slip table is used to excite the hollow cylinders. The hollow cylinder (unit under test) is fastened to the exciter. The exciter is placed in the horizontal direction and connected to the slip table. A control accelerometer is placed at the ...