Sciweavers

1383 search results - page 202 / 277
» Autonomous Agents with Norms
Sort
View
EUMAS
2006
15 years 7 months ago
Applications and Environments for Multi-agent Systems
This paper addresses multi agent system (MAS) environments from an application perspective. It presents a structured view on environment-centric MAS applications. This comprises th...
Paul Valckenaers, John A. Sauter, Carles Sierra, J...
ATAL
2010
Springer
15 years 7 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
Jan Broersen
MOC
2011
15 years 1 months ago
A two-level enriched finite element method for a mixed problem
The simplest pair of spaces P1/P0 is made inf-sup stable for the mixed form of the Darcy equation. The key ingredient is enhance the finite element spaces inside a PetrovGalerkin ...
Alejandro Allendes, Gabriel R. Barrenechea, Erwin ...
MP
2011
15 years 1 months ago
Null space conditions and thresholds for rank minimization
Minimizing the rank of a matrix subject to constraints is a challenging problem that arises in many applications in machine learning, control theory, and discrete geometry. This c...
Benjamin Recht, Weiyu Xu, Babak Hassibi
MMAS
2010
Springer
15 years 1 months ago
Balanced Truncation of Linear Second-Order Systems: A Hamiltonian Approach
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
Carsten Hartmann, Valentina-Mira Vulcanov, Christo...