Sciweavers

1495 search results - page 100 / 299
» Modeling and controllability for a class of hybrid mechanica...
Sort
View
ICRA
2006
IEEE
117views Robotics» more  ICRA 2006»
14 years 3 months ago
Novel Design and Modeling of a Mobile Parallel Manipulator
— A novel design of a mobile parallel manipulator (MPM), which is composed by a multi-degree of freedom (DOF) parallel robot and an autonomous wheeled mobile platform, is propose...
Yangmin Li, Qingsong Xu, Yugang Liu
CDC
2009
IEEE
177views Control Systems» more  CDC 2009»
14 years 1 months ago
A control theoretic approach to noncooperative game design
— This paper investigates design of noncooperative games from a control theoretic perspective. Pricing mechanisms are used as a design tool to ensure that the Nash equilibrium of...
Tansu Alpcan, Lacra Pavel, Nem Stefanovic
CADE
2008
Springer
14 years 9 months ago
Towards SMT Model Checking of Array-Based Systems
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
IWPC
2008
IEEE
14 years 3 months ago
Identifying Architectural Change Patterns in Object-Oriented Systems
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...
Xinyi Dong, Michael W. Godfrey
FASE
2008
Springer
13 years 10 months ago
Automated Analysis of Permission-Based Security Using UMLsec
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
Jan Jürjens, Jörg Schreck, Yijun Yu