5200 search results - page 377 / 1040 » Symbolic models for control systems |
197
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...
145
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- The paper analyzes a strategy to force stepconvergent dynamical hysteretic systems to a well-defined output value using only feed forward. Due to the multi-valued input-...
189
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
233
click to vote
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
153
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In a multi-agent system (MAS), the agents are often considered to be autonomous entities, such as robots or software programs, each under the influence of a local rule, representin...