The Description Implementation and Performance Evaluation ofDiscrete Event Systems
{'Code': '07010000', 'Directorate': {'Abbreviation': 'ENG', 'LongName': 'Directorate For Engineering'}, 'Division': {'Abbreviation': 'ECCS', 'LongName': 'Div Of Electrical, Commun & Cyber Sys'}}
{'SignBlockName': 'Radhakisan Baheti', 'PO_EMAI': None, 'PO_PHON': None}
There is a growing need for new classes of models for systems                   constructed from modules of interacting discrete events such as                 manufacturing systems, communication networks or computer operating             systems.  Such models are also needed for systems described by                  continuous variables supervised by computer-based controllers which             alter their actions when they are triggered by certain discrete                 events.  These models are called discrete event models or DEMs.                                                                                                 This proposal introduces a new class of discrete event models called            Finitely Recursive Processes (FRP).  These models are motivated by              problems in supervisory control while some of the formal structure is           based on Hoare's Communicating Sequential Processes.                                                                                                            PI proposes research in four directions.  First, consolidate and                extend the descriptive power of FRPs.  This research is relatively              straightforward since his work so far has concentrated on the                   descriptive power of FRPs.  Second, investigate how FRPs can be used            to assist in the implementation of supervisory control.  He proposes            to develop a LISP-based scheme for doing this,  Third, extend FRPs so           that they can be used for the performance evaluation of discrete event          systems.  This will require embedding FRPs in a real-time environment.          For this purpose, he proposes to augment the fundamental notions of             events and processes in FRPs with real-time attributes following the            work of Knuth on attribute grammars.  Fourth, develop a supervisory             control for a complex, real-world application.
{'FirstName': 'Pravin', 'LastName': 'Varaiya', 'PI_MID_INIT': 'P', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Pravin P Varaiya', 'EmailAddress': 'varaiya@eecs.berkeley.edu', 'NSF_ID': '000194063', 'StartDate': '03/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of California-Berkeley', 'CityName': 'BERKELEY', 'ZipCode': '947101749', 'PhoneNumber': '5106433891', 'StreetAddress': '1608 4TH ST STE 201', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '12', 'CONGRESS_DISTRICT_ORG': 'CA12', 'ORG_UEI_NUM': 'GS3YEVSS12N6', 'ORG_LGL_BUS_NAME': 'REGENTS OF THE UNIVERSITY OF CALIFORNIA, THE', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '1454', 'Text': 'SYSTEMS THEORY'}, {'Code': '1518', 'Text': 'CONTROL, NETWORKS, & COMP INTE'}, {'Code': '5514', 'Text': 'OPERATIONS RESEARCH'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8719779.xml'}