Sciweavers

13717 search results - page 79 / 2744
» Control Systems
Sort
View
96
Voted
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 7 months ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins
HYBRID
2007
Springer
15 years 9 months ago
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
Pau Martí, Manel Velasco
114
Voted
SIAMCO
2008
161views more  SIAMCO 2008»
15 years 2 months ago
Controllability and Observability of Second Order Descriptor Systems
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
Philip Losse, Volker Mehrmann
100
Voted
CDC
2008
IEEE
136views Control Systems» more  CDC 2008»
15 years 9 months ago
Reformulating negative imaginary frequency response systems to bounded-real systems
— This paper provides a reformulation of closed-loop systems that have negative imaginary frequency response to closed-loop systems that have bounded gain, so that theory and res...
Alexander Lanzon, Zhuoyue Song, Ian R. Petersen
129
Voted
SACMAT
2003
ACM
15 years 8 months ago
Cryptographic access control in a distributed file system
Traditional access control mechanisms rely on a reference monitor to mediate access to protected resources. Reference monitors are inherently centralized and existing attempts to ...
Anthony Harrington, Christian Damsgaard Jensen