Sciweavers

2377 search results - page 161 / 476
» Hybrid Systems in TLA
Sort
View
IRI
2007
IEEE
16 years 24 days ago
ARBAC07: A Role-based Administration Model for RBAC with Hybrid Hierarchy
Recently, administration of RBAC systems using rolebased approach has become very appealing because of the benefits that a role-based approach typically brings. This approach uses...
Yue Zhang 0002, James B. D. Joshi
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 9 months ago
The hybrid intelligent control for the fused magnesia production
—The electro-fused magnesia furnace is one of the main equipments used to produce electro-fused magnesia which is high performance refractory. Due to the multivariable, strong no...
Yongjian Wu, Zhiwei Wu, Bin Dong, Li Zhang, Tianyo...
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
15 years 10 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
HYBRID
2000
Springer
15 years 10 months ago
Controlled Invariance of Discrete Time Systems
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
René Vidal, Shawn Schaffert, John Lygeros, ...
AAAI
2000
15 years 7 months ago
Bayesian Fault Detection and Diagnosis in Dynamic Systems
This paper addresses the problem of tracking and diagnosing complex systems with mixtures of discrete and continuous variables. This problem is a difficult one, particularly when ...
Uri Lerner, Ronald Parr, Daphne Koller, Gautam Bis...