A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security

A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in the systems behavior and investigate when these changes could be diagnosed by an external observer by exploiting some techniques originally developed for reasoning on system security.

• Type: Journal
• Year: 2010
• Where: FUIN
• Authors: Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska
• Keywords: Biological Systems, Formal Model, FUIN 2010, Systems