Sciweavers

539 search results - page 54 / 108
» Observability of Switched Linear Systems
Sort
View
LICS
1998
IEEE
14 years 1 months ago
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
Eugene W. Stark, Scott A. Smolka
INFORMATICALT
2002
116views more  INFORMATICALT 2002»
13 years 9 months ago
On the Optimization of an Adaptive State Estimation of Dynamic Systems in the Presence of Time-varying Outliers
The problem of recursive estimation of a state of dynamic systems in the presence of time-varying outliers in observations to be processed has been considered. A learning phase use...
Rimantas Pupeikis
ICCAD
1999
IEEE
101views Hardware» more  ICCAD 1999»
14 years 2 months ago
Efficient model reduction of interconnect via approximate system gramians
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
Jing-Rebecca Li, Jacob White
CDC
2008
IEEE
289views Control Systems» more  CDC 2008»
14 years 4 months ago
Robust H-infinity control for uncertain time-delay TCP/AQM network system
—A robust active queue management (AQM) scheme based on H-infinty theory is presented for the problem of congestion control in TCP communication networks. In TCP/IP networks, the...
Yuanwei Jing, Hongwei Wang, Georgi M. Dimirovski, ...
ATAL
2008
Springer
13 years 12 months ago
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
Paola Spoletini, Mario Verdicchio