Sciweavers

1495 search results - page 85 / 299
» Modeling and controllability for a class of hybrid mechanica...
Sort
View
ACSD
2005
IEEE
169views Hardware» more  ACSD 2005»
14 years 2 months ago
Automating Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
Jordi Cortadella, Kyller Costa Gorgônio, Fei...
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
13 years 9 months ago
Barrier certificates for nonlinear model validation
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
Stephen Prajna
TSMC
2008
86views more  TSMC 2008»
13 years 8 months ago
Object Worlds in Work Domain Analysis: A Model of Naval Damage Control
Abstract--This paper presents a work domain analysis of damage control on the Canadian Halifax Class frigate. Our analysis made use of the modeling construct of object worlds to he...
G. L. Torenvliet, G. A. Jamieson, R. Chow
CCS
2007
ACM
14 years 3 months ago
Administration in role-based access control
Administration of large-scale RBAC systems is a challenging open problem. We propose a principled approach in designing and analyzing administrative models for RBAC. We identify s...
Ninghui Li, Ziqing Mao
CDC
2010
IEEE
166views Control Systems» more  CDC 2010»
13 years 3 months ago
A numerical method for the optimal control of switched systems
Switched dynamical systems have shown great utility in modeling a variety of systems. Unfortunately, the determination of a numerical solution for the optimal control of such syste...
Humberto González, Ramanarayan Vasudevan, M...