We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybrid games. The logic dDGL is a conservative extension of dL, which we exploit for our implementation of dDGL in the theorem prover KeYmaera. We provide rules for extending the dL sequent proof calculus to handle the dDGL...

In order to maximize assets, manufacturers should use real-time knowledge garnered from ongoing and continuous collection and evaluation of factory-floor machine status data. In discrete parts manufacturing, factory machine monitoring has been difficult, due primarily to closed, proprietary automation equipment that make integration difficult. Recently, there has been a push in applying the dat...

Field buses have been developed to fulfill real-time requirements of applications related to factory automation. However, they are limited in their extension, and can only cover geographical areas such as factory halls or buildings. In order to reduce this drawback a possible solution is to connect field bus segments using interworking devices and a backbone network. This backbone could be an A...

Automation in various forms constitutes the backbone of most major industries. An increase in production volume, product variety and manufacturing process complexity necessitates automation to ensure consistency and profitable production. Automated material handling becomes a crucial aspect of factory automation because it frees up manual labor, streamlines the flow of material, allows for comp...

Location-aware services are one of the key elements of modern intelligent applications. Numerous real-world applications such as factory automation, indoor delivery, and even search and rescue scenarios require autonomous robots to have the ability to navigate in an unknown environment and reach mobile targets with minimal or no prior infrastructure deployment. This research investigates and pr...

The successful introduction of flexible, reconfigurable and selfadaptive manufacturing processes relies upon evolving traditional automation ISA-95 automation solutions to adopt innovative automation pyramids. These new approaches target the integration of data-intensive cloud and fog-based edge computing and communication digital manufacturing processes from the shopfloor to the factory to the...

Mg Cored wire method is a type of spheroidization treatment method. It has been introduced by many foundries from the viewpoints improving environment safety factory workers, automation and productivity. However, prediction residual content depends on experience because various factors complexly affect each other effects factor yield rate have not clarified theoretically.

The deployment of D2D communications (also known as ProSe or sidelink transmissions) in cellular networks benefits from proximity, multi-hop, and spatial reuse gains. In this article, we first describe the main advancements NR compared to LTE-A sidelink. Then, run a simulation campaign test D2D-based for public safety factory automation scenarios with their mission-critical requirements ultra-r...

Commitment We are and will remain the world's leading organization in the field of digital networking for industrial and process automation, serving our customers, our members and the press with the best solutions , benefits and information. We are committed to setting and protecting the standards for open communication and control in the automation and process market. Introduction From the out...