13717 search results - page 672 / 2744 » Control Systems |
165
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper is concerned with global asymptotic output synchronization in networks of identical feedback systems. Using an operator theoretic approach based on an incremental small ...
195
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
234
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
205
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
195
click to vote
RSP
2003
IEEE
16 years 21 days ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...