Sciweavers

11017 search results - page 339 / 2204
» Closure Systems and their Structure
Sort
View
ITSSA
2006
80views more  ITSSA 2006»
15 years 6 months ago
Self-Configuring Socio-Technical Systems: Redesign at Runtime
: Modern information systems are becoming more and more socio-technical systems, namely systems composed of human (social) agents and software (technical) systems operating togethe...
Volha Bryl, Paolo Giorgini
SCL
2008
150views more  SCL 2008»
15 years 6 months ago
Interconnection of Kronecker canonical form and special coordinate basis of multivariable linear systems
This paper establishes a straightforward interconnection between the Kronecker canonical form and the special coordinate basis of linear systems. Such an interconnection yields an...
Ben M. Chen, Xinmin Liu, Zongli Lin
DAGSTUHL
2007
15 years 8 months ago
Spatially Distributed Normative Objects
Organisational structures for multi-agent systems are usually defined independently of any spatial and temporal structure. Therefore, when the multi-agent system is situated in a ...
Fabio Y. Okuyama, Rafael H. Bordini, Antônio...
RTA
2005
Springer
16 years 8 days ago
Universal Algebra for Termination of Higher-Order Rewriting
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
Makoto Hamana
HYBRID
2010
Springer
15 years 8 months ago
Identifiability of discrete-time linear switched systems
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
Mihály Petreczky, Laurent Bako, Jan H. van ...