Sciweavers

1578 search results - page 68 / 316
» Self-healing systems - survey and synthesis
Sort
View
FDL
2007
IEEE
16 years 16 days 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
16 years 10 days ago
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Georgios E. Fainekos, Antoine Girard, George J. Pa...
IJSYSC
2000
86views more  IJSYSC 2000»
15 years 6 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»
15 years 10 months 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