Search Sciweavers | Sciweavers

3458 search results - page 2 / 692

» Abstracting Control

click to vote

MCSS
2007
Springer

109views Control Systems» more MCSS 2007»

Consistent initialization and perturbation analysis for abstract differential-algebraic equations

13 years 7 months ago

Download www.math.tu-berlin.de

Timo Reis

claim paper

Read More »

click to vote

CDC
2010
IEEE

97views Control Systems» more CDC 2010»

Synthesis using approximately bisimilar abstractions: time-optimal control problems

13 years 2 months ago

Download www-ljk.imag.fr

s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...

Antoine Girard

claim paper

Read More »

click to vote

SYSTOR
2010
ACM

158views Control Systems» more SYSTOR 2010»

Plugging the hypervisor abstraction leaks caused by virtual networking

14 years 8 days ago

Download www.mulix.org

Alex Landau, David Hadas, Muli Ben-Yehuda

claim paper

Read More »

click to vote

ENTCS
2008

110views more ENTCS 2008»

On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)

13 years 7 months ago

Download www.mscs.dal.ca

ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...

Peter Selinger, Benoît Valiron

claim paper

Read More »

click to vote

IWSOS
2011
Springer

292views Control Systems» more IWSOS 2011»

Self-organized Middle-Out Abstraction

12 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers