By Topic

Verification of Nonconflict of Supervisors Using Abstractions

Sign In

Full text access may be available.

To access full text, please use your member or institutional sign in.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
PatrÍcia N. Pena ; Dept. de Eng. Eletron. (DELT), Univ. Fed. de Minas Gerais (UFMG), Belo Horizonte, Brazil ; JosÉ E. R. Cury ; StÉphane Lafortune

This paper presents an efficient test that uses abstractions to detect conflict in composed systems controlled by local supervisors. This test, called nonconflict test, is not applied over the languages generated by the supervisors, but over abstractions of the supervisors with some specific characteristics. The concept of observer and the definition of the set of relevant events are the basis for the approach. Two strategies to define the set of relevant events are presented, along with illustrative examples. The paper also introduces a combined strategy, which consists of applying the two strategies in sequence leading, in many cases, to better reductions than when applying each strategy independently. An example is presented to illustrate the combined strategy.

Published in:

IEEE Transactions on Automatic Control  (Volume:54 ,  Issue: 12 )