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 ...

This letter considers the model discrimination problem for switched nonlinear systems, where the switching sequence is constrained by metric/signal temporal logic specifications. Specifically, we ...

Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable ...

GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.