Search Sciweavers | Sciweavers

20

HYBRID
2009
Springer

141views Control Systems» more HYBRID 2009»

Decompositional Construction of Lyapunov Functions for Hybrid Systems

14 years 2 months ago

Download dampf.svs.informatik.uni-oldenburg.de

In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...

Jens Oehlerking, Oliver E. Theel

claim paper

Read More »

20

click to vote

HOTOS
2009
IEEE

125views Operating System» more HOTOS 2009»

Operating System Support for NVM+DRAM Hybrid Main Memory

13 years 11 months ago

Download www.hpl.hp.com

:

Jeffrey C. Mogul, Eduardo Argollo, Mehul A. Shah, ...

claim paper

Read More »

24

click to vote

DELFI
2009

129views Knowledge Management» more DELFI 2009»

Hybride Lernarrangements - Informatik-Lehre an der Hochschule Offenburg

13 years 8 months ago

Download mi-learning.mi.fh-offenburg.de

: Mehrere Informatik-Veranstaltungen der Fakult

Claudia Schmidt, Volker Sänger, Jeremias Endr...

claim paper

Read More »

29

click to vote

HYBRID
2009
Springer

157views Control Systems» more HYBRID 2009»

Finite Automata as Time-Inv Linear Systems Observability, Reachability and More

14 years 2 months ago

Download www.cs.sunysb.edu

We show that regarding ﬁnite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...

Radu Grosu

claim paper

Read More »

32

click to vote

ICUMT
2009

136views Communications» more ICUMT 2009»

Secure aggregation in hybrid mesh/sensor networks

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers