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

@inproceedings{Matringe2009MorphismsFN,
  title={Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems},
  author={Nadir Matringe and Arnaldo Vieira Moura and Rachid Rebiha},
  booktitle={HSCC},
  year={2009}
}
We present a new method that addresses the various deficiencies of the state-ofthe-art non-linear invariant generation methods for hybrid systems. Present approaches for non-linear invariant generation are limited to linear systems, or they relay on non scalable methods which have high complexity. Moreover, for hybrid systems with discrete transitions, differential rules, and local conditions that are described by multivariate polynomial or fractional systems, no applicable method is known that… CONTINUE READING
10 Citations
26 References
Similar Papers

Similar Papers

Loading similar papers…