Discrete event systems : models and applications : IIASA Conference Sopron, Hungary, August 3 7, 1987
Research in discrete systems is expanding rapidly, and specialized languages are proliferating. This book is a remarkable attempt to bring together researchers from a diverse range of application areas. This is the proceeding of a workshop on Discrete Event Systems Models. The 30 participants includ...
Đã lưu trong:
| Tác giả khác: | , |
|---|---|
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in control and information sciences
103 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
Actes d'un séminaire tenu à Sopron du 3 au 7 août 1987, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Discrete event systems, models and applications, IIASA Conference on "Discrete Event Systems," Sopron, Hungary, August 3-7, 1987, Berlin, Springer-Verlag, 1988, 1 volume (VII-282 pages), Lecture notes in control and information sciences, 0-387-18666-2 • Discrete Event Systems: Models and Applications, Texte imprimé, 9783662198575 |
Mục lục:
- Finitely Recursive Processes
- Reducibility in analysis of coordination
- Distributed reachability analysis for protocol verification environments
- A tool for the automated verification of eccs specifications of osi protocols
- Supervisory control of discrete event systems: A survey and some new results
- Using trace theory to model discrete events
- Protocol verification using discrete-event models
- Analysis and control of discrete event systems represented by petri nets
- Data flow programming for parallel implementation of digital signal processing systems
- On an analogy of minimal realizations in conventional and discrete-event dynamic systems
- Representation, analysis and simulation of manufacturing systems by Petri net based models
- The SMARTIE framework for modelling discrete dynamic systems
- A hierarchical framework for discrete event scheduling in manufacturing systems
- A selected and annotated bibliography on perturbation analysis
- Analog events and a dual computing structure using analog and digital circuits and operators
- Robust identification of discrete-time stochastic systems
- Derivatives of probability measures-concepts and applications to the optimization of stochastic systems
- The separation of jets and some asymptotic properties of random sequences.