Qualitative modeling approaches are promising and still underexploited tools for the
analysis and design of synthetic circuits. They can make predictions of circuit behavior in the …

Boolean networks with asynchronous updates are a class of logical models particularly well
adapted to describe the dynamics of biological networks with uncertain measures. The state …

This paper proposes and investigates a Boolean gossip model as a simplified but non-trivial
probabilistic Boolean network. With positive node interactions, in view of standard theories …

Boolean models of physical or biological systems describe the global dynamics of the
system and their attractors typically represent asymptotic behaviors. In the case of large …

Boolean networks are used for modeling and analysis of complex systems of interacting
entities. Classical Boolean networks are binary and they are relevant for modeling systems …

This thesis deals with modelling, analysis and control of gene regulatory networks in the
bacterium E. coli, with tools of Control Theory. Different mathematical methodologies …

This thesis deals with modelling, analysis and control of gene regulatory networks in the
bacterium E. coli, with tools of Control Theory. Different mathematical methodologies …

O estudo e desenvolvimento de ferramentas para sistemas computacionais é uma área
onde facilmente podemos encontrar vários trabalhos, sendo hoje em dia um dos tópicos …

Na área industrial e habitual usar ferramentas discretas em sistemas cuja evolução e
contínua e regida pelas leis da mecânica. Estes sistemas que apresentam tanto …