5634 search results - page 297 / 1127 » About Abstract Classes |
140
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Regular expressions with numerical constraints are an extension of regular expressions, allowing to bound numerically the number of times that a subexpression should be m...
144
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper is concerned with the robust stabilization of a class of stochastic large-scale systems. The uncertainties satisfy integral quadratic constraints. The random...
108
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper studies the gain margins (GM) of multivariable model reference adaptive control (MRAC) systems: the parameter range of a control gain matrix in a designed MR...
122
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...
193
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...