10159 search results - page 1619 / 2032 » System Design Validation Using Formal Models |
140
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper addresses the problem of reducing the hysteresis found in the actuation of most smart materials. They are divided in two groups: systems with no saturation (e.g. piezoe...
192
Voted
JCP
2008
15 years 6 months ago
2008
This paper addresses the issue of trajectory tracking control based on a neural network controller for industrial manipulators. A new control scheme is proposed based on neural net...
211
Voted
APN
2006
Springer
2006
Springer
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
15 years 8 months ago
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...
199
Voted
WSC
1997
15 years 8 months ago
1997
FACTOR/AIM (AIM) is a simulation system designed specifically for use in manufacturing decision support. AIM has been successfully applied to engineering design, scheduling, and p...
285
Voted
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Since 2005, processor designers have increased core counts to exploit Moore’s Law scaling, rather than focusing on single-core performance. The failure of Dennard scaling, to wh...