While the Standard Model (SM) describes all known fundamental particles and many of the interactions between them, it fails ...

Welcome to what is currently one of the fastest academically developed solvers for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP). In addition, SCIP provides a highly ...

PaPILO, a C++14-based software package, provides parallel presolve routines for (mixed integer) linear programming problems. The routines are implemented using templates which allows switching to ...

In this paper, we propose a framework for prioritized constraint-based specification of robot tasks. This framework is integrated with a cognitive robotic system based on semantic models of processes, ...

This paper is devoted to the consensusability of discrete-time linear time invariant (LTI) multi-agent systems over a fixed directed network communication graph. A distributed dynamic output feedback ...