613 search results - page 71 / 123 » Observability of Linear Hybrid Systems |
113
click to vote
FSE
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering. For unstuttered SOBER-t32, two different attacks are implemented. In the first attack, we obt...
SI3D
2010
ACM
15 years 3 months ago
2010
ACM
We present a novel framework for editing geometric detail. Drawing on previous work in image- and geometry-processing, we show that the frequency-space filtering performed in mes...
106
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
— In this paper, a new method to design an observer for nonlinear systems described by Takagi-Sugeno (TS) model, with unmeasurable premise variables, is proposed. Most of existin...
110
click to vote
AICCSA
2007
IEEE
15 years 3 months ago
2007
IEEE
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...
113
click to vote
TII
2010
14 years 6 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...