Search Sciweavers | Sciweavers

2757 search results - page 5 / 552

» On separating systems

click to vote

CDC
2008
IEEE

111views Control Systems» more CDC 2008»

A separation principle for linear switching systems and parametrization of all stabilizing controllers

14 years 2 months ago

Download www.diegm.uniud.it

In this paper, we investigate the problem of designing a switching compensator for a plant switching amongst a (ﬁnite) family of given conﬁgurations (Ai,Bi,Ci). We assume that...

Franco Blanchini, Stefano Miani, Fouad Mesquine

claim paper

Read More »

click to vote

LICS
2007
IEEE

81views Automated Reasoning» more LICS 2007»

Separating DAG-Like and Tree-Like Proof Systems

14 years 1 months ago

Download www.cs.toronto.edu

We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...

Phuong Nguyen

claim paper

Read More »

click to vote

CCE
2010

160views Software Engineering» more CCE 2010»

Combined mass and energy integration in process design at the example of membrane-based gas separation systems

13 years 5 months ago

Download infoscience.epfl.ch

This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...

Martin Gassner, François Maréchal

claim paper

Read More »

click to vote

ICTAI
1994
IEEE

108views Artificial Intelligence» more ICTAI 1994»

The RISE System: Conquering without Separating

13 years 11 months ago

Download www.cs.washington.edu

Pedro Domingos

claim paper

Read More »