Search
Now showing items 271-280 of 290
Automatic Inference of Code Transforms and Search Spaces for Automatic Patch Generation Systems
(2016-07-08)
We present a new system, Genesis, that processes sets of human patches to automatically infer code transforms and search spaces for automatic patch generation. We present results that characterize the effectiveness of the ...
Robust, Goal-directed Plan Execution with Bounded Risk
(2012-02-02)
There is an increasing need for robust optimal plan execution for multi-agent systems in uncertain environments, while guaranteeing an acceptable probability of success. For ex- ample, a fleet of unmanned aerial vehicles ...
Learning and recognition of hybrid manipulation tasks in variable environments using probabilistic flow tubes
(2012-08-23)
Robots can act as proxies for human operators in environments where a human operator is not present or cannot directly perform a task, such as in dangerous or remote situations. Teleoperation is a common interface for ...
Decision Uncertainty Minimization and Autonomous Information Gathering
(2013-08-22)
Over the past several decades, technologies for remote sensing and exploration have be- come increasingly powerful but continue to face limitations in the areas of information gathering and analysis. These limitations ...
Risk-minimizing program execution in robotic domains
(2012-02-02)
In this thesis, we argue that autonomous robots operating in hostile and uncertain environments can improve robustness by computing and reasoning explicitly about risk. Autonomous robots with a keen sensitivity to risk can ...
Delay Controllability: Multi-Agent Coordination under Communication Delay
(2018-01-29)
Simple Temporal Networks with Uncertainty provide a useful framework for modeling temporal constraints and, importantly, for modeling actions with uncertain durations. To determine whether we can construct a schedule for ...
Fast, Approximate State Estimation of Concurrent Probabilistic Hybrid Automata
(2013-12-11)
It is an undeniable fact that autonomous systems are simultaneously becoming more common place, more complex, and deployed in more inhospitable environments. Examples include smart homes, smart cars, Mars rovers, unmanned ...
Privacy and Security Risks for National Health Records Systems
(2018-01-24)
A review of national health records (NEHR) systems shows that privacy and security risks have a profound impact on the success of such projects. Countries have different approaches when dealing with privacy and security ...
Energy-efficient Control of a Smart Grid with Sustainable Homes based on Distributing Risk
(2012-01-20)
The goal of this thesis is to develop a distributed control system for a smart grid with sustainable homes. A central challenge is how to enhance energy efficiency in the presence of uncertainty. A major source of uncertainty ...
continuous Relaxation to Over-constrained Temporal Plans
(2013-01-25)
When humans fail to understand the capabilities of an autonomous system or its environmental limitations, they can jeopardize their objectives and the system by asking for unrealistic goals. The objective of this thesis ...