Andrew Kevin Winn

Andrew Kevin Winn
GE Global Research · Controls & Optimization

B.S. Electrical Engineering

About

8
Publications
3,750
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
78
Citations

Publications

Publications (8)
Article
Full-text available
Although the entropy of a given signal-type waveform is technically zero, it is nonetheless desirable to use entropic measures to quantify the associated information. Several such prescriptions have been advanced in the literature but none are generally successful. Here, we report that the Fourier-conjugated 'total entropy' associated with quantum-...
Conference Paper
Full-text available
Metric Temporal Logic (MTL) specifications can capture complex state and timing requirements. Given a nonlinear dynamical system and an MTL specification for that system, our goal is to find a trajectory that violates or satisfies the specification. This trajectory can be used as a concrete feedback to the system designer in the case of violation o...
Conference Paper
Full-text available
In recent papers we have focused on the task of safety controller synthesis, that is, designing a controller that will take the system from any point within a compact set of initial states to a point inside a set of acceptable goal states, while never entering any state that is deemed unsafe. This method first finds a feedback controller that cause...
Conference Paper
Full-text available
The aim of the optimal safety controller synthesis problem is to synthesize a feedback controller that results in closed-loop trajectories that meet certain criteria, namely, the state or output trajectories terminate in a goal set without entering an unsafe set while optimizing some function. Our previous work presented a method for using finitely...
Conference Paper
Full-text available
Potential functions can be used to design efficient path planning schemes. However, it is often difficult to design appropriate potential functions to mimic desired behavior of the agent. Instead of using a pre-designed potential function for path planning, this paper presents an algorithm that learns the underlying potential function from a given...
Conference Paper
The aim of the safety controller synthesis problem is to synthesize a feedback controller that results in closed-loop trajectories that meet certain criteria, namely, the state or output trajectories terminate in a Goal set without entering an Unsafe set. We propose a formal method for synthesizing such a controller using finitely many human genera...
Conference Paper
Within the next decade, proton-exchange membrane (PEM) fuel cell technology will need to progress from low-volume to high-volume production. The second of two fully-functional fuel cell stack assembly robotic stations is being developed to meet the requirements for this transition; meanwhile, a fuel cell stack is being modified to ease the challeng...

Network

Cited By