Sciweavers

2713 search results - page 37 / 543
» Parameterized Tree Systems
Sort
View
CDC
2009
IEEE
103views Control Systems» more  CDC 2009»
14 years 2 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
UM
2005
Springer
14 years 3 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»
13 years 10 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
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
14 years 3 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ä...
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
14 years 3 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