Sciweavers

13717 search results - page 655 / 2744
» Control Systems
Sort
View
CDC
2010
IEEE
137views Control Systems» more  CDC 2010»
15 years 2 months ago
Left invertibility of output-quantized systems: An application to cryptography
ABSTRACT. In this paper a secure communication method is proposed, based on left invertibility of output-quantized dynamical systems. The sender uses an output-quantized linear sys...
Nevio Dubbini, Anna Carluccio, Antonio Bicchi
199
Voted
CCS
2006
ACM
15 years 11 months ago
Safety analysis of usage control authorization models
The usage control (UCON) model was introduced as a unified approach to capture a number of extensions for traditional access control models. While the policy specification flexibi...
Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Pre...
CDC
2008
IEEE
116views Control Systems» more  CDC 2008»
16 years 1 months ago
Stability of Zeno equilibria in Lagrangian hybrid systems
— This paper presents both necessary and sufficient conditions for the stability of Zeno equilibria in Lagrangian hybrid systems, i.e., hybrid systems that model mechanical syst...
Yizhar Or, Aaron D. Ames
221
Voted
RTAS
2003
IEEE
16 years 17 days ago
Feedback Control Real-Time Scheduling in ORB Middleware
Existing real-time ORB middleware standards such as RT-CORBA do not adequately address the challenges of 1) providing robust performance guarantees portably across different platf...
Chenyang Lu, Xiaorui Wang, Christopher D. Gill
235
Voted
SAC
2002
ACM
15 years 7 months ago
Concurrency control for distributed cooperative engineering applications
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operatio...
João Coelho Garcia, Paulo Ferreira