The following publications are possibly variants of this publication:
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic MethodsNadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha. SAS 2010: 373-389 [doi]
- Generating invariants for non-linear hybrid systemsRachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe. TCS, 594:180-200, 2015. [doi]
- Endomorphisms for Non-trivial Non-linear Loop Invariant GenerationRachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura. ictac 2008: 425-439 [doi]
- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid SystemsNadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha. hybrid 2009: 445-449 [doi]