z-logo
open-access-imgOpen Access
Hierarchical Design of Adaptive Automata Models
Author(s) -
Ricardo Luis de Azevedo da Rocha
Publication year - 2017
Publication title -
procedia computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.334
H-Index - 76
ISSN - 1877-0509
DOI - 10.1016/j.procs.2017.05.434
Subject(s) - computer science , automaton , notation , theoretical computer science , process (computing) , decomposition , finite state machine , programming language , mathematics , ecology , arithmetic , biology
The purpose of this paper is to devise a method for the design of adaptive automaton models using functional decomposition. One of the biggest challenges faced by researchers is to restrain side effects asserting design features. We defined a formal notation to structure the process; this allows the developer to build an adaptive automaton in a hierarchical way. As a result, we proved that the design method preserves some properties (determinism). Furthermore, we present an example of an evaluation of the process.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom