Learn More
Laparoscopic cholecystectomy (LC) can be introduced into a community with morbidity and mortality rates equal to that of open cholecystectomy. The entire general surgical community of Greensboro, NC, learned the technique of LC on animal models prior to offering this innovation to the community. Over the ensuing 12 months, they served as surgeons or(More)
As autonomous robots become more complex in their behavior, more sophisticated software architectures are required to support the ever more sophisticated robotics software. These software architectures must support complex behaviors involving adaptation and learning, implemented, in particular, by neural networks. We present in this paper a neural based(More)
Establishing performance guarantees for robot missions is especially important for C-WMD applications. Software verification techniques, such as model checking (Clark 1999, Jhala & Majumdar 2009), can be applied to robotic applications but characteristics of this application area, including addition of a robot environment model and handling continuous(More)
Autonomous robots offer the potential to conduct Counter-Weapons of Mass Destruction (C-WMD) missions in an efficient and robust manner. However, to leverage this potential, a mission designer needs to be able to determine how well a robot system will operate in the noisy and uncertain environments that a C-WMD mission may require. We are developing a(More)
An approach for the verification of autonomous behavior-based ro-botic missions has been developed in a collaborative effort between Fordham University and Georgia Tech. This paper addresses the step after verification, how to present this information to users. The verification of robotic missions is inherently probabilistic, opening the possibility of(More)
This paper explores how an autonomous agent can model dynamic environments and use that knowledge to improve its behavior. This capability is of particular importance for persistent agents, or long-term autonomy. Inspiration is drawn from circadian rhythms in nature, which drive periodic behavior in many organisms. In our approach, the chemical oscillators(More)
Systems engineering is advancing the autonomous decision-making abilities of systems on many fronts: from self-driving cars that platoon on the highways and collaborate on developing traffic conditions, to weapon systems that work alone and in heterogeneous swarms. What will govern the behavior of these unsupervised systems when life, property, or mission(More)
  • 1