2377 search results - page 31 / 476 » Hybrid Systems in TLA |
TEI
2012
ACM
12 years 2 months ago
2012
ACM
A prevalent assumption behind interface approaches that employ physical means of interaction is that this leverages users’ prior knowledge from the real world. This paper scruti...
STTT
2008
13 years 7 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
HYBRID
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
MFCS
1995
Springer
13 years 11 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
ICARCV
2008
IEEE
14 years 1 months ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...