Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems

Authors:
Nadir Matringe;Arnaldo Vieira Moura;Rachid Rebiha
Affiliations:
Institue de Mathematiques de Jussieu Université Paris, France;Institute of Computing, University of Campinas, Brasil;Faculty of Informatics, University of Lugano, Switzerland and Institute of Computing, University of Campinas, Brasil
Venue:
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Year:
2009

Citing 3
Cited 4

Generating Box Invariants

HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Computational Commutative Algebra 1

Computational Commutative Algebra 1

Generating invariants for non-linear hybrid systems by linear algebraic methods

SAS'10 Proceedings of the 17th international conference on Static analysis
Automatic abstraction of non-linear systems using change of bases transformations

Proceedings of the 14th international conference on Hybrid systems: computation and control
Transcendental inductive invariants generation for non-linear differential and hybrid systems

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients

Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a new method that addresses various deficiencies of the state-of-the-art non-linear invariant generation methods for hybrid systems. By identifying suitable endomorphisms for each algebraic consecution condition, we reduce the problem to the computation of specific eigenspaces and their intersections.