Identification methods (formal or simulation based), are used for logical design, test or sequential learning. Roughly, we can say that they consist in deriving an automaton model of a given sequential system from a functional description of its behavior. In this paper we present a new identification approach based on genetic simulation. The first section offers a synthetic unified classification of the different known identification methods according to three criteria that have been extracted from their analysis. Then, the potentiality and interest of genetic simulation for identification is analyzed, and a new genetic approach for functional identification is presented. Lastly we describe a computational experiment we made to validate our idea and the results we obtained. New perspectives are wide open now, particularly concerning the design, simulation and behavioral prediction of incremental and adaptive systems.
This paper presents the principal functionalities of robotinanipulator controllers and a comparative study of two development methods for real-time systems applied to this controller. The selected techniques are SART and the unified inethod associated to UML, because they represent two cl:issical types of modelling techniques: structured design with functional decomposition and object-oriented methodology. We analyse seven design issues associated to the robot controller development process and its utilisation comparing these two methods.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.