Nested State

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 174 Experts worldwide ranked by ideXlab platform

Mohamed Khalgui - One of the best experts on this subject based on the ideXlab platform.

  • RWiN: New Methodology for the Development of Reconfigurable WSN
    IEEE Transactions on Automation Science and Engineering, 2017
    Co-Authors: Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li
    Abstract:

    This paper presents new challenges for the development of reconfigurable wireless sensor networks (RWSNs) that adapt dynamically their behaviors to their environment under different properties. An RWSN is a set of networked nodes that execute reconfigurable software tasks for the control of local sensors. We propose a new design methodology named RWiN of an RWSN using unified modeling language (UML) to analyze, construct, develop, and verify easily RWSN architectures. For that, we formulate a metamodel of RWSN based on UML to describe a zone-based architecture that uses a communication protocol for the optimization of distributed reconfigurations. To control the design complexity, we model each agent of this architecture by Nested State machines. To verify the temporal constraints by communicating agents, each one is modeled by a timed automaton. The paper's contribution is applied to a case study, which is simulated with TRMSim-WSN and UPPAAL environment to expose the originality of this new architecture.

  • Real-Time Reconfigurations of Embedded Control Systems
    International Journal of System Dynamics Applications, 2016
    Co-Authors: Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui
    Abstract:

    This paper deals with the study of the reconfiguration of embedded control systems with safety following component-based approaches from the functional level to the operational level. The authors define the architecture of the Reconfiguration Agent which is modelled by Nested State machines to apply local reconfigurations. They propose in this journal paper technical solutions to implement the whole agent-based architecture, by defining UML meta-models for both Control Components and also agents. To guarantee safety reconfigurations of tasks at run-time, they define service and reconfiguration processes for tasks and use the semaphore concept to ensure safety mutual exclusions. As a method to ensure the scheduling between periodic tasks with precedence and mutual exclusion constraints, the authors apply the priority ceiling protocol.

  • Reconfiguration Protocol for Multi-Agent Embedded Control Systems
    IFAC Proceedings Volumes, 2016
    Co-Authors: Mohamed Khalgui, Olfa Mosbahi, Hans-michael Hanisch
    Abstract:

    Abstract This paper * deals with the development of reconfigurable multi-agent embedded control systems following the component-based International Industrial Standard IEC61499. We define a multi-agent architecture where Reconfiguration Agents are affected to distributed devices of the execution environment to apply local reconfigurations, and a Coordination Agent is proposed for any coordinations between devices in order to guarantee safe and coherent distributed reconfigurations. A Communication Protocol is defined to handle such coordinations between agents by using well-defined Coordination Matrices. We specify both reconfiguration agents modelled by Nested State machines and the Coordination Agent according to the formalism Net Condition-Event Systems (NCES), and we use the model checker SESA to check all possible coordinations between devices. The purpose is to verify that whenever reconfigurations are applied in a device, the Coordination Agent and other concerned devices react as desired in user requirements. The paper contributions are applied to two Benchmark Production Systems available in our research laboratory.

  • ICSOFT (Selected Papers) - New Flexible Architectures for Reconfigurable Wireless Sensor Networks
    Communications in Computer and Information Science, 2015
    Co-Authors: Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
    Abstract:

    This chapter deals with reconfigurable wireless sensor networks (to be named by RWSN). A RWSN is composed of distributed autonomous nodes that execute programs (reconfigurable software tasks) and control local sensors to monitor physical or environmental conditions. We propose three reconfiguration forms to be executed in our RWSN: (i) hardware reconfiguration allowing the activation/deactivation of nodes, (ii) software reconfiguration allowing the addition/ removal/ update of tasks and (iii) protocol reconfiguration allowing the modification of routing protocols between nodes. We propose, in this chapter, a zone-based multi-agent architecture for RWSN to optimize the distributed reconfigurations. Each agent of this architecture is modeled by Nested State machines in order to control the problem complexity. The chapter’s contribution is applied to a case study that we simulate with WSNet (Wireless Sensor Network simulator) [5] to show the originality of this new architecture.

  • ICSOFT EA - Reconfigurable Wireless Sensor Networks new adaptive dynamic solutions for flexible architectures
    Proceedings of the 9th International Conference on Software Engineering and Applications, 2014
    Co-Authors: Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
    Abstract:

    This paper deals with reconfigurable wireless sensor networks RWSN that should be adapted to their environment under user and energy constraints. A RWSN is assumed to be composed of a set of communicating nodes such that each one executes reconfigurable software tasks to control local sensors. We propose three reconfiguration forms to adapt a RWSN: (a) software reconfiguration allowing the addition/ removal/ update of tasks, (b) hardware reconfiguration allowing the activation/deactivation of nodes, (c) protocol reconfiguration allowing the modification of routing protocols between nodes. We propose a zone-based multi-agent architecture for RWSN where a communication protocol is well-defined to optimize distributed reconfigurations. Each agent of this architecture is modeled by Nested State machines in order to control the problem complexity. The paper's contribution is applied to a case study that we simulate to show the originality of this new architecture.

