Robotique

A methodology to design and check a plant model

Published on - 3rd IFAC Workshop on Discrete-Event System Design (DESDes'06)

Authors: Benoit Rohée, Bernard Riera, Véronique Carré-Ménétrier, Jean-Marc Roussel