The paper analyses the use of formal methods within a digital systems design process, having programmable logic devices as implementation devices. An alternative paper title could be "From modeling ...

This paper is concerned with the problem of type-2 fuzzy adaptive inverse control for a cable-driven parallel system. Based on the heuristics and prior knowledge of the system, the system is divided ...