A maximally permissive (or optimal) supervisory control of an automated manufacturing system (AMS) modeled by Petri nets (PNs) can be usually implemented by imposing constraints in the form of a set ...

In symbolic regression with formal constraints, the conventional formulation of regression problem is extended with desired properties of the target model, like symmetry, monotonicity, or convexity.