Hans-michael Hanisch - One of the best experts on this subject based on the ideXlab platform.

  • Reconfiguration Protocol for Multi-Agent Embedded Control Systems
    IFAC Proceedings Volumes, 2016
    Co-Authors: Mohamed Khalgui, Olfa Mosbahi, Hans-michael Hanisch
    Abstract:

    Abstract This paper * deals with the development of reconfigurable multi-agent embedded control systems following the component-based International Industrial Standard IEC61499. We define a multi-agent architecture where Reconfiguration Agents are affected to distributed devices of the execution environment to apply local reconfigurations, and a Coordination Agent is proposed for any coordinations between devices in order to guarantee safe and coherent distributed reconfigurations. A Communication Protocol is defined to handle such coordinations between agents by using well-defined Coordination Matrices. We specify both reconfiguration agents modelled by Nested State machines and the Coordination Agent according to the formalism Net Condition-Event Systems (NCES), and we use the model checker SESA to check all possible coordinations between devices. The purpose is to verify that whenever reconfigurations are applied in a device, the Coordination Agent and other concerned devices react as desired in user requirements. The paper contributions are applied to two Benchmark Production Systems available in our research laboratory.

  • Retraction Note: A multi-agent architectural solution for coherent distributed reconfigurations of function blocks
    Journal of Intelligent Manufacturing, 2013
    Co-Authors: Mohamed Khalgui, Olfa Mosbahi, Hans-michael Hanisch
    Abstract:

    The paper deals with distributed Multi-Agent Reconfigurable Embedded Control Systems following the International Industrial Standard IEC61499 in which a Function Block (abbreviated by FB) is an event-triggered software component owning data and a control application is a network of distributed blocks that should satisfy functional and temporal properties according to user requirements. We define an architecture of reconfigurable multi-agent systems in which a Reconfiguration Agent is affected to each device of the execution environment to apply local reconfigurations, and a Coordination Agent is proposed for coordinations between devices in order to guarantee safe and adequate distributed reconfigurations. A Communication Protocol is proposed to handle coordinations between agents by using well-defined Coordination Matrices. We specify both reconfiguration agents to be modelled by Nested State machines, and the Coordination Agent according to the formalism Net Condition-Event Systems (Abbreviated by NCES) which is an extension of Petri nets. To validate the whole architecture, we check by applying the model checker SESA in each device functional and temporal properties to be described according to the temporal logic “Computation Tree Logic”. We have also to check all possible coordinations between devices by verifying that whenever a reconfiguration is applied in a device, the Coordination Agent and other concerned devices react as described in user requirements. We present a tool applying simulations of this distributed architecture in order to check interactions and reactivities of agents. The paper’s contributions are applied to two Benchmark Production Systems available in our research laboratory.

  • A multi-agent architectural solution for coherent distributed reconfigurations of function blocks
    Journal of Intelligent Manufacturing, 2011
    Co-Authors: Mohamed Khalgui, Olfa Mosbahi, Hans-michael Hanisch
    Abstract:

    The paper deals with distributed Multi-Agent Reconfigurable Embedded Control Systems following the International Industrial Standard IEC61499 in which a Function Block (abbreviated by FB) is an event-triggered software component owning data and a control application is a network of distributed blocks that should satisfy functional and temporal properties according to user requirements. We define an architecture of reconfigurable multi-agent systems in which a Reconfiguration Agent is affected to each device of the execution environment to apply local reconfigurations, and a Coordination Agent is proposed for coordinations between devices in order to guarantee safe and adequate distributed reconfigurations. A Communication Protocol is proposed to handle coordinations between agents by using well-defined Coordination Matrices. We specify both reconfiguration agents to be modelled by Nested State machines, and the Coordination Agent according to the formalism Net Condition-Event Systems (Abbreviated by NCES) which is an extension of Petri nets. To validate the whole architecture, we check by applying the model checker SESA in each device functional and temporal properties to be described according to the temporal logic "Computation Tree Logic". We have also to check all possible coordinations between devices by verifying that whenever a reconfiguration is applied in a device, the Coordination Agent and other concerned devices react as described in user requirements. We present a tool applying simulations of this distributed architecture in order to check interactions and reactivities of agents. The paper's contributions are applied to two Benchmark Production Systems available in our research laboratory.

  • Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation
    IEEE Transactions on Computers, 2011
    Co-Authors: Mohamed Khalgui, Olfa Mosbahi, Hans-michael Hanisch
    Abstract:

    The paper deals with reconfigurable embedded control systems following different component-based technologies and/or Architecture Description Languages used today in industry. We define a Control Component as a software unit to support control tasks of the system, which is assumed to be a network of components with precedence constraints. We define an agent-based architecture to handle automatic reconfigurations under well-defined conditions by creating, deleting, or updating components to bring the whole system into safe and optimal behaviors. To cover all possible reconfiguration forms, we model the agent by Nested State machines according to the formalism Net Condition/Event Systems (NCESs), which is an extension of Petri nets. In addition, we apply a model checking to verify functional and extra-functional properties according to the temporal logic "Computation Tree Logic” (CTL). The goal is to check the agent reactivity after any evolution of the environment. Several complex networks can implement the system, where each one is executed at a given time when a corresponding reconfiguration scenario is automatically applied by the agent. To check the correctness of each one of them, we apply in several steps a refinement-based approach that automatically specifies feasible Control Components according to NCES. The model checker SESA is automatically applied in each step to verify deadlock properties of new generated components, and it is manually used to verify CTL-based properties according to user requirements. We implement the reconfiguration agent by three modules that allow interpretations of environment evolutions, decisions of useful reconfiguration scenarios, and finally, their applications. Two Industrial Benchmark Production Systems FESTO and EnAS available in our research laboratory are applied to explain the contributions of the paper.

  • Reconfiguration of distributed embedded-control systems
    IEEE ASME Transactions on Mechatronics, 2011
    Co-Authors: Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-michael Hanisch
    Abstract:

    This paper deals with distributed multiagent reconfigurable embedded-control systems following the component-based International Industrial Standard IEC61499 in which a function block (FB) is an event-triggered software component owning data and a control application is a distributed network of FBs. We define an architecture of reconfigurable multiagent systems, where a reconfiguration agent modeled by Nested State machines is affected to each device of the execution environment to apply local automatic reconfigurations, and a coordination agent is proposed for any coordination between devices in order to guarantee safe and adequate distributed reconfigurations. A communication protocol is proposed in our research to handle coordinations between agents by using well-defined coordination matrices. We define, in addition, Extensible Markup Language (XML) based implementations for both kinds of agents, where XML code blocks are exchanged between devices. The contributions of the paper are applied to two benchmark production systems available in our laboratory.

Olfa Mosbahi - One of the best experts on this subject based on the ideXlab platform.

  • RWiN: New Methodology for the Development of Reconfigurable WSN
    IEEE Transactions on Automation Science and Engineering, 2017
    Co-Authors: Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li
    Abstract:

    This paper presents new challenges for the development of reconfigurable wireless sensor networks (RWSNs) that adapt dynamically their behaviors to their environment under different properties. An RWSN is a set of networked nodes that execute reconfigurable software tasks for the control of local sensors. We propose a new design methodology named RWiN of an RWSN using unified modeling language (UML) to analyze, construct, develop, and verify easily RWSN architectures. For that, we formulate a metamodel of RWSN based on UML to describe a zone-based architecture that uses a communication protocol for the optimization of distributed reconfigurations. To control the design complexity, we model each agent of this architecture by Nested State machines. To verify the temporal constraints by communicating agents, each one is modeled by a timed automaton. The paper's contribution is applied to a case study, which is simulated with TRMSim-WSN and UPPAAL environment to expose the originality of this new architecture.

  • Reconfiguration Protocol for Multi-Agent Embedded Control Systems
    IFAC Proceedings Volumes, 2016
    Co-Authors: Mohamed Khalgui, Olfa Mosbahi, Hans-michael Hanisch
    Abstract:

    Abstract This paper * deals with the development of reconfigurable multi-agent embedded control systems following the component-based International Industrial Standard IEC61499. We define a multi-agent architecture where Reconfiguration Agents are affected to distributed devices of the execution environment to apply local reconfigurations, and a Coordination Agent is proposed for any coordinations between devices in order to guarantee safe and coherent distributed reconfigurations. A Communication Protocol is defined to handle such coordinations between agents by using well-defined Coordination Matrices. We specify both reconfiguration agents modelled by Nested State machines and the Coordination Agent according to the formalism Net Condition-Event Systems (NCES), and we use the model checker SESA to check all possible coordinations between devices. The purpose is to verify that whenever reconfigurations are applied in a device, the Coordination Agent and other concerned devices react as desired in user requirements. The paper contributions are applied to two Benchmark Production Systems available in our research laboratory.

  • ICSOFT (Selected Papers) - New Flexible Architectures for Reconfigurable Wireless Sensor Networks
    Communications in Computer and Information Science, 2015
    Co-Authors: Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
    Abstract:

    This chapter deals with reconfigurable wireless sensor networks (to be named by RWSN). A RWSN is composed of distributed autonomous nodes that execute programs (reconfigurable software tasks) and control local sensors to monitor physical or environmental conditions. We propose three reconfiguration forms to be executed in our RWSN: (i) hardware reconfiguration allowing the activation/deactivation of nodes, (ii) software reconfiguration allowing the addition/ removal/ update of tasks and (iii) protocol reconfiguration allowing the modification of routing protocols between nodes. We propose, in this chapter, a zone-based multi-agent architecture for RWSN to optimize the distributed reconfigurations. Each agent of this architecture is modeled by Nested State machines in order to control the problem complexity. The chapter’s contribution is applied to a case study that we simulate with WSNet (Wireless Sensor Network simulator) [5] to show the originality of this new architecture.

  • ICSOFT EA - Reconfigurable Wireless Sensor Networks new adaptive dynamic solutions for flexible architectures
    Proceedings of the 9th International Conference on Software Engineering and Applications, 2014
    Co-Authors: Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
    Abstract:

    This paper deals with reconfigurable wireless sensor networks RWSN that should be adapted to their environment under user and energy constraints. A RWSN is assumed to be composed of a set of communicating nodes such that each one executes reconfigurable software tasks to control local sensors. We propose three reconfiguration forms to adapt a RWSN: (a) software reconfiguration allowing the addition/ removal/ update of tasks, (b) hardware reconfiguration allowing the activation/deactivation of nodes, (c) protocol reconfiguration allowing the modification of routing protocols between nodes. We propose a zone-based multi-agent architecture for RWSN where a communication protocol is well-defined to optimize distributed reconfigurations. Each agent of this architecture is modeled by Nested State machines in order to control the problem complexity. The paper's contribution is applied to a case study that we simulate to show the originality of this new architecture.

  • Retraction Note: A multi-agent architectural solution for coherent distributed reconfigurations of function blocks
    Journal of Intelligent Manufacturing, 2013
    Co-Authors: Mohamed Khalgui, Olfa Mosbahi, Hans-michael Hanisch
    Abstract:

    The paper deals with distributed Multi-Agent Reconfigurable Embedded Control Systems following the International Industrial Standard IEC61499 in which a Function Block (abbreviated by FB) is an event-triggered software component owning data and a control application is a network of distributed blocks that should satisfy functional and temporal properties according to user requirements. We define an architecture of reconfigurable multi-agent systems in which a Reconfiguration Agent is affected to each device of the execution environment to apply local reconfigurations, and a Coordination Agent is proposed for coordinations between devices in order to guarantee safe and adequate distributed reconfigurations. A Communication Protocol is proposed to handle coordinations between agents by using well-defined Coordination Matrices. We specify both reconfiguration agents to be modelled by Nested State machines, and the Coordination Agent according to the formalism Net Condition-Event Systems (Abbreviated by NCES) which is an extension of Petri nets. To validate the whole architecture, we check by applying the model checker SESA in each device functional and temporal properties to be described according to the temporal logic “Computation Tree Logic”. We have also to check all possible coordinations between devices by verifying that whenever a reconfiguration is applied in a device, the Coordination Agent and other concerned devices react as described in user requirements. We present a tool applying simulations of this distributed architecture in order to check interactions and reactivities of agents. The paper’s contributions are applied to two Benchmark Production Systems available in our research laboratory.

