Abstract:
In this paper we propose an effective method based on basis marking analysis to verify the controllability of a given language specification in Petri nets. We compute the...Show MoreMetadata
Abstract:
In this paper we propose an effective method based on basis marking analysis to verify the controllability of a given language specification in Petri nets. We compute the product, i.e., the concurrent composition, of the plant and of the specification nets and enumerate a subset of its reachable states, called basis markings. Each of these basis markings can be classified as controllable or uncontrollable by solving an integer programming problem. We show that the specification is controllable if and only if no basis marking is uncontrollable. The method can lead to practically efficient verification because it does not require an exhaustive enumeration of the state space.
Published in: 2015 54th IEEE Conference on Decision and Control (CDC)
Date of Conference: 15-18 December 2015
Date Added to IEEE Xplore: 11 February 2016
ISBN Information: