Control of Discrete Event Systems

Simple item page
dc.contributor.authorKošecká, Jana
dc.date2023-05-17T01:15:02.000
dc.date.accessioned2023-05-22T12:57:17Z
dc.date.available2023-05-22T12:57:17Z
dc.date.issued1992-04-01
dc.date.submitted2007-08-21T07:43:25-07:00
dc.description.abstractDiscrete Event Systems (DES) are a special type of dynamic systems. The "state" of these systems changes only at discrete instants of time and the term "event" is used to represent the occurrence of discontinuous changes (at possibly unknown intervals). Different Discrete Event Systems models are currently used for specification, verification, synthesis as well as for analysis and evaluation of different qualitative and quantitative properties of existing physical systems. The main focus of this paper is the presentation of the automata and formal language model for DES introduced by Raniadge and Wonham in 1985. This model is suitable for the examination of some important control theoretic issues, such as controllability and observability from the qualitative point of view, and provides a good basis for modular synthesis of controllers. We will also discuss an Extended State Machine and Real-Time Temporal Logic model introduced by Ostroff and Wonham in [OW87]. It incorporates an explicit notion of time and means for specification and verification of discrete event systems using a temporal logic approach. An attempt is made to compare this model of DES with other ones.
dc.description.commentsUniversity of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-92-35.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/7461
dc.legacy.articleid1542
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1542&context=cis_reports&unstamped=1
dc.source.issue523
dc.source.journalTechnical Reports (CIS)
dc.source.statuspublished
dc.titleControl of Discrete Event Systems
dc.typeReport
digcom.contributor.authorKošecká, Jana
digcom.identifiercis_reports/523
digcom.identifier.contextkey346618
digcom.identifier.submissionpathcis_reports/523
digcom.typereport
dspace.entity.typePublication
upenn.schoolDepartmentCenterTechnical Reports (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
92_35.pdf
Size:
1.9 MB
Format:
Adobe Portable Document Format
Download
Collection
Reports