This paper develops an automatic parking algorithm based on a fuzzy logic controller with the vehicle pose for the input and the steering angle for the output. In this way some feasible reference trajectory path have been introduced according to geometric and kinematic constraints and nonholonomic constraints to simulate motion path of car. Also a novel method is used for parking space detec...

Final goal of the project FATAL is a simulation model which considers radiation induced effects, like single event transients (SETs) and single event upsets (SEUs), in asynchronous logic. Using this model, it will be possible to develop a design and simulation framework for designing radiation tolerant asynchronous logic. For synchronous logic such frameworks are already available. Synchronous ...

Fault simulation is a powerful yet not well understood tool for generating test vectors. This tutorial describes the principles of fault simulation, fault modeling techniques and the economic benefits of fault simulation. The section on principles of fault simulation includes serial, parallel, and concurrent fault simulation algorithms along with descriptions of digital faults, fault coverage, ...

In the preface to the this book, the authors point out that simulation models can be useful tools for investigating real phenomena in an idealized way. However, the complexity of simulation models can often deter their use by ecologists. Also, complexity and implementation details of a simulation may obscure assumptions underlying the model. These observations provide partial justification for ...

Building on the work of L. Moss on coalgebraic logic, I study in a general setting a class of infinitary modal logics for F -coalgebras, designed to capture simulation and bisimulation. For a notion of coalgebraic simulation, I use the work of A. Thijs on modelling simulation in terms of relators Γ (extensions of SET -functors along some family of preoders): simulation is the analogue for relat...

We compare the two approaches to the empirical logic of automata. The first, called partition logic (logic of microstatements), refers to experiments on individual automata. The second one, the logic of simulation (logic of macrostatements), deals with ensembles of automata. Institut für Theoretische Physik, University of Technology Vienna, Wiedner Hauptstraße 8-10/136, A-1040 Vienna, Austria; ...

In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed -calculus with recursion and arithmetic, our logic is a logic for System F. The logic permits the formal presentation and use of relational parametricity. Parametricity yields|for example|encodings of initial algebras, nal co-algebras and abstract datatypes, with corresponding proof princ...

This paper presents a fuzzy logic controller for brushless direct current (BLDC) permanent magnet motor drives. Initially a fuzzy logic controller is developed using MATLAB Fuzzy-Logic Toolbox and then inserted into the Simulink model. The dynamic characteristics of the brushless DC motor such as speed, torque, current and voltage of the inverter components are observed and analyzed using the d...

A technique used to accelerate an adaptive optics simulation platform using reconfigurable logic is described. The performance of parts of this simulation has been improved by up to 600 times (reducing computation times by this factor) by implementing algorithms within hardware and enables adaptive optics simulations to be carried out in a reasonable time scale. This demonstrates that it is pos...