On the realization of reactive systems

Consultar RECERCAT

Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/97889

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor.author	Carmona Vargas, Josep
dc.contributor.author	Cortadella, Jordi
dc.date	2001-05
dc.identifier.citation	Carmona, J., Cortadella, J. "On the realization of reactive systems". 2001.
dc.identifier.uri	http://hdl.handle.net/2117/97889
dc.language.iso	eng
dc.relation	LSI-01-24-R
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica
dc.subject	Reactive systems
dc.subject	Realization
dc.subject	Transition systems
dc.title	On the realization of reactive systems
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/report
dc.description.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.

Carmona Vargas, Josep; Cortadella, Jordi

Carmona Vargas, Josep; Cortadella, Jordi; Pastor Llorens, Enric

Carmona Vargas, Josep; Cortadella, Jordi

Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex

Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael

Coordinació

Patrocini