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

2017 ◽  
pp. 357-377
Author(s):  
Gabriela Marinoschi
Keyword(s):  
Type System ◽  
Logarithmic Potential ◽  
Feedback Stabilization

scholarly journals Feedback stabilization of the Cahn–Hilliard type system for phase separation

2017 ◽  
Vol 262 (3) ◽  
pp. 2286-2334 ◽  
Author(s):  
Viorel Barbu ◽  
Pierluigi Colli ◽  
Gianni Gilardi ◽  
Gabriela Marinoschi
Keyword(s):  
Phase Separation ◽  
Type System ◽  
Feedback Stabilization

scholarly journals Type-based analysis of logarithmic amortised complexity

2021 ◽  
pp. 1-33
Author(s):  
Martin Hofmann ◽  
Lorenz Leutgeb ◽  
David Obwaller ◽  
Georg Moser ◽  
Florian Zuleger
Keyword(s):  
Data Structures ◽  
Type System ◽  
Automated Analysis ◽  
Logarithmic Potential ◽  
Potential Functions ◽  
Resource Analysis

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.

Ultrastructural characteristics of sporidia of Ustilago

1989 ◽  
Vol 47 ◽  
pp. 786-787
Author(s):  
Patricia N. Hackney
Keyword(s):  
Electron Microscope ◽  
Type System ◽  
Tube Formation ◽  
High Voltage Electron Microscopy ◽  
Voltage Electron ◽  
University Of Wisconsin ◽  
Transmission Electron ◽  
Ustilago Hordei ◽  
Silene Alba ◽  
The University

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.

Circle and Popov Criterion for Output Feedback Stabilization of Uncertain Systems

2006 ◽  
Vol 11 (2) ◽  
pp. 137-148 ◽  
Author(s):  
A. Benabdallah ◽  
M. A. Hammami
Keyword(s):  
Dynamical Systems ◽  
Output Feedback ◽  
Uncertain Systems ◽  
Feedback Stabilization ◽  
Stabilizing Controller ◽  
Nominal System ◽  
Output Feedback Stabilization ◽  
Uncertain Dynamical Systems

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.

Thermal comfort conditions in a classroom conditioned by a split-type system

2017 ◽  
Author(s):  
Rogério Vilain ◽  
Marcelo Pereira ◽  
Nathan Mendes ◽  
katia cordeiro ◽  
anastacio da silva junior
Keyword(s):  
Thermal Comfort ◽  
Type System
Sign in / Sign up

Export Citation Format

Share Document