50 search results - page 3 / 10 » The Concept of Deadlock and Livelock in Hybrid Control Syste... |
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
We address several challenges for applying statistical dialog managers based on Partially Observable Markov Models to real world problems: to deal with large numbers of concepts, ...
HYBRID
2004
Springer
13 years 11 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
TSP
2010
13 years 29 days ago
2010
This paper is first in a series of papers studying a system-theoretic approach to the problem of reconstructing an analog signal from its samples. The idea, borrowed from earlier t...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
ENTCS
2007
13 years 6 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...