In this work a monolithic architecture to realize a highperformance switching regulator with non-linear fuzzy logic control is introduced. An overview of the main issues related to PWh4 DCDC conversion in continuous mode is reported and an introduction to nonlinear fuzzy logic control is given. The main analog Fuzzy Logic blocks are illustrated and the overall architecture presented with the ma...

This work presents a model for determining the availability of continuous systems at open pits by applying fuzzy logic and inference systems. The applied was formed synthesis independent partial indicators availability. is based on an expert system assessing mining system, as complex state parameter, decomposed into indicators, reliability, convenience maintenance, compositions, used integratio...

In last year’s HSCC conference, we introduced the Φ-calculus [8], an extension of Milner’s powerful π-calculus, so that concurrent and reconfigurable programs could interact with a (concurrent) continuous environment in the sense in which ordinary hybrid automata do so. In that paper, though, we were concerned only with the operational (hybrid) semantics of such systems, and not with any mechan...

The notion of a continuously variable quantity can be regarded as a generalization of that of a particular (constant) quantity, and the properties of such quantities are then akin to, and derived from, the properties of constants. For example, the continuous, real-valued functions on a topological space behave like the eld of real numbers in many ways, but instead form a ring. Topos theory perm...

We describe an infinitary logic for metric structures which is analogous to Lω1,ω . We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using topological methods, we prove an omitting types theorem for countable fragments of our infinitary logic. We use omitting types to prove a two-cardinal theorem, which yields...