2467 search results - page 159 / 494 » Finite State Machines |
149
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Abstract-- We address a new problem--the invertibility problem for continuous-time switched linear systems, which is the problem of recovering the switching signal and the input un...
161
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
157
click to vote
ORL
2006
15 years 6 months ago
2006
For undiscounted two-person zero-sum communicating stochastic games with finite state and action spaces, a solution procedure is proposed that exploits the communication property,...
216
click to vote
UPP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...
154
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...