Sciweavers

1578 search results - page 68 / 316
» Self-healing systems - survey and synthesis
Sort
View
FDL
2007
IEEE
14 years 2 months ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
HYBRID
2007
Springer
14 years 2 months ago
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Georgios E. Fainekos, Antoine Girard, George J. Pa...
IJSYSC
2000
86views more  IJSYSC 2000»
13 years 8 months ago
Synthesis of minimax optimal controllers for uncertain time-delay systems with structured uncertainty
This paper is concerned with the design of robust state feedback controllers for a class of uncertain time-delay systems. The uncertainty is assumed to satisfy a certain integral ...
S. O. Reza Moheimani, Andrey V. Savkin, Ian R. Pet...
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
14 years 12 days ago
CRUSADE: Hardware/Software Co-Synthesis of Dynamically Reconfigurable Heterogeneous Real-Time Distributed Embedded Systems
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
Bharat P. Dav