Grundlagenforschung am Thema Affine Arithmetik. Im Projekt MR sollen die grundlegenden Methoden der Schaltungssimulation mit der Affinen Arithmetik dahingegen erweitert werden, dass auch Diskontinuitäten (Komparatoren) berücksichtigt werden können. Dafür müssen Wandlungsrelationen für den Übergang vom analogen zum digitalen Bereich definiert werden, und eine bereichsbasierte Darstellungsform für den digitalen Bereich spezifiziert werden. Das Ziel dieses Projektes ist es, Grundlagenforschung zu den erforderlichen bereichsbasierten Methoden zu betreiben.