Observability of place/transition nets
Tóm tắt
We discuss the problem of estimating the marking of a place/transition (P/T) net based on event observation. We assume that the net structure is known while the initial marking is totally or partially unknown. We give algorithms to compute a marking estimate that is a lower bound of the actual marking. The special structure of Petri nets allows us to use a simple linear algebraic formalism for estimate and error computation. The error between actual marking and estimate is a monotonically nonincreasing function of the observed word length, and words that lead to null error are said to be complete. We define several observability properties related to the existence of complete words, and show how they can be proved. To prove some of them, we also introduce a useful tool, the observer coverability graph, i.e., the usual coverability graph of a P/T net augmented with a vector that keeps track of the estimation error on each place of the net. Finally, we show how the estimate generated by the observer may be used to design a state feedback controller for forbidden marking specifications.
Từ khóa
#Observability #Observers #Petri nets #State estimation #Communication system control #Estimation error #State feedback #Error correction #ManufacturingTài liệu tham khảo
10.1109/ICSMC.1992.271666
10.1109/9.250512
10.1109/9.280750
li, 1988, controllability and observability in the state-feedback control of discrete-event systems, Proceedings of the 28th Conference on Decision and Control, 203
10.1109/9.233154
10.1109/ICSMC.1998.725502
memmi, 1987, analysing nets by the invariant method, Petri Nets Central Models and Their Properties, lncs 254, 300, 10.1007/978-3-540-47919-2_11
10.1109/5.24143
10.1109/9.57018
parikh, 1961, language generating devices, MIT Res Lab Electron Quarterly Progress Rep 60, 191
10.1109/CDC.1989.70090
10.1109/CDC.1988.194300
johnen, 1989, Decidability of home space property
cardoso, 1991, petri nets with uncertain markings, Advances in Petri Nets 1990, lncs 483, 64, 10.1007/3-540-53863-1_21
10.1109/9.384227
fanni, 1997, control and error recovery of petri net models with event observers, Proc 2nd Int Workshop Manufacturing and Petri Nets, 53
bazaraa, 1977, Linear Programming and Network Flows
10.1109/ETFA.2001.997718
10.1109/CDC.1997.652507
10.1007/BFb0039620
ramírez-treviño, 2000, observer design for discrete event systems modeled by intrerpreted petri nets, Proc IEEE Int Conf Robotics and Automation, 2871
10.1109/CDC.1986.267551
10.1016/0005-1098(95)00103-4
10.1109/9.471222
zhang, 1995, forbidden state avoidance in controlled petri nets under partial observation, Proc 33rd Allerton Conf, 146
10.1109/90.222906