On the realization of reactive systems

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/97889

Title:	On the realization of reactive systems
Author:	Carmona Vargas, Josep; Cortadella, Jordi
Other authors:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Abstract:	A new notion of realization of reactive systems is defined. Realization is defined as a relation between the states of two transition systems, the specification and the implementation, in which events are classified as input, output or internal. This new definition attempts to model the correct interaction between a system and its environment. The differences with other definitions of refinement and realization are discussed.
Subject(s):	-Àrees temàtiques de la UPC::Informàtica -Reactive systems -Realization -Transition systems
Rights:
Document type:	Article - Published version Report
Share: