Towards Adaptive Discrete Event Control Based on PRD, PSS and Automatic Planner

Industry 4.0 technologies integrate devices and data, bring exibility, eciency and decision making, derived from decentralization. In a post pandemic society it is mandatory to reduce human presence in production and distribution of goods. This work implements some of Industry 4.0 characteristics by combining manufacturing elements such as Cyber Physical System (CPS) with passive entities that directly aect decisions in the same automatic planning domain. Theproposal is illustrated by emulating a Block World problem, where it will be used a set of blocks with Radio Frequency Identication (RFID) each one containing its self goals, represented by predicates, an approach called PRD (Predicate inside RFID Database). A robot can identify objects by helding a RFID reader integrated with a Physical State Space (PSS). Since the robot controller has a local view of the process it is unable to compute the plan for the whole systemby itself, so the planning process must be a Cloud service. Local planning must also be taken into consideration, solving any network issues. Thus, a generic solution has to be adapted to t physical execution and domain constraints. Such solution detects changes in the physical environment and redo its plan, generating an adaptive discrete event controller.

Command and Control for Large-Scale Hybrid Warfare Systems

Emerging hybrid threats in large-scale warfare systems require networked teams to perform in a reliable manner under changing mission tactics and reconfiguration of mission tasks and force resources. In this paper, a formal Command and Control (C2) structure is presented that allows for computer-aided execution of the networked team decision-making process, real-time tactic selection, and reliable mission reconfiguration. A mathematically justified networked computing environment is provided called the Augmented Discrete Event Control (ADEC) framework. ADEC is portable and has the ability to provide logical connectivity among all team participants including mission commander, field commanders, war-fighters, and robotic platforms. The proposed C2 structure is developed and demonstrated on a simulation study involving Singapore Armed Forces team with three realistic symmetrical, asymmetrical, and hybrid attack missions. Extensive simulation results show that the tasks and resources of multiple missions are fairly sequenced, mission tactics are correctly selected, and missions and resources are reliably reconfigured in real time.

Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems

This paper deals with the formal modeling and verification of reconfigurable and energy-efficient manufacturing systems (REMSs) that are considered as reconfigurable discrete event control systems. A REMS not only allows global reconfigurations for switching the system from one configuration to another, but also allows local reconfigurations on components for saving energy when the system is in a particular configuration. In addition, the unreconfigured components of such a system should continue running during any reconfiguration. As a result, during a system reconfiguration, the system may have several possible paths and may fail to meet control requirements if concurrent reconfiguration events and normal events are not controlled. To guarantee the safety and correctness of such complex systems, formal verification is of great importance during a system design stage. This paper extends the formalism reconfigurable timed net condition/event systems (R-TNCESs) in order to model all possible dynamic behavior in such systems. After that, the designed system based on extended R-TNCESs is verified with the help of a software tool SESA for functional, temporal, and energy-efficient properties. This paper is illustrated by an automatic assembly system.