Essays about: "automata theory"

Showing result 1 - 5 of 10 essays containing the words automata theory.

1. 1. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Zelin Yu; [2023]
   Keywords : Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

   Abstract : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. READ MORE

3. 2. Moving in the dark : Mathematics of complex pedestrian flows

   University essay from Karlstads universitet/Fakulteten för hälsa, natur- och teknikvetenskap (from 2013)

   Author : Meghashyam Veluvali; [2023]
   Keywords : Mathematical modelling of pedestrian dynamics; stochastic systems; evacuation time; random walk method; parabolic equation; finite difference method;

   Abstract : The field of mathematical modelling for pedestrian dynamics has attracted significant scientific attention, with various models proposed from perspectives such as kinetic theory, statistical mechanics, game theory and partial differential equations. Often such investigations are seen as being a part of a new branch of study in the domain of applied physics, called sociophysics. READ MORE

4. 3. Investigating Evacuation Factors on the KTH Computer Science Chapter Hall using 3D Cellular Automata

   University essay from KTH/Datavetenskap

   Author : Pontus Prüzelius; Michael Morales Sundstedt; [2022]
   Keywords : ;

   Abstract : Aspects regarding safety is always a concern when designing buildings, especially in times of emergencies. Thus, evacuations of said buildings are of paramount importance. READ MORE

5. 4. Thermodynamical properties of cellular automata

   University essay from Lunds universitet/Matematisk fysik; Lunds universitet/Fysiska institutionen

   Author : Luca Bertolani; [2020]
   Keywords : Thermodynamics; Statistical; Mechanics; Cellular; automata; chaos; complex; matrix; computational; mathematical; 2d; two; dimensional; program; code; python; ising; teaching; ideal; gas; partition; function; equilibrium; non-equilibrium; classification; neighbourhood; local; Physics and Astronomy;

   Abstract : Cellular automata are a set of discrete computational models whose evolution is defined by neighbourhood rules and are used to simulate many complex systems in physics and science. In this work, statistical mechanics and thermodynamics in and out of equilibrium are used to develop a five-class classification scheme for two-dimensional cellular automata. READ MORE

6. 5. Monomial Cellular Automata : A number theoretical study on two-dimensional cellular automata in the von Neumann neighbourhood over commutative semigroups

   University essay from Linnéuniversitetet/Institutionen för matematik (MA)

   Author : Linnea Fransson; [2016]
   Keywords : cellular automata; monomial; multiplicative; two-dimensional; von Neumann neighbourhood; number theory;

   Abstract : In this report, we present some of the results achieved by investigating two-dimensional monomial cellular automata modulo m, where m is a non-zero positive integer. Throughout the experiments, we work with the von Neumann neighbourhood and apply the same local rule based on modular multiplication. READ MORE