Sciweavers

AUTOMATICA
2006
81views more  AUTOMATICA 2006»
13 years 11 months ago
Discrete state estimators for systems on a lattice
We address the problem of estimating discrete variables in a class of deterministic transition systems in which the continuous variables are available for measurement. We propose ...
Domitilla Del Vecchio, Richard M. Murray, Eric Kla...
35
Voted
REX
1993
14 years 3 months ago
Relationships Between Models of Concurrency
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel