I have been performing symbolic solutions on netlists using Syrup, and then performing worst-case analysis on the result using the ranges of all the variables.

I would like to add ifelse and/or piecewise linear expressions to my Syrup models. Using symbolic analysis, I can get multiple sets of results from Syrup based on the conditional statements. I'm thinking that if I could put Syrup solve inside my worst case analysis procedure and submit numeric values to Syrup, that the conditional expressions could be solved for.

I think there is something similar that can be done with Dynamic Systems.

Does this request make sense? Is it possible?

For syntax highlighting etc of Maple programs