Current-state opacity verification in discrete event systems using an observer net.

Due to the proliferation of contemporary computer-integrated systems and communication networks, there is more concern than ever regarding privacy, given the potential for sensitive data exploitation. A recent cyber-security research trend is to focus on security principles and develop the foundations for designing safety-critical systems. In this work, we investigated the problem of verifying current-state opacity in discrete event systems using labeled Petri nets.

Solving Biobjective Distributed Flow-Shop Scheduling Problems With Lot-Streaming Using an Improved Jaya Algorithm.

A distributed flow-shop scheduling problem with lot-streaming that considers completion time and total energy consumption is addressed. It requires to optimally assign jobs to multiple distributed factories and, at the same time, sequence them. A biobjective mathematic model is first developed to describe the considered problem.

Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets.

This work deals with the language-based opacity verification and enforcement problems in discrete event systems modeled with labeled Petri nets. Opacity is a security property that relates to privacy protection by hiding secret information of a system from an external observer called an "intruder". A secret can be a subset of a system's language.

Repercussions of COVID-19 pandemic on solid waste generation and management strategies.

It has been over ten months since the beginning of the 2019 coronavirus disease (COVID-2019), and its impact on solid waste management, especially medical waste, is becoming clearer. This study systematically reviews the potential influences of the COVID-19 pandemic on medical waste, personal protection equipment waste and municipal solid waste (MSW), and discusses the corresponding measures and policies of solid waste management in typical countries. The results show that the generation of medical waste from the pandemic increased significantly, with 18%-425% growth.

SMSPL: Robust Multimodal Approach to Integrative Analysis of Multiomics Data.

With the recent advancement of technologies, it is progressively easier to collect diverse types of genome-wide data. It is commonly expected that by analyzing these data in an integrated way, one can improve the understanding of a complex biological system. Current methods, however, are prone to overfitting heavy noise such that their applications are limited.

Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors.

This paper proposes a deadlock prevention method to design a maximally permissive liveness-enforcing pure Petri net supervisor for a discrete event system, if such a supervisor exists; otherwise, it obtains the most permissive one in the sense that no other pure liveness-enforcing supervisors via linear monitors can be more permissive than it. This paper exploits an iterative method. At each iteration, a first-met bad marking (FBM) is singled out and an integer linear programming problem (ILPP) is configured.

On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets.

It is theoretically and practically significant to synthesize a maximally permissive (optimal) controller to prevent deadlocks in an automated manufacturing system (AMS). With an AMS being modeled with Petri nets, by the existing methods, integer linear programming (ILP) problems are usually formulated and solved to obtain optimal policies by forbidding illegal markings at the same time no legal marking is excluded. Without an efficient technique for solving an ILP, such a method is usually computationally prohibitive.

Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles.

An automated manufacturing system (AMS) contains a number of versatile machines (or workstations), buffers, an automated material handling system (MHS), and is computer-controlled. An effective and flexible alternative for implementing MHS is to use automated guided vehicle (AGV) system. The deadlock issue in AMS is very important in its operation and has extensively been studied.