Hanen Grichi - One of the best experts on this subject based on the ideXlab platform.

  • RWiN: New Methodology for the Development of Reconfigurable WSN
    IEEE Transactions on Automation Science and Engineering, 2017
    Co-Authors: Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li
    Abstract:

    This paper presents new challenges for the development of reconfigurable wireless sensor networks (RWSNs) that adapt dynamically their behaviors to their environment under different properties. An RWSN is a set of networked nodes that execute reconfigurable software tasks for the control of local sensors. We propose a new design methodology named RWiN of an RWSN using unified modeling language (UML) to analyze, construct, develop, and verify easily RWSN architectures. For that, we formulate a metamodel of RWSN based on UML to describe a zone-based architecture that uses a communication protocol for the optimization of distributed reconfigurations. To control the design complexity, we model each agent of this architecture by Nested State machines. To verify the temporal constraints by communicating agents, each one is modeled by a timed automaton. The paper's contribution is applied to a case study, which is simulated with TRMSim-WSN and UPPAAL environment to expose the originality of this new architecture.

  • ICSOFT (Selected Papers) - New Flexible Architectures for Reconfigurable Wireless Sensor Networks
    Communications in Computer and Information Science, 2015
    Co-Authors: Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
    Abstract:

    This chapter deals with reconfigurable wireless sensor networks (to be named by RWSN). A RWSN is composed of distributed autonomous nodes that execute programs (reconfigurable software tasks) and control local sensors to monitor physical or environmental conditions. We propose three reconfiguration forms to be executed in our RWSN: (i) hardware reconfiguration allowing the activation/deactivation of nodes, (ii) software reconfiguration allowing the addition/ removal/ update of tasks and (iii) protocol reconfiguration allowing the modification of routing protocols between nodes. We propose, in this chapter, a zone-based multi-agent architecture for RWSN to optimize the distributed reconfigurations. Each agent of this architecture is modeled by Nested State machines in order to control the problem complexity. The chapter’s contribution is applied to a case study that we simulate with WSNet (Wireless Sensor Network simulator) [5] to show the originality of this new architecture.

  • ICSOFT EA - Reconfigurable Wireless Sensor Networks new adaptive dynamic solutions for flexible architectures
    Proceedings of the 9th International Conference on Software Engineering and Applications, 2014
    Co-Authors: Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
    Abstract:

    This paper deals with reconfigurable wireless sensor networks RWSN that should be adapted to their environment under user and energy constraints. A RWSN is assumed to be composed of a set of communicating nodes such that each one executes reconfigurable software tasks to control local sensors. We propose three reconfiguration forms to adapt a RWSN: (a) software reconfiguration allowing the addition/ removal/ update of tasks, (b) hardware reconfiguration allowing the activation/deactivation of nodes, (c) protocol reconfiguration allowing the modification of routing protocols between nodes. We propose a zone-based multi-agent architecture for RWSN where a communication protocol is well-defined to optimize distributed reconfigurations. Each agent of this architecture is modeled by Nested State machines in order to control the problem complexity. The paper's contribution is applied to a case study that we simulate to show the originality of this new architecture.

