Sciweavers

2713 search results - page 117 / 543
» Parameterized Tree Systems
Sort
View
115
Voted
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 5 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
79
Voted
AUTOMATICA
1999
72views more  AUTOMATICA 1999»
15 years 3 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
104
Voted
IEEEHPCS
2010
15 years 2 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
103
Voted
DCC
2005
IEEE
16 years 3 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
107
Voted
MFCS
2009
Springer
15 years 10 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