573 search results - page 54 / 115 » Evolutionary functional testing of continuous control system... |
PADL
2001
Springer
15 years 2 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
96
Voted
WCE
2007
14 years 10 months ago
2007
— This paper proposes a population based adaptive tuning for dynamic position control of robot manipulators. The dynamic behavior of a robot manipulator is highly nonlinear, and ...
ANSOFT
1999
14 years 9 months ago
1999
In real-time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built-in test (BIT) method is developed to cope with software dynamic incon...
FGCS
1992
14 years 10 months ago
1992
: There have been no major control problems during the first three years of the new Tokaido-Sanyo Shinkansen (bullet train) Programmed Route Control (PRC) computer system. Prior to...
HYBRID
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...