Sciweavers

7778 search results - page 152 / 1556
» Designing Controllers for Reachability
Sort
View
114
Voted
SAINT
2005
IEEE
15 years 9 months ago
Design and Analysis of an e-Transaction Protocol Tailored for OCC
In this work we present a protocol ensuring the eTransaction guarantee (i.e. a recently proposed end-to-end reliability guarantee) in a Web based, three-tier transactional system....
Paolo Romano, Francesco Quaglia, Bruno Ciciani
131
Voted
SP
2002
IEEE
200views Security Privacy» more  SP 2002»
15 years 3 months ago
Design of a Role-Based Trust-Management Framework
We introduce the RT framework, a family of Rolebased Trust-management languages for representing policies and credentials in distributed authorization. RT combines the strengths o...
Ninghui Li, John C. Mitchell, William H. Winsborou...
136
Voted
CDC
2010
IEEE
158views Control Systems» more  CDC 2010»
14 years 10 months ago
Adaptive-based, scalable design for autonomous multi-robot surveillance
In this paper the problem of positioning a team of mobile robots for a surveillance task in a non-convex environment with obstacles is considered. The robots are equipped with glob...
Alessandro Renzaglia, Lefteris Doitsidis, Agostino...
CDC
2009
IEEE
194views Control Systems» more  CDC 2009»
15 years 6 months ago
Robust tube-based MPC for constrained mobile robots under slip conditions
— This paper focuses on the design of a robust tube-based Model Predictive Control law for the control of constrained mobile robots. A time-varying trajectory tracking error mode...
Ramon Gonzalez, Mirko Fiacchini, Jose Luis Guzman,...
122
Voted
AUTOMATICA
2005
82views more  AUTOMATICA 2005»
15 years 3 months ago
Hierarchical trajectory refinement for a class of nonlinear systems
Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper, we provide a constructive method for hierarchical trajectory refinement. ...
Paulo Tabuada, George J. Pappas