Sciweavers

2713 search results - page 117 / 543
» Parameterized Tree Systems
Sort
View
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 8 months ago
Using polynomial semi-separable kernels to construct infinite-dimensional Lyapunov functions
Abstract-- In this paper, we introduce the class of semiseparable kernel functions for use in constructing Lyapunov functions for distributed-parameter systems such as delaydiffere...
Matthew M. Peet, Antonis Papachristodoulou
AUTOMATICA
1999
72views more  AUTOMATICA 1999»
15 years 6 months ago
Observer-controller design for cranes via Lyapunov equivalence
We consider a linearized parameter-varying model of a planar crane and show how a controller can be designed, following the state-feedback stabilization technique for time-varying...
Alessandro Giua, Carla Seatzu, Giampaolo Usai
IEEEHPCS
2010
15 years 5 months ago
Towards a bio-inspired architecture for autonomic network-on-chip
In the past few years, research in the domain of networkon-chip has been concentrated on application-specific approaches. These approaches are design-time parameterized approache...
Mohamed Bakhouya
DCC
2005
IEEE
16 years 6 months ago
Lossless Data Compression Using Optimal Tree Machines
We discuss a lossless data compression system that uses fixed Tree Machines to encode data. The idea is to create a sequence of Tree Machines and a robust escape method aimed at p...
Gergely Korodi, Jorma Rissanen, Ioan Tabus
MFCS
2009
Springer
16 years 1 months ago
FO Model Checking on Nested Pushdown Trees
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
Alexander Kartzow