Sciweavers

13717 search results - page 85 / 2744
» Control Systems
Sort
View
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 4 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
CDC
2008
IEEE
111views Control Systems» more  CDC 2008»
15 years 4 months ago
A Hamiltonian approximation method for the reduction of controlled systems
Abstract-- This paper considers the problem of model reduction for controlled systems. The paper considers a dual/adjoint formulation of the general optimization problem to minimiz...
Siep Weiland
AUTOMATICA
2002
124views more  AUTOMATICA 2002»
15 years 2 months ago
Predictive pole-placement control with linear models
The predictive pole-placement control method introduced in this paper embeds the classical pole-placement state feedback design into a quadratic optimisation based model-predictiv...
Peter J. Gawthrop, Eric Ronco
CDC
2010
IEEE
124views Control Systems» more  CDC 2010»
14 years 9 months ago
Underactuated control and distribution of multi-agent systems in stratified flow environments
The present paper shows how vertical actuation alone may be used to effectively control the spatial distribution of mobile vehicles ("balloons" in air, or "drifters&...
Robert H. Krohn, Thomas R. Bewley
RTSS
2005
IEEE
15 years 8 months ago
Decentralized Utilization Control in Distributed Real-Time Systems
Many real-time systems must control their CPU utilizations in order to meet end-to-end deadlines and prevent overload. Utilization control is particularly challenging in distribut...
Xiaorui Wang, Dong Jia, Chenyang Lu, Xenofon D. Ko...