Compositional abstraction and safety synthesis using overlapping symbolic models

In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that are overlapping in the sense that they can share some common state variables. We develop compositional safety synthesis techniques using such overlapping symbolic subsystems. Comparisons, in terms of conservativeness and of computational complexity, between abstractions and controllers obtained from different system decompositions are provided. Numerical experiments show that the proposed approach for symbolic control synthesis enables a significant complexity reduction with respect to the centralized approach, while reducing the conservatism with respect to compositional approaches using non-overlapping subsystems

Dolomitization Processes in Hydrocarbon Reservoirs: Insight from Geothermometry Using Clumped Isotopes

Clumped isotopes geothermometry was applied to two dolomitic hydrocarbon reservoirs. Results indicate that late burial dolomitization occurred at ~110°C in the Albian Pinda dolostone (offshore Angola) and ~90°C in the Mano-Meillon dolostone (Aquitaine Basin, France), and did not continue on during subsequent burial/thermal evolution to present-day conditions (150-160°C). This study illustrates the great potential of the clumped isotopes approach to help unravel dolomitization processes in hydrocarbon reservoirs

La enciclopedia de las ciencias poéticas en Giambattista Vico

Este artículo pretende mostrar en qué medida la empresa de elaboración de una “ciencia nueva” por Vico remite a un proyecto enciclopédico especialmente original. Una de las razones de esta originalidad consiste en discernir en qué medida la enciclopedia viquiana se construye en torno a una doble crítica: la de la mathesis universalis cartesiana y la que se dirigirá más tarde a la Encyclopédie de Diderot y que Vico elabora a partir de los diccionarios y misceláneas de su época. Al oponerse al reduccionismo cartesiano y al anticipar las críticas a las enciclopedias, Vico encuentra una vía propia que le permite conservar la eficacia de la mathesis universalis y extenderla al conjunto del “hacer” humano. La clave de esta perspectiva enciclopédica es la manifestación de la actividad poética de la humanidad y el establecimiento de las condiciones de posibilidad genéticas del desarrollo del saber humano.This article aims to show that the Vichian project of writing a “new science” is a particularly original encyclopaedic project. One of the reasons for this originality emerges from the consideration of up to what point is the Vichian encyclopaedia built up around a kind of double criticism: the one of the Cartesian mathesis universalis and the one that will later be raised against Diderot’s Encyclopédie, which Vico elaborates from the dictionaries and compilations of his time. Opposing Cartesian reductionism, and anticipating the criticism of the encyclopaedias, Vico finds his own way, which allows him to preserve the efficacy of the mathesis universalis while extending it to the whole of human “doing”. The key of this encyclopaedic perspective is the manifestation of the poetic activity of humanity and the establishment of the genetic conditions of possibility for the development of human knowledge

Giambattista Vico e la politica della ragione

Este artículo pretende trazar la genealogía de una interpretación de Vico nacida de la redefinición de la razón y del estatus político de su pensamiento.This article aims to trace the genealogy of an interpretation of Vico, born of the redefinition of reason and the political status of his thought.Questo articolo intende tracciare la genealogia di un’interpretazione di Vico nata dalla ridefinizione della ragione e dallo statuto politico del suo pensiero

Les coopératives de solidarité au Québec : entre rupture et continuité

La formule de coopérative multisociétaire introduite au Québec en 1997 sous le nom de coopérative de solidarité marque une rupture avec la tradition de développement coopératif de type unisociétaire. Il s’agit aussi d’un nouveau défi sur le plan de la gouvernance, car on doit désormais composer avec l’intérêt de plusieurs acteurs. Le déploiement dans des secteurs nouveaux, comme celui des services de proximité marque également un changement. Cependant, on peut aussi relever qu’il y a continuité au regard de la tradition coopérative consistant à répondre à des besoins non ou mal satisfaits par le marché ou l’État. L’importance grandissante des coopératives de solidarité dans la démographie coopératives – plus de 50 % des nouvelles organisations adoptent ce modèle – incite à pousser plus loin des recherches pour mieux cerner leur influence.The multi-stakeholder type of cooperative was introduced in Quebec in 1997 under the name of solidarity co-operative (SC). In some way, it marked a departure from the single-member co-op tradition. This new membership form gave rise to unprecedented challenges on the governance side, because of the need to find a compromise between the interests of diverse members. The spread of the SCs in new fields of activity such as proximity services also marked a change. Nevertheless, the SCs followed the same pattern as single-member co-ops by responding to needs that were not met by the market or the state. The growing “market share” of solidarity co-ops, which now represent more than 50 % of all new co-operatives, points to new research as a means to better understand their impact.La fórmula cooperativa multi interesados se introdujo en Québec en 1997 bajo el nombre de cooperativa de solidaridad, marcando una ruptura con la tradición de desarrollo cooperativo del tipo uni-asociado. Se trata de un nuevo desafío en términos de gobernanza ya que ahora se debe integrar el interés de varios agentes. El despliegue de nuevos sectores, como los servicios de proximidad también marca un cambio. Por el contrario, se puede observar la continuidad con respecto a la tradición cooperativa de respuesta a las necesidades no cubiertas o insatisfechas, tanto por el mercado como por el Estado. La creciente importancia de las cooperativas de solidaridad en la demografía cooperativa -más del 50 % de las organizaciones está adoptando este nuevo modelo- sugiere profundizar el alcance de la investigación para entender mejor su impacto