A MINIMAL SUPERVISORY STRUCTURE TO OPTIMALLY ENFORCE LIVENESS ON PETRI NET MODELS FOR FLEXIBLE MANUFACTURING SYSTEMS

A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems

This paper presents a new method of computing a minimal supervisory structure that optimally enforces liveness on the Petri net models for flexible manufacturing systems (FMSs).The proposed method utilizes the structural properties of a Petri net model to avoid the computation of its reachability graph, which in general leads to the state explosion

read more




Research on obstacle avoidance technology of fixed wing formation based on improved artificial potential field method with stereo vision

To solve the problem that distributed fixed wing formation cannot know all the other aircraft states through the ground station and may collide, the improved artificial potential field method based on binocular stereo vision was proposed.This method makes the fixed 5326058hx wing aircraft not need to obtain the position information of other fixed w

read more