Safety of unmanned aerial systems (UAS) is paramount, but the large number of dynamically changing controller parameters makes it hard to determine if the system is currently stable, and the time before loss of control if not. We propose a hierarchical statistical model using Treed Gaussian Processes to predict (i) whether a flight will be stable (success) or become unstable (failure), (ii) the...

We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with exceptions in multi-staged programming. The proposed exception constructs in multi-staged programming has no artificial restriction. Exception-raise and -handle expressions can appear in expressions of any stage, though they ar...

The rupture of an internal mammary artery (IMA) aneurysm in a patient with type 1 neurofibromatosis (NF-1) is a rare but life-threatening complication requiring emergency management. A 50-year-old man with NF-1 was transferred to the emergency department of Kyungpook National University Hospital, where an IMA aneurysmal rupture and hemothorax were diagnosed and drained. The IMA aneurysmal ruptu...

We address the state estimation of a class of continuous-time systems with implicit outputs, whose measurements arrive at discrete-time instants, are time-delayed, noisy, and may not be complete. The estimation problem is formulated in the deterministic H∞ filtering setting by computing the value of the state that minimizes the induced L2-gain from disturbances and noise to estimation error, wh...

In this work we present a straight forward extension of Hoare logic that caters for multistaged programs. We have chosen a minimalist support language which allowed us to focus on the issues pertaining to the staged features. Similarly, the support logic is a simple, staged, first order logic with equality assertions. We allow the equality assertions to contain descriptions of staged code in th...

We present a new technique, which is the distal perfusion first technique, for chronic dissection with dilatation of the aorta. Using a "side-ways-tau shaped" incision, this technique allows single-staged repair, full-time antegrade perfusion, less possibility of mesenteric malperfusion and cerebral embolism.

This paper describes the staged evolution of a complex motor pattern generator (MPG) for the control of a walking robot. The MPG is composed of a network of neurons with weights determined by Genetic Algorithm (GA) optimization. Staged evolution is used to improve the convergence rate of the algorithm. First, an oscilla-tor for the individual leg movements is evolved. Then, a network of these o...

This paper describes the development of a data mining system that is to operate on NASA’s Information Power Grid (IPG). Mining agents will be staged to one or more processors on the IPG. There they will grow using just-intime acquision of new operations. They will mine data delivered using just-in-time delivery. Some initial experimental results are presented.