433 search results - page 52 / 87 » On stabilizers of infinite words |
162
click to vote
RAS
2010
15 years 4 months ago
2010
This paper presents the experimental validation of a recently proposed decentralized control law, for the collective circular motion of a team of nonholonomic vehicles about a vir...
158
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
184
click to vote
LOGCOM
2010
15 years 26 days ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
113
click to vote
CDC
2008
IEEE
16 years 17 days ago
2008
IEEE
— This paper presents readily checkable criteria for several system theoretic properties (stability, approximate and exact controllability, exponential stabilizability) for a par...
151
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper deals with global output regulation with nonlinear exosystems for a class of uncertain nonlinear output feedback systems. The circle criterion is exploited for the inte...