David Gomez-Gutierrez

Learn More
D ESIGN and operation of manufacturing systems is a large and complex domain of application. The complexity of this domain stems from the large dimension and from the degrees of flexibility of such systems that are highly parallel and distributed. Formal methods are mathematical techniques, often supported by tools, for developing man-made systems. They are(More)
D ESIGN and operation of manufacturing systems is a large and complex domain of application. The complexity of this domain stems from the large dimension and from the degrees of flexibility of such systems that are highly parallel and distributed. Formal methods are mathematical techniques, often supported by tools, for developing man-made systems. They are(More)
The identified parameter variations are shown in Fig. 4 (with delay alignment) and Fig. 5 (without delay alignment). The proposed delay alignment shows good estimation results and, contrarily, the estimation approach without delay alignment fails. In Fig. 5, the variations and errors are so large that the method without delay alignment does not make any(More)