INVESTIGADORES
FRIAS Marcelo Fabian
congresos y reuniones científicas
Título:
A PPML Solution for the Steam Boiler Control Problem
Autor/es:
DIAZ, JAVIER; BAUM, GABRIEL; FRIAS, MARCELO FABIAN
Lugar:
Tandil, Provincia de Buenos Aires, Argentina
Reunión:
Congreso; WAIT 2000, Workshop Argentino en Informática Teórica; 2000
Institución organizadora:
SADIO
Resumen:
The logic P/PML (Product/Process Modelling Logic) is a formalism deviced towards the specification of (industrial) processes with a real-time component.. In this paper we apply P/PML to the specification of the steam boiler control problem. Furthermore, we derive (through refinements) an implementation for this process.
