in this research optimal reconfiguration strategy of the improved srr reconfigurable mobile robot based on force-angle stability measure has been designed using genetic algorithm. path tracking nonlinear controller which keeps robot’s maximum stability has been designed and simulated in matlab. motion equations of the robot have been derived in parametric form by means of newton- euler, lagrang...

This document describes a compositional modeling language, CML, which is a general declarative modeling language for logically specifying the symbolic and mathematical properties of the structure and behavior of physical systems. CML is intended to facilitate model sharing between research groups, many of which have long been using similar languages. These languages are based primarily on the l...

Searle's celebrated Chinese Room Argument has shaken the foundations of Artificial Intelligence. Many refutations have been attempted, but none seem convincing. This paper is an attempt to sort out explicitly the assumptions and the logical, methodological and empirical points of disagreement. Searle is shown to have underestimated some features of computer modeling, but the heart of the issue ...

We describe a generative, scalable software infrastructure for pathway bioinformatics and systems biology. The Sigmoid modeling system is a three-tier architecture comprising distributed modules that implement pathway/cell model generation and simulation (Cellerator), a pathway modeling database (Sigmoid proper), a Web service-oriented middleware, a graphical user interface, and in the future, ...

This paper reviews various approaches that have been used for the modeling and simulation of large-scale engineering systems and determines their appropriateness in the development of a RICS modeling and simulation tool. Bond graphs, linear graphs, block diagrams, differential and difference equations, modeling languages, cellular automata and agents are reviewed. This tool should be based on l...

Modeling plays a major role in policy making, especially for infectious disease interventions but such models can be complex and computationally intensive. A more systematic exploration is needed to gain a thorough systems understanding. We present an active learning approach based on machine learning techniques as iterative surrogate modeling and model-guided experimentation to systematically ...

PRISM was born in 1997 as a symbolic statistical modeling language to facilitate modeling complex systems governed by rules and probabilities [Sato and Kameya, 1997]. It was the first programming language with EM learning ability and has been shown to be able to cover popular symbolic statistical models such as Bayesian networks, HMMs (hidden Markov models) and PCFGs (probabilistic context free...

The proposed translation of natural language (NL) patterns to object and process modeling is seen as an alternative to the symbolic notations, textual languages or classical semantic networks, the main representation tools today. Its necessity is motivated by the universality, unifying abilities, natural extensibility, logic and reusability of NL. The translation relies on a formalized, stylize...