Sciweavers

882 search results - page 27 / 177
» Observing Infinite-dimensional Dynamical Systems
Sort
View
PERCOM
2007
ACM
16 years 1 months ago
Dynamic Key-Updating: Privacy-Preserving Authentication for RFID Systems
The objective of private authentication for Radio Frequency Identification (RFID) systems is to allow valid readers to explicitly authenticate their dominated tags without leaking...
Li Lu, Jinsong Han, Lei Hu, Yunhao Liu, Lionel M. ...
AUTOMATICA
2005
152views more  AUTOMATICA 2005»
15 years 1 months ago
Identification of dynamical systems with a robust interval fuzzy model
In this paper we present a new method of interval fuzzy model identification. The method combines a fuzzy identification methodology with some ideas from linear programming theory...
Igor Skrjanc, Saso Blazic, Osvaldo E. Agamennoni
WCW
2004
Springer
15 years 7 months ago
Bottlenecks and Their Performance Implications in E-commerce Systems
Abstract. We present a detailed workload characterization of a multi-tiered system that hosts an e-commerce site. Using the TPC-W workload and via experimental measurements, we ill...
Qi Zhang, Alma Riska, Erik Riedel, Evgenia Smirni
HYBRID
2003
Springer
15 years 7 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
CDC
2008
IEEE
200views Control Systems» more  CDC 2008»
15 years 8 months ago
Maximum-likelihood Kalman filtering for switching discrete-time linear systems
— State estimation is addressed for a class of discrete-time systems that may switch among different modes taken from a finite set. The system and measurement equations of each ...
Angelo Alessandri, Marco Baglietto, Giorgio Battis...