3458 search results - page 10 / 692 » Abstracting Control |
RTSS
2008
IEEE
14 years 3 months ago
2008
IEEE
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
TC
1998
13 years 8 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
MCSS
2002
Springer
13 years 8 months ago
2002
Springer
and B and related abstract Cauchy problems," Mathematische
HYBRID
2000
Springer
14 years 6 days ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...