By Topic

Analysis and synthesis procedures of discrete event systems in a temporal logic framework

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $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

2 Author(s)
Lin, Jing-Yue ; Dept. of Electr. Eng., Ottawa Univ., Ont., Canada ; Ionescu, D.

A model, based on event structures, a set of temporal logic formulas, an initial state, and a labeling function, for the characterization of discrete event systems (DES) is proposed and used for the investigation of system properties such as verification and reachability. For the synthesis procedure, as applied to DES, a composition rule of 2 systems is developed, and a controller design procedure is introduced. An example of a computer file system is used to illustrate this approach

Published in:

Intelligent Control, 1992., Proceedings of the 1992 IEEE International Symposium on

Date of Conference:

11-13 Aug 1992