Remote supervisory control of the human-in-the-loop system by using Petri nets and Java
Jin-Shyan Lee
Pau-Lo Hsu
Dept. of Electr. & Control Eng., Nat. Chiao-Tung Univ., Hsinchu, Taiwan;
This paper appears in: Industrial Electronics, IEEE Transactions on
Publication Date: June 2003
Volume: 50,
Issue: 3
On page(s): 431- 439
ISSN: 0278-0046
INSPEC Accession Number: 7653539
Digital Object Identifier: 10.1109/TIE.2003.812283
Current Version Published: 2003-06-05
Abstract
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 exclusion concept, the Petri net approach is used to model, design, and verify a supervisory system which prevents human errors. Then, Java technology is adopted to implement the supervisor as an intelligent agent for online supervision of the remote control system. To demonstrate the feasibility and practicability of the developed supervisory approach, we apply it to a rapid thermal processor controlled over the Internet.
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
