Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods.

Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha

Browse the full SAS paper archive.