The Effect of Totalizer Bound Tightening on MaxSAT Solving

Maximum Satisfiability (MaxSAT) is a known problem within the optimization field which has led many different solving approaches to be devised in the last several decades. From Linear Search to unsatisfiable core-based solvers, many MaxSAT algorithms rely on cardinality constraints to express how many soft clauses can be violated at most....

Towards optimizing dual-mode fleet routing and parcel allocation

More and more parcels are delivered all over the world, by numerous carriers. Collaboration between couriers can benefit both companies and their customers, as it has the potential to reduce cost and reduce the number of couriers stopping at the same location. Furthermore, autonomous driving is gradually picking up traction opening up another...

Parameter estimation for lateral dynamic tire models using empirical inertial data: A comparative case study of gradient-based algorithms vs genetic algorithms

Self-driving vehicles are the future of automotive engineering. Systems that take over control from the driver are developed to be able to interact with the conditions of the road and other obstacles. To develop these systems, developers use vehicle models to simulate the behaviour of the moving vehicle. The systems developed using these models...

Robot Placement for Mobile Manipulation in Domestic Environments

The development of domestic mobile manipulators for unconstrained environments has driven significant research recently. Robot Care Systems has been pioneering in developing a prototype of a mobile manipulator for elderly care. It has a 6 degrees of freedom robotic arm mounted on their flagship robot LEA, a non-holonomic differential drive...