Generating Box Invariants

  title={Generating Box Invariants},
  author={Ashish Tiwari},
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


Publications citing this paper.

Similar Papers

Loading similar papers…