摘要 |
<p>A device for synthesising a reverse model of a system comprises a first store storing bits representative of transition functions of the system, a second store storing bits representative of an estimate of transition functions of the reverse model, and processing means. The processing means comprises a logical device for transforming the transition functions of the system into constraints on the reverse model, and a parameterisation processor for applying a parameterisation of the constraints to the estimate of transition functions of reverse system to form transition functions of the reverse model. <IMAGE></p> |