Model-based diagnosis of controllers for data risk overflow

  • Authors:

  • Calin Ciufudean;Constantin Filote;Dumitru Amarandei

  • Affiliations:

  • Stefan cel Mare University, Suceava, Romania;Stefan cel Mare University, Suceava, Romania;Stefan cel Mare University, Suceava, Romania

  • Venue:
  • ACMOS'08 Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

An important characteristic of data transmission systems (DTS's) is modularity. Since high transfer lines are widely used and constitute an important subclass of DTS's, in this paper we focus on formal analysis of logic controllers for high volume transfer lines. We propose a systematic approach to model and to verify the space size of the logic controllers using Petri nets. We consider that Petri net models of DTS's can be decomposed in a few typical modules and the analysis of the entire system is made following a bottom-up algorithm. We have chosen to model the logic controllers with Petri nets, in order to take advantage of well developed theories for analysis and verification.