Section: New Results
Parameter Search with Temporal Logic Constraints
Participants : Grégory Batt, François Fages, Anthony Lins, Sylvain Soliman, Pauline Traynard, Jannis Uhlendorf, Luma Vittorino.
Our method for solving temporal logic constraints
in first-order linear time logic LTL(
This approach is implemented in BIOCHAM and is one unique feature of this modeling environment. In this implementation, the continuous optimization procedure we use is the Covariance Matrix Adaptation Evolutionary Strategy CMAES of Nikolaus Hansen from the EPI TAO. A parallel version of Biocham implements this method on the Jade cluster of 10000 cores at GENCI for running our most challenging parameter search problems.
This year, in collaboration with Fernando Buarque, we have explored another continuous optimization method of the family of Particle Swarm Optimization (PSO), called Fish School Optimization (FSS). In [13] , we report on our first results which are encouraging for using FSS for decreasing the sensitivity of the method to initial conditions and being able to maintain several swarms of solutions.