I'm having a problem with YALMIP identifying a set of constraints as BMIs that, according to every source I've found, should be LMIs. I've tried to use penbmi with tomlab to solve them in case they are actually BMIs, but no luck so far. All of the constraints are of the form A'P+PA < 0 where A and Pare decision variables (Lyapunov equations for a fuzzy logic control system). I have equations that are of the same form but unrelated to these earlier in the script that I've put together, and YALMIP correctly identifies them as LMIs. Any help would be greatly appreciated. Thanks.