The dynamics of a two-layer bistable coupled map lattice (CML) is investigated. A methodology for the construction of invariant domains in the phase space is developed and applied to the study of pattern formation and inter-layer synchronization. Sufficient conditions for global synchronization are obtained. The phenomena of pattern interaction and replication of form is also investigated. Finally, possible instabilities of the synchronization mode and on–off-diagonal attractors are analyzed.