Logic-Based Outer Approximation for the Design of Discrete-Continuous Dynamic Systems with Implicit Discontinuities

We address the optimization of discrete-continuous dynamic optimization problems using a disjunctive multistage modeling framework, with implicit discontinuities, which increases the problem complexity since the number of continuous phases and discrete events is not known a-priori. After setting a fixed alternative sequence of modes, we convert the infinite-dimensional continuous mixed-logic dynamic (MLDO) problem into a finite dimensional discretized GDP problem by orthogonal collocation on finite elements. We use the Logic-based Outer Approximation algorithm to fully exploit the structure of the GDP representation of the problem. This modelling framework is illustrated with an optimization problem with implicit discontinuities (diver problem).

Amphibian Hotspots and Conservation Priorities in Eastern Cuba Identified by Species Distribution Modeling

The high rate of amphibian endemism and the severe habitat modification in the Caribbean islands make them an ideal place to test if the current protected areas network might protect this group. In this study, we model distribution and map species richness of the 40 amphibian species from eastern Cuba with the objectives of identify hotspots, detect gaps in species representation in protected areas, and select additional areas to fill these gaps. We used two modeling methods, Maxent and Habitat Suitability Models, to reach a consensus distribution map for each species, then calculate species richness by combining specific models and finally performed gap analyses for species and hotspots. Our results showed that the models were robust enough to predict species distributions and that most of the amphibian hotspots were represented in reserves, but 50 percent of the species were incompletely covered and Eleutherodactylus rivularis was totally uncovered by the protected areas. We identified 1441 additional km2 (9.9% of the study area) that could be added to the current protected areas, allowing the representation of every species and all hotspots. Our results are relevant for the conservation planning in other Caribbean islands, since studies like this could contribute to fill the gaps in the existing protected areas and to design a future network. Both cases would benefit from modeling amphibian species distribution using available data, even if they are incomplete, rather than relying only in the protection of known or suspected hotspots.