The ultimate goal of cognitive sciences is to understand how the mind works and the ultimate goal of neural modeling is to build the artificial mind. Short summary of the state of art in this field is given. The symbolic/neural points of view are complementary rather than exclusive. The Floating Gaussian Model (FGM) introduced in this paper facilitates both neural and symbolic interpretations: ...

We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implemented using symbolic computations based on Maple [30].

In this paper, we present AMIA, a workbench for developing knowledge-based discrete-time simulation systems. AMIA is original in two respects: first it uses an algebraic modeling language for combining numerical and symbolic knowledge. Second, it uses a new simulation algorithm able to exploit this combination of numerical and symbolic knowledge. AMIA also includes a model management system for...

In this paper, we present AMIA, a workbench for developing knowledge-based discrete-time simulation systems. AMIA is original in two respects: first it uses an algebraic modeling language for combining numerical and symbolic knowledge. Second, it integrates two new simulation algorithms able to exploit this combination of numerical and symbolic knowledge. AMIA also includes a model management s...

In this paper, we present AMIA, a workbench for developing knowledge-based discrete-time simulation systems. AMIA is original in two respects. First it uses an algebraic modeling language for combining discrete-time models (difference equations) and symbolic knowledge. Second, it uses a new simulation algorithm able to exploit this combination of numerical and symbolic knowledge. AMIA also incl...

Abstract This paper aims to provide an insight into the functionality of the Inverted Pendula Modeling and Control, a custom, thematic Simulink block library which was designed to provide software support for the analysis and synthesis of inverted pendula systems. In addition, crucial modeling procedures such as the derivation of motion equations for inverted pendula systems and symbolic linear...

This paper is devoted to complex system modeling, that is to say modeling recursively systems by interconnecting component models. Our concern is to address the potential heterogeneity induced by the usage of different modeling formalisms for describing different component models involved in a common system. The main difficulty is each modeling language has its own execution and communication s...

This paper presents a new systematic algorithm to symbolically derive the full nonlinear dynamic equations of motion of multi-link flexible manipulators. Lagrange's-Assumed modes method is the basis of the new algorithm and adapted in a way suitable for symbolic manipulation by digital computers. It is aaplied to model a two-link fleXIble arm via a commercially available symbolic manipulation p...