Sciweavers

2713 search results - page 37 / 543
» Parameterized Tree Systems
Sort
View
84
Voted
CDC
2009
IEEE
103views Control Systems» more  CDC 2009»
15 years 5 months ago
A new decentralization technique for interconnected systems
— This paper deals with LTI interconnected systems whose subsystems have coupled dynamics. The objective is to decentralize a given centralized controller satisfying some prescri...
Javad Lavaei
68
Voted
UM
2005
Springer
15 years 6 months ago
An Economic Model of User Rating in an Online Recommender System
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
F. Maxwell Harper, Sherry Xin Li, Yan Chen, Joseph...
AUTOMATICA
2008
106views more  AUTOMATICA 2008»
15 years 1 months ago
Constructive stabilization for quadratic input nonlinear systems
In this paper stabilization of nonlinear systems with quadratic multi-input is considered. With the help of control Lyapunov function (CLF), a constructive parameterization of con...
Jianghua Zhong, Daizhan Cheng, Xiaoming Hu
96
Voted
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
15 years 6 months ago
UML 2.0 Profile for Embedded System Design
Unified Modeling Language (UML) 2.0 is emerging in the area of embedded system design. This paper presents a new UML 2.0 profile - called TUT-Profile - that introduces a set of st...
Petri Kukkala, Jouni Riihimäki, Marko Hä...
115
Voted
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
15 years 6 months ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter