1604 search results - page 122 / 321 » Modeling and simulation of integrated intelligent systems |
168
click to vote
RSFDGRC
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Both fuzzy set theory and rough set theory play an important role in data-driven, systems modelling and analysis. They have been successfully applied to building various ...
201
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
158
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...
150
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Two integrator backstepping designs are presented for digitally controlled continuous-time plants in special form. The controller designs are based on the Euler approximate discre...
177
click to vote
ATAL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. A framework for cooperative goal-satisfaction in large-scale MultiAgent Systems (MAS) is presented in this paper. This is performed by demonstrating the applicability of ...