Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 131 for “"automaton"”.
-
The automaton theater
… work, and in particular on the contemporary automaton theater, is also discussed. Finally, considerations are added in relation to a new project.
-
I/O automaton based simulation of selected distributed algorithms
Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990.
-
Simulation of an interacting system using a cellular automaton
Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1987.
-
A cellular automaton – based system for the identification of topological features of carotid artery plaques
… programming resulting in a cellular-automaton based model which is shown to produce distinct images for different sizes and topologies of plaque in a reliable and human-interpretable way.
-
Simulating the Spread of Malaria: A Cellular Automaton Based Mathematical Model & A Prototype Software Implementation
Every year three million deaths are attributed to malaria, of which one-third are of children. Malaria is a vector-borne disease, where a mosquito acts as the vector that transmits the disease. In the last few years, computer simulation based models have been used effectively to study the vector …
-
From Scenarios to Optimally Allocated Timed Automata
… a minimal, acyclic, and deterministic timed automaton that models the specified aspects of the system. Second, we consider the problem of optimally allocating clocks in timed automata. Reducing the number of clocks in a timed automaton is important, as it directly affects the complexity of …
-
Cellular automata models for excitable media
A cellular automaton is developed for simulating excitable media. First, general "masks" as discrete approximations to the diffusion equation are examined, showing how to calculate the diffusion coefficient from the elements of the mask. The mask is then combined with a thresholding operation to …
-
Verifiable compilation of I/O automata without global synchronization
… Java code itself as a threaded, low-level I/O automaton and use a refinement mapping to show that the external behavior of the system is preserved by the translation. The IOA compiler has been implemented at MIT as part of the IOA toolkit. The toolkit supports algorithm design, development, …
-
Alternating Automata and the Temporal Logic of Ordinals
… and Schupp define the concept of an alternating automaton, a sort of completion of the notion of a non-deterministic automaton, and show how the notion may be used to prove a number of major results in the theory of automata on infinite inputs in a unified way. In this thesis, we extend the …
-
State Estimation of Timed Discrete Event Systems and Its Applications
… summarized as follows. 1. The notion of a zone automaton is introduced as a finite automaton providing a purely discrete event description of the behaviour of a TFA/GTFA of interest. Each state of a zone automaton contains a discrete state of the timed DES and a zone that is a time interval …
-
Theory and application of learning automata.
… environments. The operation of a hierarchical automaton controlling the memory size of a Tsetlin automaton is also investigated. Two new automata are proposed with the aim of avoiding the operational disadvantages of the Tsetlin automaton. These automata have been tested using a computer …
-
Representing processes as Update Automata and Transducers
In 2007 Nerode introduced the notion of an update automaton and update transducer to model the evolution of interactions of arbitrary functions on arbitrary domains governed by a finite automaton. We show the scope of this methodology by modeling a variety of processes, including database networks, …
-
Translating timed I/O automata specifications for theorem proving in PVs
The timed input/output automaton modeling framework is a mathematical framework for specification and analysis of systems that involve discrete and continuous evolution. In order to employ an interactive theorem prover in deducing properties of a timed input/output automaton, its state-transition …
-
Pattern synthesis and perturbation in tessellation automata
… can be generated from a single seed in the automaton. Next, results for single perturbations of the automaton are given and fall into two classes; restoration of equilibrium configurations and self-diagnosis. Restoration results demonstrate the existence of configurations which will …
-
Opacity Verification and Fault Diagnosis in the Framework of Switching Output Automata
… dissertation introduces the Switching Output Automaton (SOA) framework to address this gap. SOA models what observers see in practice: output symbols and their durations. The key innovation is a minimum dwell time constraint that requires any two consecutive events to be separated by at least …
-
Translation of Simulink-Stateflow models to hybrid automata
… kinds of hybrid automata---the former gives an automaton with state-dependent transitions and the latter gives a time-triggered automaton. We show that under certain assumptions, the semantics of the latter converge to the former as the simulation step size decreases. We illustrate HyLink's …
-
Synthesis of stochastic learning automata.
… these two lines of activity, developing hardware automaton designs and devising applications to simulated and real system parameter optimisation problems. To provide continuity with previous theoretical studies and also lay the necessary foundations of hardware system design experience, basic …
-
Learning two-dimensional spatial dynamics from experimental data
… models is a class of probabilistic cellular automaton rules, a rule which is inherently local. The traditional definition of a cellular automaton has been enhanced here to include information which is non-local in both space and time thus allowing the models to reproduce a greater variety of …
-
Learning two-dimensional spatial dynamics from experimental data
… models is a class of probabilistic cellular automaton rules, a rule which is inherently local. The traditional definition of a cellular automaton has been enhanced here to include information which is non-local in both space and time thus allowing the models to reproduce a greater variety of …
Page 1 of 7