Browsing by Author "Pena, Patricia N."

Now showing items 1-4 of 4

Conflicts and projections

Malik, Robi; Flordal, Hugo; Pena, Patricia N. (IFAC, 2007)

This paper studies abstraction methods suitable to verify very large models of discrete-event systems to be nonconflicting. It compares the observer property to methods known from process algebra, namely to conflict ...
Generalised verification of the observer property in discrete event systems

Bravo, H. J.; da Cunha, A. E. C.; Pena, Patricia N.; Malik, Robi; Cury, José E. R. (IFAC, 2012)

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a ...
Optimal task scheduling in a flexible manufacturing system using model checking

Malik, Robi; Pena, Patricia N. (2018)

This paper demonstrates the use of model checking to solve the problem of optimal task scheduling in a flexible manufacturing system. The system is modelled as a discrete event system, for which the least restrictive safe ...
Verification of the observer property in discrete event systems

Pena, Patricia N.; Bravo, H. J.; da Cunha, A. E. C.; Malik, Robi; Lafortune, S.; Cury, José E. R. (Institute of Electrical and Electronics Engineers Inc., 2014)

The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through ...