8492 search results - page 294 / 1699 » Modelling and Design of Multi-Agent Systems |
117
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
153
click to vote
ICRE
1998
IEEE
15 years 9 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
124
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
The neural computations that support bat echolocation are of great interest to both neuroscientists and engineers, due to the complex and extremely time-constrained nature of the ...
149
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
143
Voted
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...