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 ...

The ionic partition diagram methodology has been generalized to address both hydrophilic and lipophilic compounds and to consider biphasic systems with variable phase volume ratios. With this ...

The electro-hydraulic actuator (EHA) system generates a trajectory by transferring high force densities in the form of pressurized fluid flows to a hydraulic actuator. Moreover, the sliding mode ...