13717 search results - page 661 / 2744 » Control Systems |
158
click to vote
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
212
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents new sufficient conditions for exponential stability of switched linear systems under arbitrary switching, which involve the commutators (Lie brackets) among the...
209
click to vote
AICCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...
194
click to vote
ICDCSW
2003
IEEE
16 years 18 days ago
2003
IEEE
Access control in existing Java-based mobile agents is mostly based on code source due to limitations of early Java security architecture. That is, authorization is based on where...
151
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The n-step delayed sharing information structure is investigated. This information structure comprises of K controllers that share their information with a delay of n time steps. ...