15840 search results - page 553 / 3168 » The Control of Synchronous Systems |
189
click to vote
AMC
2006
15 years 7 months ago
2006
In this paper, stabilization problem via static output feedback controls for linear time-varying systems is investigated. Based on the Lyapunov function techniques, we show that f...
197
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
188
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
176
Voted
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Software-based usage controls typically are vulnerable to attacks. Trusted Platform Modules (TPMs) can enable much more robust controls. However, as conventionally understood, TPM...
167
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This paper describes a telepresence device called PortaPerson. This is the first project in a larger initiative known as the Connected Conference Room, which aims to improve the u...