A Petri Net Design of Command Filters for Semiautonomous Mobile Sensor Networks.

In semiautonomous mobile sensor networks (MSNs), since human operators may be involved in the control loop, particular improper actions may cause accidents and result in catastrophes. For such systems, this paper proposes a command filtering framework to accept or reject the human-issued commands so that undesirable executions are never performed. In the present approach, Petri nets are used to model the operated behaviors and to synthesize the command filters for supervision. An application to a mobile wireless surveillance system is provided to show the feasibility of the developed approach. It is believed that the technique presented in this paper could be further applied to large-scale wireless MSNs. [ABSTRACT FROM AUTHOR]