4693 search results - page 147 / 939 » Verifying Hybrid Systems |
ICTAC
2009
Springer
14 years 10 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...
106
Voted
HYBRID
2000
Springer
15 years 4 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 ...
96
Voted
ICC
2009
IEEE
15 years 7 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 ...
135
Voted
GLOBECOM
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--In this paper, we consider multiple-input multipleoutput (MIMO) communication systems with combined channel covariance feedback (CCF) and channel gain feedback (CGF), her...
106
click to vote
CDC
2010
IEEE
14 years 8 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...