History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 2000-January, Issue , 2000, Pages 312-319

  Lamine, K B ^a   Kabanza, F ^a  

^a UNIVERSITÉ DE SHERBROOKE   (Canada)

Author keywords

Condition monitoring; Control systems; Decision making; Distributed control; Fuzzy logic; History; Robot control; Runtime; Sensor systems; Uncertainty

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONDITION MONITORING; CONTROL SYSTEMS; DECISION MAKING; DISTRIBUTED PARAMETER CONTROL SYSTEMS; HISTORY; HUMAN COMPUTER INTERACTION; MONITORING; ROBOTS; SEMANTICS;

DISTRIBUTED CONTROL; ROBOT CONTROLS; RUNTIMES; SENSOR SYSTEMS; UNCERTAINTY;

FUZZY LOGIC;

EID: 0344320637     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAI.2000.889888     Document Type: Conference Paper

References (18)

1. J. Ambros-Ingerson and S. Steel. Integrating planning, execution and monitoring. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), pages 735-740, St. Paul, Minnesota, 21-26 Aug. 1988. Morgan Kaufmann.
2. R. C. Arkin. Behavior-Based Robotics. MIT press, 1998.
3. M. Beetz and D. McDermott. Improving robot plan during their execution. In Proc. Second International Conference on AI Planning Systems, pages 3-12, 1994.
4. D. Dubois and H. Prade. Partial truth is not uncertainty: Fuzzy logic versus possibilistic logic. IEEE Expert, 9(4):15-19, August 1994.
5. M. Felder and A. Morzenti. Validating real-time systems by history checking trio specifications. ACM Transactions on Software Engineering and Methodology, 3(4), October 1994.
6. R. Gerth, D. Peled, M. Y. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Proc. 15th Work. Protocol Specification, Testing, and Verification, Warsaw, June 1995. North-Holland.
7. G. Giacomo, R. Reiter, and M. Soutchanski. Execution monitoring of high-level robot programs. In Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, pages 453-464, 1998.
8. F. Jahanian, R. Rajkumar, and S. C. V. Raju. Run-time monitoring of timing constraints in distributed real-time systems. Real-Time Systems Journal, 7(3):247-273, 1994.
9. F. Kabanza, M. Barbeau, and R. St-Denis. Planning control rules for reactive agents. Artificial Intelligence, 95(1):67-113, 1997.
10. K. B. Lamine and F. Kabanza. Using temporal fuzzy logic for monitoring behavior based mobile robots. In Proc. of the IASTED conference in Robotics and Applications, pages 116-121, Hawaii, August 2000.
11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag: Heidelberg, Germany, 1992.
12. F. Pin and S. Bender. Adding memory processing behaviors to the fuzzy Behaviorist-based navigation of mobile robots. In ISRAM'96 Sixth International Symposium on Robotics and Manufacturing, Montpelier, France, May 27-30 1996.
13. R. R. Yager and D. Filev. On the issue of obtaining owa operator weights. Fuzzy Sets and Systems, 94:157-169, 1998.
14. A. Saffiotti. Handling uncertainty in control of autonomous robots. In Applications of Uncertainty Formalisms in Information, pages 198-224. Lecture Notes in Computer Science, Vol. 1455, 1998.
15. J. P. J. Tsai and S. J. H. Yang. Monitoring and Debugging of Distributed Real-Time Systems. IEEE Computer Society Press, 1995.
16. S. E. Umbaugh. Computer vision and image processing : a practical approach using CVIPtools. Prentice Hall, 1998.
17. W. Xu. A virtual target approach for resolving the limit cycle problem in navigation of a fuzzy behaviour-based moblile robot. Robotics and Autonomous Systems, 30:315-324, 2000.
18. R. R. Yager. On ordered weighted averaging aggregation operators in multicriteria decisionmaking. IEEE Transactions on Systems, Man, And Cybernetics, 18(1):183-190, 1988.