Loading...
Please wait, while we are loading the content...
Similar Documents
An algebra of discrete event processes
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Meyer, George Heymann, Michael |
| Copyright Year | 1991 |
| Description | This report deals with an algebraic framework for modeling and control of discrete event processes. The report consists of two parts. The first part is introductory, and consists of a tutorial survey of the theory of concurrency in the spirit of Hoare's CSP, and an examination of the suitability of such an algebraic framework for dealing with various aspects of discrete event control. To this end a new concurrency operator is introduced and it is shown how the resulting framework can be applied. It is further shown that a suitable theory that deals with the new concurrency operator must be developed. In the second part of the report the formal algebra of discrete event control is developed. At the present time the second part of the report is still an incomplete and occasionally tentative working paper. |
| File Size | 3629433 |
| Page Count | 81 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19930014224 |
| Archival Resource Key | ark:/13960/t3fz2654q |
| Language | English |
| Publisher Date | 1991-06-01 |
| Access Restriction | Open |
| Subject Keyword | Numerical Analysis Automatic Control Controllability Control Theory Algebra Formalism Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
