This paper aims to provide a formal framework that supports an incremental development of dynamic... 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 on FLTS model, we propose a refinement model called fuzzy labeled transition refinement tree (FLTRT for short). The FLTRT structure serves as a tree of potential concurrent design trajectories of the system. Also, we introduce bisimulation relations for both models in order to identify equivalent design trajectories, which could be assessed with respect to relevant design parameters.
Recent Research in Control Engineering and Decision Making, 2019
Diagnosis aims at identifying a faulty system based on its behavior observations. It is widely em... more Diagnosis aims at identifying a faulty system based on its behavior observations. It is widely emerged in altogether computer sciences fields, among others: aeronautics, space exploration, nuclear energy, process industries, manufacturing, healthcare, networking, automatism and many other control applications. Diagnosis involves distributed components with an uncertain global view. This paper intends to provide an efficient fuzzy based diagnosis mechanism. Such mechanism enables local hosts' diagnosis. These local decisions could be merged to provide the global diagnosis. The fuzziness choice is motivated by the fact of incomplete and uncertain system descriptions and observations. Also it is justified by the difficulties of obtaining a complete viewpoint of all system parts where the control is distributed. Our diagnosis mechanism, named FPGD for Fuzzy Partial Global Diagnosis consists of two main steps: Firstly, each remote control host detects and localizes abnormal behaviors which results on a local diagnosis. Each host proceeds by applying a recovery planned actions to maintain system functioning. Furthermore, such local diagnoses should be sent to the global part in order to be merged and analyzed, hence giving a precise and exhaustive global diagnosis. The automatic diagnosis reasoning is a fuzzy system; which based on fuzzy rules, handles incomplete information to deduce system malfunctioning.
Internet of Things (IoT) is an advanced research area which provides deeper automation, analysis ... more Internet of Things (IoT) is an advanced research area which provides deeper automation, analysis and integration of physical world into computer systems through network infrastructure. It allows interaction and cooperation between a large variety of pervasive objects over wireless and wired connections, in order to achieve specific goals. Since IoT systems present several properties such as distribution, openness, interoperability and dynamicity, their developing presents a great challenge. For that reason, a generic, multi-layer and agents based architecture for IoT systems has been proposed, called IoTAA (Internet of Things Agents Architecture). IoTAA is composed of four layers; each layer maintains and schedules special features, such as connectivity and communication between things, local coordination, global coordination, domain dependent functionalities. On the other hand, Diagnosis of the IoT systems is an important issue which aims to detect abnormalities from the system des...
Nowadays, the Internet of things (IoT) is becoming a promising technology which revolutionizes an... more Nowadays, the Internet of things (IoT) is becoming a promising technology which revolutionizes and simplifies our daily life style. It allows interaction and cooperation between a large variety of pervasive objects over wireless and wired connections, in order to achieve specific goals. Moreover, it provides a concise integration of physical world into computer systems through network infrastructure. This paper provides an agent-based architecture for developing IoT systems. The proposed architecture is multi-layer and generic. It encompasses four layers: Physical Component Management, Local Management -Coordination, Global Management-Coordination and Specialized Operative Management Layers. The first one can be seen as a smart layer that ensures connection and communication between things and the system. The second one constitutes the intelligent core of the system which acts locally to ensure coordination and further internal functioning. The third layer ensures coordination betwe...
International Journal of Intelligent Information Technologies, 2016
Designing Multi agent systems needs a high-level specification model which supports abstraction, ... more Designing Multi agent systems needs a high-level specification model which supports abstraction, dynamicity, openness and enables fuzziness. Since the model of Synchronized Petri Nets supports dynamicity and abstraction, we extend it by fuzziness, openness and interaction with environment. The proposed model called Open Fuzzy Synchronized Petri Nets (OFSyPN for short) associates action name with transitions and enables openness feature and interaction with environment. Each action has an uncertainty degree and places are typed. The authors give an operational semantics for OFSyPN in terms of Fuzzy Labeled Transition System (FLTS for short). FLTS is a semantics model, which allows a concise action refinement representation and deals with incomplete information through its fuzziness representation. Furthermore the structure can be used to produce a tree of potential concurrent design trajectories, named fuzzy labeled transition refinement tree (FLTRT for short). We exemplify the OFSyP...
Proceedings of the The International Conference on Engineering & MIS 2015 - ICEMIS '15, 2015
This paper aims to provide a general framework for the design of complex systems such as multi-ag... 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 environment. The approach is based on a rigorous refinement process. It distinguishes between predictable and unpredictable behaviors. Also, the approach is based on gathering requirement process, which allows capturing requirement in well-structured manner.
2015 First International Conference on New Technologies of Information and Communication (NTIC), 2015
The formal stepwise refinement method is a powerful manner to design complex systems. It postulat... more The formal stepwise refinement method is a powerful manner to design complex systems. It postulates system engineering gradually by starting from initial abstract specification and follows a rigorous refinement process to establish final specification. Fuzzy Labeled Transition Refinement Tree (FLTRT) is introduced to fulfill such purpose. It supports abstraction and handling incomplete information and by the way reducing complexity of refinement process. It is based on Fuzzy Labeled Transition System (FLTS) which is a generalization of well-known Labeled Transition System, enhanced by fuzziness facility. The FLTRT structure serves as a tree of potential concurrent design trajectories of the system. In this paper, we study bisimulation relations on FLTSs which are classified into two categories: horizontal and top-down bisimulation relations. The first category intends to identify equivalent specifications of the same abstraction level. However, the second one relates specifications that belong conceptually to different abstraction levels. Top-down bisimulation relation intends to check correctness of a given implementation with respect to its initial specification. FLTRT structure preserves the top-down bisimulation relation.
This paper proposes a formal model for specifying multi agent systems, named SyPN (for Synchroniz... more This paper proposes a formal model for specifying multi agent systems, named SyPN (for Synchronized Petri Net). This model allows the specification of various kinds of agent-based systems' behaviors, such as individual and collective behaviors. SyPN is an extension of Recursive Petri net allowing synchronization of several nets. In fact, SyPN borrows the specification of dynamic processes from Recursive Petri net and introduces several valuable concepts that enable concise multi agent system specifications, such as: typed places, transitions and tokens, synchronization points, synchronization condition, synchronization relation and binding function. We illustrate our approach by two case studies of remote interactions between agents.
2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS), 2015
Fuzzy Labeled Transition Refinement Tree (FLTRT) is a rigorous refinement model which supports ab... more Fuzzy Labeled Transition Refinement Tree (FLTRT) is a rigorous refinement model which supports abstraction and handling incomplete information and by the way reducing complexity of refinement process. It is based on Fuzzy Labeled Transition System (FLTS) which is a generalization of well-known Labeled Transition System, enhanced by fuzziness facility. The FLTRT structure serves as a tree of potential concurrent design trajectories of the system. In this paper, we study bisimulation relations on FLTSs which are categorized into two classes: horizontal and vertical bisimulation relations. The former class aims to identify equivalent specifications of the same abstraction level. However, the second one relates specifications that belong conceptually to different abstraction levels. Vertical bisimulation relation aims to check correctness of a given implementation with respect to its initial specification. FLTRT structure preserves the vertical bisimulation relation.
This paper aims to provide a formal framework that supports an incremental development of dynamic... 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 on FLTS model, we propose a refinement model called fuzzy labeled transition refinement tree (FLTRT for short). The FLTRT structure serves as a tree of potential concurrent design trajectories of the system. Also, we introduce bisimulation relations for both models in order to identify equivalent design trajectories, which could be assessed with respect to relevant design parameters.
Recent Research in Control Engineering and Decision Making, 2019
Diagnosis aims at identifying a faulty system based on its behavior observations. It is widely em... more Diagnosis aims at identifying a faulty system based on its behavior observations. It is widely emerged in altogether computer sciences fields, among others: aeronautics, space exploration, nuclear energy, process industries, manufacturing, healthcare, networking, automatism and many other control applications. Diagnosis involves distributed components with an uncertain global view. This paper intends to provide an efficient fuzzy based diagnosis mechanism. Such mechanism enables local hosts' diagnosis. These local decisions could be merged to provide the global diagnosis. The fuzziness choice is motivated by the fact of incomplete and uncertain system descriptions and observations. Also it is justified by the difficulties of obtaining a complete viewpoint of all system parts where the control is distributed. Our diagnosis mechanism, named FPGD for Fuzzy Partial Global Diagnosis consists of two main steps: Firstly, each remote control host detects and localizes abnormal behaviors which results on a local diagnosis. Each host proceeds by applying a recovery planned actions to maintain system functioning. Furthermore, such local diagnoses should be sent to the global part in order to be merged and analyzed, hence giving a precise and exhaustive global diagnosis. The automatic diagnosis reasoning is a fuzzy system; which based on fuzzy rules, handles incomplete information to deduce system malfunctioning.
Internet of Things (IoT) is an advanced research area which provides deeper automation, analysis ... more Internet of Things (IoT) is an advanced research area which provides deeper automation, analysis and integration of physical world into computer systems through network infrastructure. It allows interaction and cooperation between a large variety of pervasive objects over wireless and wired connections, in order to achieve specific goals. Since IoT systems present several properties such as distribution, openness, interoperability and dynamicity, their developing presents a great challenge. For that reason, a generic, multi-layer and agents based architecture for IoT systems has been proposed, called IoTAA (Internet of Things Agents Architecture). IoTAA is composed of four layers; each layer maintains and schedules special features, such as connectivity and communication between things, local coordination, global coordination, domain dependent functionalities. On the other hand, Diagnosis of the IoT systems is an important issue which aims to detect abnormalities from the system des...
Nowadays, the Internet of things (IoT) is becoming a promising technology which revolutionizes an... more Nowadays, the Internet of things (IoT) is becoming a promising technology which revolutionizes and simplifies our daily life style. It allows interaction and cooperation between a large variety of pervasive objects over wireless and wired connections, in order to achieve specific goals. Moreover, it provides a concise integration of physical world into computer systems through network infrastructure. This paper provides an agent-based architecture for developing IoT systems. The proposed architecture is multi-layer and generic. It encompasses four layers: Physical Component Management, Local Management -Coordination, Global Management-Coordination and Specialized Operative Management Layers. The first one can be seen as a smart layer that ensures connection and communication between things and the system. The second one constitutes the intelligent core of the system which acts locally to ensure coordination and further internal functioning. The third layer ensures coordination betwe...
International Journal of Intelligent Information Technologies, 2016
Designing Multi agent systems needs a high-level specification model which supports abstraction, ... more Designing Multi agent systems needs a high-level specification model which supports abstraction, dynamicity, openness and enables fuzziness. Since the model of Synchronized Petri Nets supports dynamicity and abstraction, we extend it by fuzziness, openness and interaction with environment. The proposed model called Open Fuzzy Synchronized Petri Nets (OFSyPN for short) associates action name with transitions and enables openness feature and interaction with environment. Each action has an uncertainty degree and places are typed. The authors give an operational semantics for OFSyPN in terms of Fuzzy Labeled Transition System (FLTS for short). FLTS is a semantics model, which allows a concise action refinement representation and deals with incomplete information through its fuzziness representation. Furthermore the structure can be used to produce a tree of potential concurrent design trajectories, named fuzzy labeled transition refinement tree (FLTRT for short). We exemplify the OFSyP...
Proceedings of the The International Conference on Engineering & MIS 2015 - ICEMIS '15, 2015
This paper aims to provide a general framework for the design of complex systems such as multi-ag... 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 environment. The approach is based on a rigorous refinement process. It distinguishes between predictable and unpredictable behaviors. Also, the approach is based on gathering requirement process, which allows capturing requirement in well-structured manner.
2015 First International Conference on New Technologies of Information and Communication (NTIC), 2015
The formal stepwise refinement method is a powerful manner to design complex systems. It postulat... more The formal stepwise refinement method is a powerful manner to design complex systems. It postulates system engineering gradually by starting from initial abstract specification and follows a rigorous refinement process to establish final specification. Fuzzy Labeled Transition Refinement Tree (FLTRT) is introduced to fulfill such purpose. It supports abstraction and handling incomplete information and by the way reducing complexity of refinement process. It is based on Fuzzy Labeled Transition System (FLTS) which is a generalization of well-known Labeled Transition System, enhanced by fuzziness facility. The FLTRT structure serves as a tree of potential concurrent design trajectories of the system. In this paper, we study bisimulation relations on FLTSs which are classified into two categories: horizontal and top-down bisimulation relations. The first category intends to identify equivalent specifications of the same abstraction level. However, the second one relates specifications that belong conceptually to different abstraction levels. Top-down bisimulation relation intends to check correctness of a given implementation with respect to its initial specification. FLTRT structure preserves the top-down bisimulation relation.
This paper proposes a formal model for specifying multi agent systems, named SyPN (for Synchroniz... more This paper proposes a formal model for specifying multi agent systems, named SyPN (for Synchronized Petri Net). This model allows the specification of various kinds of agent-based systems' behaviors, such as individual and collective behaviors. SyPN is an extension of Recursive Petri net allowing synchronization of several nets. In fact, SyPN borrows the specification of dynamic processes from Recursive Petri net and introduces several valuable concepts that enable concise multi agent system specifications, such as: typed places, transitions and tokens, synchronization points, synchronization condition, synchronization relation and binding function. We illustrate our approach by two case studies of remote interactions between agents.
2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS), 2015
Fuzzy Labeled Transition Refinement Tree (FLTRT) is a rigorous refinement model which supports ab... more Fuzzy Labeled Transition Refinement Tree (FLTRT) is a rigorous refinement model which supports abstraction and handling incomplete information and by the way reducing complexity of refinement process. It is based on Fuzzy Labeled Transition System (FLTS) which is a generalization of well-known Labeled Transition System, enhanced by fuzziness facility. The FLTRT structure serves as a tree of potential concurrent design trajectories of the system. In this paper, we study bisimulation relations on FLTSs which are categorized into two classes: horizontal and vertical bisimulation relations. The former class aims to identify equivalent specifications of the same abstraction level. However, the second one relates specifications that belong conceptually to different abstraction levels. Vertical bisimulation relation aims to check correctness of a given implementation with respect to its initial specification. FLTRT structure preserves the vertical bisimulation relation.
Uploads
Papers by Kouah Sofia