Learn More
—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(More)
—For Internet-based remote control systems, certain human operations may violate desired safety requirements and result in catastrophic failure. For such human-in-the-loop systems, this paper proposes a systematic approach to developing supervisory agents which guarantee that remote manual operations meet safety specifications. By applying the mutual(More)
—In a distributed robotic system, both human-controlled (semi-autonomous) and computer-controlled (fully autonomous) robots may simultaneously exist. From the global system's point of view, supervisory control for the interactions between the human and computer are important and necessary. For such human–computer interactive systems, this paper proposes a(More)
—For large-scale and long-distance distributed systems , this paper proposes a systematical multiparadigm approach to develop the simple network management protocol (SNMP) agents for remote monitoring and control. The standard unified modeling language (UML) is adopted for modeling the system, and then the Petri-net model is applied to achieve both(More)
—In a semiconductor manufacturing system, particular human operations may violate desired requirements and lead to destructive failure. For such human-in-the-loop systems, this paper proposes a supervisory framework which guarantees that manual operations meet required specifications so as to prevent human errors in operation using Petri nets. Moreover , a(More)