433 search results - page 52 / 87 » On stabilizers of infinite words |
RAS
2010
13 years 6 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...
ACSD
2010
IEEE
13 years 6 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. ...
LOGCOM
2010
13 years 2 months 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,...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper presents readily checkable criteria for several system theoretic properties (stability, approximate and exact controllability, exponential stabilizability) for a par...
AUTOMATICA
2007
13 years 8 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...