Controller and observer synthesis in discrete event systems using stability concepts. - C. A. De-Jesus; Antonio Ramírez-Treviño (SMC, 2001)