14190 search results - page 162 / 2838 » Abstractions for hybrid systems |
183
click to vote
COLING
1996
15 years 7 months ago
1996
Porting a Natural Language Processing (NLP) system to a new domain remains one of the bottlenecks in syntactic parsing, because of the amount of effort required to fix gaps in the...
165
click to vote
ICTAC
2009
Springer
15 years 4 months ago
2009
Springer
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
176
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
157
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we consider the low-complexity detection in hybrid direct-sequence time-hopping ultrawide bandwidth (DS-TH UWB) systems. A reduced-rank adaptive LBER detector is ...
180
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a hybrid control strategy for navigation of shape-accelerated underactuated balancing systems with dynamic constraints. It extends the concept of sequential com...