Sciweavers

1915 search results - page 51 / 383
» A language for functional interpretation of model based simu...
Sort
View
CAV
2007
Springer
227views Hardware» more  CAV 2007»
14 years 1 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
SYNASC
2005
IEEE
84views Algorithms» more  SYNASC 2005»
14 years 2 months ago
Membrane Computing as a Framework for Modeling Economic Processes
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
Gheorghe Paun, Radu A. Paun
CGF
2004
140views more  CGF 2004»
13 years 9 months ago
Measurement-Based Interactive Simulation of Viscoelastic Solids
Animation of viscoelastic solids in entertainment and medical applications as well as scientific simulation can be improved through observations of real world objects. This paper ...
Jeffrey Schoner, Jochen Lang, Hans-Peter Seidel
TFS
2008
129views more  TFS 2008»
13 years 7 months ago
A Functional-Link-Based Neurofuzzy Network for Nonlinear System Control
Abstract--This study presents a functional-link-based neurofuzzy network (FLNFN) structure for nonlinear system control. The proposed FLNFN model uses a functional link neural netw...
Cheng-Hung Chen, Cheng-Jian Lin, Chin-Teng Lin
ETFA
2006
IEEE
14 years 3 months ago
Synthesis of Distributed Controllers by Means of a Monolithic Approach
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
Dirk Missal, Hans-Michael Hanisch