Sciweavers

936 search results - page 120 / 188
» FSM-Hume is finite state
Sort
View
ICDAR
1995
IEEE
14 years 18 days ago
Efficient analysis of complex diagrams using constraint-based parsing
This paper describes substantial advances in the analysis (parsing) of diagrams using constraint grammars. The addition of set types to the grammar and spatial indexing of the dat...
Robert P. Futrelle, Nikos Nikolakis
CONCUR
2008
Springer
13 years 10 months ago
Dynamic Partial Order Reduction Using Probe Sets
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
Harmen Kastenberg, Arend Rensink
AUTOMATICA
2006
74views more  AUTOMATICA 2006»
13 years 9 months ago
Distributed receding horizon control for multi-vehicle formation stabilization
We consider the control of interacting subsystems whose dynamics and constraints are decoupled, but whose state vectors are coupled non-separably in a single cost function of a fi...
William B. Dunbar, Richard M. Murray
IANDC
2008
112views more  IANDC 2008»
13 years 9 months ago
Inclusion dynamics hybrid automata
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
Alberto Casagrande, Carla Piazza, Alberto Policrit...
MOR
2006
79views more  MOR 2006»
13 years 9 months ago
The Value of Markov Chain Games with Lack of Information on One Side
We consider a two-player zero-sum game given by a Markov chain over a finite set of states K and a family of zero-sum matrix games (Gk)kK. The sequence of states follows the Marko...
Jérôme Renault