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

Leony Ortiz Matos; Alexander Aguila Tellez

doi:10.1109/TLA.2016.7430067

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

Leony Ortiz Matos, Alexander Aguila Tellez

Research Group on Smart Electrical Grids (GIREI)

Research output: Contribution to journal › Article › peer-review

4 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 contribution	Modelado y Control de un Sistema Automatizado en Microscopía Quirúrgica Basado en Redes de Petri
Original language	English (US)
Pages (from-to)	96-101
Number of pages	6
Journal	IEEE Latin America Transactions
DOIs	https://doi.org/10.1109/TLA.2016.7430067
State	Published - 1 Jan 2016

Access to Document

10.1109/TLA.2016.7430067

Cite this

@article{01d31417801a4d0dbc51d1745291b5ac,

title = "Modeling and Control of an Automated System in Surgical Microscopy Based on Petri Nets",

abstract = "{\textcopyright} 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.",

author = "{Ortiz Matos}, Leony and {Aguila Tellez}, Alexander",

year = "2016",

month = jan,

day = "1",

doi = "10.1109/TLA.2016.7430067",

language = "English (US)",

pages = "96--101",

journal = "IEEE Latin America Transactions",

issn = "1548-0992",

publisher = "IEEE Computer Society",

}

TY - JOUR

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

AU - Ortiz Matos, Leony

AU - Aguila Tellez, Alexander

PY - 2016/1/1

Y1 - 2016/1/1

N2 - © 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.

AB - © 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.

UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84963779809&origin=inward

UR - https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=84963779809&origin=inward

U2 - 10.1109/TLA.2016.7430067

DO - 10.1109/TLA.2016.7430067

M3 - Article

SN - 1548-0992

SP - 96

EP - 101

JO - IEEE Latin America Transactions

JF - IEEE Latin America Transactions

ER -

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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this