Sciweavers

2594 search results - page 72 / 519
» Stabilization of Systems with Changing Dynamics
Sort
View
88
Voted
HYBRID
2009
Springer
15 years 4 months ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
102
Voted
JIS
2006
103views more  JIS 2006»
15 years 22 days ago
Usage patterns of collaborative tagging systems
Collaborative tagging describes the process by which many users add metadata in the form of keywords to shared content. Recently, collaborative tagging has grown in popularity on ...
Scott A. Golder, Bernardo A. Huberman
COMPSAC
2002
IEEE
15 years 5 months ago
The Architecture of a Dynamically Updatable, Component-Based System
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
Robert Pawel Bialek
99
Voted
ACSD
2006
IEEE
76views Hardware» more  ACSD 2006»
15 years 4 months ago
Specification and Verification of Dynamic Communication Systems
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd W...
138
Voted
CDC
2010
IEEE
117views Control Systems» more  CDC 2010»
14 years 4 months ago
Computing asymptotic gains of large-scale interconnections
— This paper considers the problem of verifying stability of large-scale nonlinear dynamical systems. Using a comparison principle approach we present a numerical method of estim...
Björn Rüffer, Hiroshi Ito, Peter M. Dowe...