5200 search results - page 304 / 1040 » Symbolic models for control systems |
145
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
146
click to vote
PDP
2005
IEEE
15 years 11 months ago
2005
IEEE
Studying any aspect of an application server with high availability requirements can become a tedious task when a continuous monitoring of the server status is necessary. The crea...
168
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
151
click to vote
APN
2005
Springer
15 years 11 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
153
click to vote
IROS
2008
IEEE
16 years 14 days ago
2008
IEEE
— As the ability to produce a large number of small, simple robotic agents improves, it becomes essential to control the behavior of these robots in such a way that the sum of th...