Now showing items 1-2 of 2
Designing a provably correct robot control system using a "lean" formal method
A development method for the construction of provably correct robot control systems together with its supporting tool environment are described. The method consists of four stages: 1. specification, 2. refinement, 3. ...
Genetic algorithm and neural network hybrid approach for job-shop scheduling
(ACTA Press, 1998)
This paper proposes a genetic algorithm (GA) and constraint satisfaction adaptive neural network (CSANN) hybrid approach for job-shop scheduling problems. In the hybrid approach, GA is used to iterate for searching optimal ...