Home
Scholarly Works
Use of a Metric in Supervisory Control of...
Conference

Use of a Metric in Supervisory Control of Probabilistic Discrete Event Systems

Abstract

This work represents a natural extension of our work on optimal probabilistic supervisory control of probabilistic discrete event systems (PDESs). In that work, a pseudometric on the initial states of two probabilistic generators that represent probabilistic systems is used to measure the distance between the two systems. The pseudometric is given a fixed point characterization. This paper gives a logical characterization of the same pseudometric such that the distance between two systems is measured by a formula that distinguishes between the systems the most. A trace characterization of the pseudometric is then derived from the logical characterization. Further, the solution of the problem of approximation of a given probabilistic generator with another generator of a prespecified structure is suggested such that the new model is as close as possible to the original one in the pseudometric. The significance of the approximation is then discussed.

Authors

Pantelic V; Lawford M

Volume

43

Pagination

pp. 217-222

Publisher

Elsevier

Publication Date

January 1, 2010

DOI

10.3182/20100830-3-de-4013.00037

Conference proceedings

IFAC-PapersOnLine

Issue

12

ISSN

2405-8963
View published work (Non-McMaster Users)

Contact the Experts team