3199 search results - page 354 / 640 » Variability in Automation System Models |
154
click to vote
HYBRID
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
160
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, the critical clearing time, tcc in power system transient stability analysis is modeled as a random variable due to the randomness nature of power system load. A lin...
199
click to vote
CLIMA
2006
15 years 8 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
165
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
191
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We present the first user study of out-of-turn interaction in menu-based, interactive voice-response systems. Out-ofturn interaction is a technique which empowers the user (unable...