Plateforme CONTROL TOOL BOX

Responsable : L’éco-système control-toolbox réunit différents  packages Julia permettant de modéliser et de résoudre  des problèmes de contrôle optimal pour les équations différentielles ordinaires. Cette suite logicielle trouve son origine dans deux codes de calcul : Bocop tout d’abord, créé par Pierre Martinon et Frédéric Bonnans à Inria Saclay, et Hampath, créé par Jean-Baptiste Caillau (Université Côte d’Azur),  Olivier Cots (IRIT) et Joseph  Gergaud (IRIT). Les premiers développements de control-toolbox ont

Lire la suite…

Monographie sur les logiques modales : les arcanes de la sémantique de Kripke

Monographie sur les logiques modales : les arcanes de la sémantique de Kripke

Apprendre en faisant. C’est ce que cet ouvrage vous propose sur un sujet habituellement perçu comme abstrait : les logiques modales. Grâce au logiciel LoTREC librement distribué et complément indispensable du livre, vous pourrez facilement simuler le comportement de chacune de ces logiques, des plus simples aux plus complexes, de manière très progressive, et ainsi percer les arcanes de la sémantique de Kripke. De nombreux exercices pratiques vous seront proposés

Lire la suite…