MonotonicityAnalysis

Demo of the montonicity analysis algorithm. This expression shows the an example taken from a constraint on the integrator componennt. The analysis correctly infers it as monotonic:

MonotonicityAnalysis is available in two formats:

An HTML Version - browsable only, not executable.

See Web Start Help for details.