A Note on the Feedback Stabilization of a Cahn–Hilliard Type System with a Singular Logarithmic Potential

Author(s):  
Gabriela Marinoschi
2017 ◽  
Vol 262 (3) ◽  
pp. 2286-2334 ◽  
Author(s):  
Viorel Barbu ◽  
Pierluigi Colli ◽  
Gianni Gilardi ◽  
Gabriela Marinoschi

Author(s):  
Martin Hofmann ◽  
Lorenz Leutgeb ◽  
David Obwaller ◽  
Georg Moser ◽  
Florian Zuleger

Abstract We introduce a novel amortised resource analysis couched in a type-and-effect system. Our analysis is formulated in terms of the physicist’s method of amortised analysis and is potentialbased. The type system makes use of logarithmic potential functions and is the first such system to exhibit logarithmic amortised complexity. With our approach, we target the automated analysis of self-adjusting data structures, like splay trees, which so far have only manually been analysed in the literature. In particular, we have implemented a semi-automated prototype, which successfully analyses the zig-zig case of splaying, once the type annotations are fixed.


Author(s):  
Patricia N. Hackney

Ustilago hordei and Ustilago violacea are yeast-like basidiomycete pathogens ofHordeum vulgare and Silene alba respectively. The mating type system in both species of Ustilago is bipolar, with alleles, A,a, (U.hordei) and a1, a2 (U.violacea) at a single locus. Haploid sporidia maintain the asexual phase by budding, while the sexual phase is initiated by conjugation tube formation between the mating types during budding and conjugation.For observation of budding, sporidia were prepared by culturing the four types on YEG (yeast extract glucose) broth for 24 hours. After centrifugation at 5000g cells were either left unmated or mated in a1/a2,A/a combinations. The sporidia were then mixed 1:1 with 4% agar and the resulting 1mm cubes fixed in 8% gluteraldehyde and post fixed in osmium tetroxide. After dehydration and embedding cubes were thin sectioned with a LKB ultratome and photographed in a Zeiss 9s transmission electron microscope or in an AE1 electron microscope of MK11 1MEV at the High Voltage Electron Microscopy Center of the University of Wisconsin-Madison.


2006 ◽  
Vol 11 (2) ◽  
pp. 137-148 ◽  
Author(s):  
A. Benabdallah ◽  
M. A. Hammami

In this paper, we address the problem of output feedback stabilization for a class of uncertain dynamical systems. An asymptotically stabilizing controller is proposed under the assumption that the nominal system is absolutely stable.


Author(s):  
Rogério Vilain ◽  
Marcelo Pereira ◽  
Nathan Mendes ◽  
katia cordeiro ◽  
anastacio da silva junior
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document