Petri Net and Oo for the Modular Analysis of an Aircraft Landing System

  • Dept. Eng. Mecatrônica e de Sistemas Mecânicos, São Paulo Brasil evillani, Eng. Mecatrônica e de Sistemas Mecânicos, São Paulo Brasil pemiyagi, LAAS
  • Published 2003

Abstract

This work considers the combined used of Petri nets and object-oriented concepts for the modelling and analysis of control systems. The object modularity is explored in order to deal with the system complexity in both modelling and analysis. According to the proposed approach, the verification of behaviour properties is reduced from a complex proof… (More)

4 Figures and Tables

Topics

  • Presentations referencing similar topics