Sciweavers

29172 search results - page 148 / 5835
» Modeling Systems in CLP
Sort
View
SCL
2008
95views more  SCL 2008»
13 years 10 months ago
Model validation for IQC uncertain systems with fixed initial conditions
: The paper considers a model validation problem for a class of uncertain systems in which the uncertainty is described by an integral quadratic constraint and the uncertain system...
Ian R. Petersen
AGENTS
2000
Springer
14 years 2 months ago
An Architecture for Modeling Internet-Based Collaborative Agent Systems
Abstract. This paper describes an architecture for modeling cooperating systems of communicating agents. The authors’ goal is not that of providing a framework to implement multi...
Roberto A. Flores, Robert C. Kremer, Douglas H. No...
AOSE
2001
Springer
14 years 2 months ago
A Lifecycle for Models of Large Multi-agent Systems
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
Wamberto Weber Vasconcelos, David Stuart Robertson...
SCL
2010
97views more  SCL 2010»
13 years 8 months ago
Krylov subspace methods for model order reduction of bilinear control systems
We discuss the use of Krylov subspace methods with regard to the problem of model order reduction. The focus lies on bilinear control systems, a special class of nonlinear systems...
Tobias Breiten, Tobias Damm
DSD
2006
IEEE
110views Hardware» more  DSD 2006»
14 years 4 months ago
A Flexible, Syntax Independent Representation (SIR) for System Level Design Models
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
Ines Viskic, Rainer Dömer