loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00)
History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots
Vancouver, British Columbia, Canada
November 13-November 15
ISBN: 0-7695-0909-6
K.B. Lamine, Dept. of Math., Sherbrooke Univ., Que., Canada
F. Kabanza, Dept. of Math., Sherbrooke Univ., Que., Canada
Abstract: Behavior-based robot control systems have shown remarkable success for controlling robots evolving in real world environments. However, they can fail in different manners due to their distributed control and their local decision making. In this case, monitoring can be used to detect failures and help to recover from them. In this work, we present an approach for specifying monitoring knowledge and a method for using this knowledge to detect failures. In particular we show how temporal fuzzy logic can be used to represent monitoring knowledge and then utilized to effectively detect runtime failures. New semantics are introduced to take into consideration uncertainty and noisy information. There are numbers of advantages to our approach including a declarative semantics for the monitoring knowledge and an independence of this knowledge from the implementation details of the control system. Moreover we show how our system can deal effectively with noisy information and sensor readings. Experiments with two real world robots and the simulator are used to illustrate failure examples and the benefits of failure detection and noise elimination.
Index Terms:
fuzzy logic; distributed control; mobile robots; digital simulation; temporal logic; temporal fuzzy logic; behavior-based mobile robots; robot control systems; semantics; real world robots; simulator; failure detection; noise elimination
Citation:
K.B. Lamine, F. Kabanza, "History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots," ictai, pp.0312, 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.