Zhiwu Li - One of the best experts on this subject based on the ideXlab platform.

  • RWiN: New Methodology for the Development of Reconfigurable WSN
    IEEE Transactions on Automation Science and Engineering, 2017
    Co-Authors: Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li
    Abstract:

    This paper presents new challenges for the development of reconfigurable wireless sensor networks (RWSNs) that adapt dynamically their behaviors to their environment under different properties. An RWSN is a set of networked nodes that execute reconfigurable software tasks for the control of local sensors. We propose a new design methodology named RWiN of an RWSN using unified modeling language (UML) to analyze, construct, develop, and verify easily RWSN architectures. For that, we formulate a metamodel of RWSN based on UML to describe a zone-based architecture that uses a communication protocol for the optimization of distributed reconfigurations. To control the design complexity, we model each agent of this architecture by Nested State machines. To verify the temporal constraints by communicating agents, each one is modeled by a timed automaton. The paper's contribution is applied to a case study, which is simulated with TRMSim-WSN and UPPAAL environment to expose the originality of this new architecture.

  • Reconfiguration of distributed embedded-control systems
    IEEE ASME Transactions on Mechatronics, 2011
    Co-Authors: Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-michael Hanisch
    Abstract:

    This paper deals with distributed multiagent reconfigurable embedded-control systems following the component-based International Industrial Standard IEC61499 in which a function block (FB) is an event-triggered software component owning data and a control application is a distributed network of FBs. We define an architecture of reconfigurable multiagent systems, where a reconfiguration agent modeled by Nested State machines is affected to each device of the execution environment to apply local automatic reconfigurations, and a coordination agent is proposed for any coordination between devices in order to guarantee safe and adequate distributed reconfigurations. A communication protocol is proposed in our research to handle coordinations between agents by using well-defined coordination matrices. We define, in addition, Extensible Markup Language (XML) based implementations for both kinds of agents, where XML code blocks are exchanged between devices. The contributions of the paper are applied to two benchmark production systems available in our laboratory.