Title :
A fuzzy Petri net approach to reasoning about uncertainty in robotic systems
Author :
Cao, Tiehua ; Sanderson, Arthur C.
Author_Institution :
Dept. of Electr.-Comput.-Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA
Abstract :
A generalized definition of the fuzzy Petri net (FPN) and the reasoning structures of transitions in the PFN are proposed. A fuzzy Petri net is used to model the incomplete, uncertain, and approximate information associated with firing of transitions and changing of states in robotics and manufacturing systems. Using PFNs to model a system, a fuzzy reasoning strategy can be used to infer new fuzzy values in output places after the corresponding enabled transition is fired. A global fuzzy variable is used to sequence operations with key procedure relations for a manufacturing system. A local fuzzy variable is used to represent the uncertainty in local configuration variables of the system and may be used to control online reasoning about sensor-based execution. Properties of boundedness, liveness, and reversibility of the resulting FPN depend on the reasoning rules, and formal analysis of these properties is being pursued
Keywords :
Petri nets; fuzzy control; fuzzy set theory; industrial robots; planning (artificial intelligence); uncertainty handling; approximate information; boundedness; changing of states; firing of transitions; fuzzy Petri net approach; fuzzy reasoning strategy; global fuzzy variable; liveness; local fuzzy variable; manufacturing system; online reasoning; reasoning about uncertainty; reversibility; robotic systems; sensor-based execution; Fuzzy logic; Fuzzy reasoning; Fuzzy sets; Fuzzy systems; Manufacturing systems; Orbital robotics; Petri nets; Robot sensing systems; Systems engineering and theory; Uncertainty;
Conference_Titel :
Robotics and Automation, 1993. Proceedings., 1993 IEEE International Conference on
Conference_Location :
Atlanta, GA
Print_ISBN :
0-8186-3450-2
DOI :
10.1109/ROBOT.1993.292001
