Generating Box Invariants

@inproceedings{Tiwari2008GeneratingBI,
  title={Generating Box Invariants},
  author={Ashish Tiwari},
  booktitle={HSCC},
  year={2008}
}
Box invariant sets are box-shaped positively invariant sets. We show that box invariants are computable for a large class of nonlinear and hybrid systems. The technique for computing these invariants is based on nonlinear constraint solving. This paper also shows that the class of multiaffine systems, which has been used successfully for modeling and analyzing regulatory and biochemical reaction networks, can be generalized to the class of componentwise monotone and componentwise quasi monotone… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
16 Citations
26 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…