Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Resilience to Failures and Reconfigurations in the Supervision Based on Place Invariants
 

Summary: Resilience to Failures and Reconfigurations in the Supervision
Based on Place Invariants
Marian V. Iordache and Panos J. Antsaklis
Abstract-- The supervision based on place invariants (SBPI)
is a very efficient technique for the enforcement of linear mark-
ing constraints on Petri nets. In this paper we first outline the
SBPI and the extension of the SBPI for liveness enforcement.
Then we discuss the qualities and limitations of these methods
from a fault tolerance/reconfigurations perspective.
I. INTRODUCTION
The supervision based on place invariants (SBPI) [1], [2],
[3] constrains the marking of a plant Petri net (PN) to
satisfy specifications of the form
L b (1)
where L Zncm
, b Znc
, Z is the set of integers, m
is the number of places of the PN, and nc the number of
constraints. This class of specifications is powerful enough
for many applications [3]. In particular, in the case of safe

  

Source: Antsaklis, Panos - Department of Electrical Engineering, University of Notre Dame

 

Collections: Engineering