Modelado y Control de un Sistema Automático de microscopía quirúrgica basado en Redes de Petri (Modeling and Control of an Automated System in Surgical Microscopy Based on Petri Nets)

Leony Ortíz Matos (lortizm@ups.edu.ec)1, Alexander Águila Téllez (aaguila@ups.edu.ec)1


1Universidad Politécnica Salesiana.

This paper appears in: Revista IEEE América Latina

Publication Date: Jan. 2016
Volume: 14,   Issue: 1 
ISSN: 1548-0992


Abstract:
This scientific study makes reference to the modeling, control, and failure diagnosis based on Petri-Net based machine (PN) system. The described system incorporates an automated ophthalmic surgical microscope which is utilized here. The approach for its design and function concerns control logic based applications, particularly, extended Hierarchical Petri Nets GHENeSys and language programming for the coordination of timed continuous activities and the use of CCS compiler. Due to the fact that the control system is based on discrete events, a formal PN system model was adopted. The aim to verify the feasibility of the functional properties and structure of the model is proposed in order to achieve greater efficiency in the control design as well as considering a failure-tolerant control system.

Index Terms:
Petri Net, Control, Failure Diagnosis, Biomedical, Ophthalmic Surgical Microscope   


Documents that cite this document
This function is not implemented yet.


[PDF Full-Text (2200)]