Sciweavers

5200 search results - page 223 / 1040
» Symbolic models for control systems
Sort
View
IROS
2008
IEEE
119views Robotics» more  IROS 2008»
14 years 3 months ago
Robust stability analysis of a bilateral teleoperation system using the parameter space approach
— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
Angelika Peer, Martin Buss
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
14 years 1 months ago
A mechanism design approach to the stabilization of networked dynamical systems
— In this paper we study the problem of stabilizing a networked control system (NCS) composed of N linear dynamical subplants and an equal number of controllers acting over a sha...
Luca Galbusera, Nicola Gatti, Carlo Romani
CIKM
2005
Springer
14 years 2 months ago
A function-based access control model for XML databases
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...
Naizhen Qi, Michiharu Kudo, Jussi Myllymaki, Hamid...
POLICY
2004
Springer
14 years 2 months ago
Policy-Based Autonomic Control Service
Recently, there has been a considerable interest in policy-based, goal-oriented service management and autonomic computing. Much work is still required to investigate designs and ...
N. Badr, A. Taleb-Bendiab, D. Reilly
ECAI
2010
Springer
13 years 10 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer