Automatic abstraction of non-linear systems using change of bases transformations

@inproceedings{Sankaranarayanan2011AutomaticAO,
  title={Automatic abstraction of non-linear systems using change of bases transformations},
  author={Sriram Sankaranarayanan},
  booktitle={HSCC},
  year={2011}
}
We present abstraction techniques that transform a given non-linear dynamical system into a linear system, such that, invariant properties of the resulting linear abstraction can be used to infer invariants for the original system. The abstraction techniques rely on a change of bases transformation that associates each state variable of the abstract system with a function involving the state variables of the original system. We present conditions under which a given change of basis… CONTINUE READING
10 Citations
2 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Similar Papers

Loading similar papers…