Robotique

Formal Verification of Industrial Controllers: with or without a Plant model?

Published on - 7th Portuguese Conference on Automatic Control, CONTROLO'06

Authors: José Machado, Bruno Denis, Jean-Jacques Lesage