Guaranteeing safety in spatially situated agents
- Univ. of Maryland, College Park, MD (United States)
- Honeywell Technology Center, Minneapolis, MN (United States)
{open_quote}Mission-critical{close_quotes} systems, which include such diverse applications as nuclear power plant controllers, {open_quotes}fly-by-wire{close_quotes} airplanes, medical care and monitoring systems, and autonomous mobile vehicles, are characterized by the fact that system failure is potentially catastrophic. The high cost of failure justifies the expenditure of considerable effort at design-time in order to guarantee the correctness of system behavior. This paper examines the problem of guaranteeing safety in a well studied class of robot motion problems known as the {open_quotes}asteroid avoidance problem.{close_quotes} We establish necessary and sufficient conditions for ensuring safety in the simple version of this problem which occurs most frequently in the literature, as well as sufficient conditions for a more general and realistic case. In doing so, we establish functional relationships between the number, size and speed of obstacles, the robot`s maximum speed and the conditions which must be maintained in order to ensure safety.
- OSTI ID:
- 430761
- Report Number(s):
- CONF-960876-; TRN: 96:006521-0136
- Resource Relation:
- Conference: 13. National conference on artifical intelligence and the 8. Innovative applications of artificial intelligence conference, Portland, OR (United States), 4-8 Aug 1996; Other Information: PBD: 1996; Related Information: Is Part Of Proceedings of the thirteenth national conference on artificial intelligence and the eighth innovative applications of artificial intelligence conference. Volume 1 and 2; PB: 1626 p.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Motion Planning Algorithms for Safety and Quantum Computing Efficiency
Avoiding moving obstacles by deviation from a mobile robot`s nominal path