Sciweavers

1090 search results - page 54 / 218
» Case Study: Componentization of an Industrial Control System
Sort
View
HYBRID
1994
Springer
14 years 1 months ago
HYTECH: The Cornell HYbrid TECHnology Tool
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
Thomas A. Henzinger, Pei-Hsin Ho
IWANN
1995
Springer
14 years 17 days ago
EL-SIM: a Development Environment for Neuro-Fuzzy Intelligent Controllers
1 This paper presents a new technique for the design of real-time controllers based on a hybrid approach which integrates several control strategies, such as intelligent controlle...
Marcello Chiaberge, G. Di Bene, S. Di Pascoli, R. ...
AMC
2006
75views more  AMC 2006»
13 years 9 months ago
Common stabilizers for linear control systems in the presence of actuators outage
This paper presents common stabilizers for linear control systems when actuators happen to fail. The possible outage of actuators examined in this study are not confined to a pre-s...
Yew-Wen Liang, Der-Cherng Liaw
CORR
2007
Springer
76views Education» more  CORR 2007»
13 years 9 months ago
Optimizing diversity
We consider the problem of minimizing the size of a set system G such that every subset of {1, . . . , n} can be written as a disjoint union of at most k members of G, where k and...
Yannick Frein, Benjamin Lévêque, Andr...
DATE
2002
IEEE
89views Hardware» more  DATE 2002»
14 years 2 months ago
A Hierarchical Test Scheme for System-On-Chip Designs
System-on-chip (SOC) design methodology is becoming the trend in the IC industry. Integrating reusable cores from multiple sources is essential in SOC design, and different design...
Jin-Fu Li, Hsin-Jung Huang, Jeng-Bin Chen, Chih-Pi...