Sciweavers

539 search results - page 54 / 108
» Observability of Switched Linear Systems
Sort
View
136
Voted
LICS
1998
IEEE
15 years 4 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
114
Voted
INFORMATICALT
2002
116views more  INFORMATICALT 2002»
15 years 11 days 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
95
Voted
ICCAD
1999
IEEE
101views Hardware» more  ICCAD 1999»
15 years 5 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»
15 years 7 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
15 years 2 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