A New Definition for Passivity and Its Relation to Coherence

It is an essential step in decomposition algorithms for radical differential ideals to satisfy the so-called Rosenfeld property. Basically all approaches to achieve this step are based on one of two concepts: Coherence or passivity. This paper gives a modern treatment of passivity. The theorem by Li and Wang stating that passivity implies coherence is extended to a broader setting. A new definition for passivity is suggested and it is shown to allow for a converse statement so that coherence and passivity become equivalent.

• Type: Conference
• Year: 2006
• Where: AISC
• Authors: Moritz Minzlaff, Jacques Calmet
• Keywords: AISC 2006, Artificial Intelligence, Essential Step, Passivity Implies Coherence, So-called Rosenfeld Property