69 search results - page 2 / 14 » Sequential synthesis using S1S |
ISER
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
DATE
2005
IEEE
13 years 11 months ago
2005
IEEE
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
ICCD
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a methodology to transfer self-timed circuit specifications into sequential quantum Boolean circuits (SQBCs) and composable SQBCs (CQBCs). State graphs (SGs) a...
CDC
2008
IEEE
13 years 12 months ago
2008
IEEE
— We consider the problem of designing controllers for spatially-varying interconnected systems distributed in one spatial dimension. The matrix structure of such systems can be ...
DAC
1996
ACM
13 years 9 months ago
1996
ACM
- The problem of stochastic sequential machines (SSM) synthesis is addressed and its relationship with the constrained sequence generation problem which arises during power estimat...