TY - GEN
T1 - Modeling, analysis and optimization of decision process systems
AU - Konigsberg, Zvi Retchkiman
PY - 2005
Y1 - 2005
N2 - This paper introduces a new modeling paradigm for developing decision process representation called Decision Process Petri Nets (DPPN). It extends the place-transitions Petri net theoretic approach by including the Markov decision process. Place-transitions Petri nets (PN) are used for process representation taking advantage of the formal semantic and the graphical display. Markov decision processes are utilized as a tool for trajectory planning via a utility function. The main point of the DPPN is its ability to represent the mark-dynamic and trajectory-dynamic properties of a decision process. Within the mark-dynamic framework the theoretic notions of equilibrium and stability are those of the place-transitions Petri net. In the trajectory-dynamic framework, the utility function used for trajectory planning is optimized, via a Lyapunov like function, obtaining as a result new characterizations for final decision points (optimum point) and stability. Moreover, it is shown that the DPPN mark-dynamic and Lyapunov trajectory-dynamic properties of equilibrium, stability and final decision points (optimum point) converge under certain restrictions. An algorithm for optimum trajectory planning that makes use of the graphical representation of the place-transitions Petri net and the utility function is proposed. The work presented here makes firm steps toward the modelling and analysis of decision problems in several fields as: management, ecological systems, defense and homeland security issues and terrorism.
AB - This paper introduces a new modeling paradigm for developing decision process representation called Decision Process Petri Nets (DPPN). It extends the place-transitions Petri net theoretic approach by including the Markov decision process. Place-transitions Petri nets (PN) are used for process representation taking advantage of the formal semantic and the graphical display. Markov decision processes are utilized as a tool for trajectory planning via a utility function. The main point of the DPPN is its ability to represent the mark-dynamic and trajectory-dynamic properties of a decision process. Within the mark-dynamic framework the theoretic notions of equilibrium and stability are those of the place-transitions Petri net. In the trajectory-dynamic framework, the utility function used for trajectory planning is optimized, via a Lyapunov like function, obtaining as a result new characterizations for final decision points (optimum point) and stability. Moreover, it is shown that the DPPN mark-dynamic and Lyapunov trajectory-dynamic properties of equilibrium, stability and final decision points (optimum point) converge under certain restrictions. An algorithm for optimum trajectory planning that makes use of the graphical representation of the place-transitions Petri net and the utility function is proposed. The work presented here makes firm steps toward the modelling and analysis of decision problems in several fields as: management, ecological systems, defense and homeland security issues and terrorism.
KW - Decision process petri nets
KW - Lyapunov methods
KW - Optimization
KW - Stability
UR - http://www.scopus.com/inward/record.url?scp=80053103562&partnerID=8YFLogxK
M3 - Contribución a la conferencia
AN - SCOPUS:80053103562
SN - 0975840002
SN - 9780975840009
T3 - MODSIM05 - International Congress on Modelling and Simulation: Advances and Applications for Management and Decision Making, Proceedings
SP - 1779
EP - 1786
BT - MODSIM05 - International Congress on Modelling and Simulation
T2 - International Congress on Modelling and Simulation: Advances and Applications for Management and Decision Making, MODSIM05
Y2 - 12 December 2005 through 15 December 2005
ER -