Sofia Kouah

Learn More
This paper aims to provide a formal framework that supports an incremental development of dynamic systems such as multi agents systems (MAS). We propose a fuzzy labeled transition system model (FLTS for short). FLTS allows a concise action refinement representation and deals with incomplete information through its fuzziness representation. Afterward, based(More)
This paper aims to provide a general framework for the design of complex systems such as multi-agents systems (MAS). It is based on formal specification model which supports MAS requirements. This model, called Open Fuzzy Synchronized Petri Net (OFSyPN), is an extension of Synchronized Petri net enhanced by fuzziness, openness and interaction with(More)
  • 1