Sciweavers

2044 search results - page 222 / 409
» System theory for numerical analysis
Sort
View
CDC
2008
IEEE
236views Control Systems» more  CDC 2008»
16 years 1 months ago
Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
Amir Ali Ahmadi, Pablo A. Parrilo
COMGEO
2010
ACM
15 years 10 months ago
Access control systems for spatial data infrastructures and their administration
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
Jan Herrmann
SIGMETRICS
2010
ACM
146views Hardware» more  SIGMETRICS 2010»
15 years 1 months ago
In-degree dynamics of large-scale P2P systems
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
Zhongmei Yao, Daren B. H. Cline, Dmitri Loguinov
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 21 days ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
HUC
2004
Springer
15 years 12 months ago
The Carrot Approach: Encouraging Use of Location Systems
The Active Bat system provides the ability to locate users and equipment with a high degree of accuracy and coverage. Despite this, participation is low. We are concerned that this...
Kieran Mansley, Alastair R. Beresford, David Scott