Modeling and Control of an Automated System in Surgical Microscopy Based on Petri Nets

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

© 2003-2012 IEEE. 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.
Translated title of the contributionModelado y Control de un Sistema Automatizado en Microscopía Quirúrgica Basado en Redes de Petri
Original languageEnglish (US)
Pages (from-to)96-101
Number of pages6
JournalIEEE Latin America Transactions
DOIs
StatePublished - 1 Jan 2016

Fingerprint

Dive into the research topics of 'Modeling and Control of an Automated System in Surgical Microscopy Based on Petri Nets'. Together they form a unique fingerprint.

Cite this