Sciweavers

5690 search results - page 308 / 1138
» A Position Control System Design
Sort
View
ISQED
2009
IEEE
117views Hardware» more  ISQED 2009»
15 years 11 months ago
Adaptive voltage controlled nanoelectronic addressing for yield, accuracy and resolution
An outstanding challenge for realizing nanoelectronic systems is nano-interface design, i.e., how to precisely access a nanoscale wire in an array for communication between a nano...
Bao Liu
141
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 9 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
HICSS
2002
IEEE
109views Biometrics» more  HICSS 2002»
15 years 9 months ago
Multi-settlement Systems for Electricity Markets: Zonal Aggregation under Network Uncertainty and Market Power
We analyze alternative market designs for a multisettlement system for electricity in which the resolution of the transmission network model is increased as time approaches real-t...
Rajnish Kamat, Shmuel S. Oren
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 11 months ago
On the structure of graph edge designs that optimize the algebraic connectivity
— We take a structural approach to the problem of designing the edge weights in an undirected graph subject to an upper bound on their total, so as to maximize the algebraic conn...
Yan Wan, Sandip Roy, Xu Wang, Ali Saberi, Tao Yang...
FDL
2008
IEEE
15 years 11 months ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...