Skip to main content
SpringerLink
Log in
Book cover

11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems

Sophia-Antipolis, June 15-16-17, 1994

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Guy Cohen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Pierre Quadrat
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Control and Information Sciences (LNCIS, volume 199)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (69 papers)

  1. Front Matter

    Download chapter PDF

  2. Logical aspects of control of discrete-event systems: A survey of tools and techniques

    • John G. Thistle
    Pages 1-15

  3. Automata-theoretic verification of coordinating processes

    • R. P. Kurshan
    Pages 16-28

  4. Hierarchical COCOLOG for finite machines

    • Y. J. Wei, P. E. Caines
    Pages 29-38

  5. Nondeterministic supervision under partial observations

    • Kemal Inan
    Pages 39-48

  6. Avoiding blocking in prioritized synchronization based control of nondeterministic systems

    • Ratnesh Kumar, Mark A. Shayman
    Pages 49-58

  7. Supervisory control for nondeterministic systems

    • Ard Overkamp
    Pages 59-65

  8. Effective control of logical discrete event systems in a trace theory setting using the reflection operator

    • Rein Smedinga
    Pages 66-72

  9. Diagnosability of discrete event systems

    • Meera Sampath, Raja Sengupta, Stéphane Lafortune, Kasim Sinnamohideen, Demosthenis Teneketzis
    Pages 73-79

  10. On the supremal L m -closed and the supremal L m -closed and L-controllable sublanguages of a given language

    • Roberto M. Ziller, José E. R. Cury
    Pages 80-85

  11. Continuous-time supervisory synthesis for distributed-clock discrete-event processes

    • S. D. O'Young
    Pages 86-92

  12. Conditions for optimization of discrete event systems using temporal logic models

    • Dan Ionescu
    Pages 93-100

  13. Partial difference equation extensions to automata regulator theory

    • Qingsheng Yuan, Albert D. Baker
    Pages 101-106

  14. An algebraic temporal logic approach to the forbidden state problem in discrete event control

    • KiamTian Seow, R. Devanathan
    Pages 107-114

  15. Automata timing specification

    • D. Delfieu, A. E. K. Sahraoui
    Pages 115-121

  16. Synthesis of static controllers for forbidden states problems in Boolean C/E systems using the Boolean differential calculus

    • Stefan Kowalewski
    Pages 122-128

  17. Analysis of autonomous Petri nets with bulk services and arrivals

    • Manuel Silva, Enrique Teruel
    Pages 129-143

  18. Dependability and performability analysis using stochastic Petri nets

    • Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Sachin Garg
    Pages 144-157

  19. Controlled Petri nets: A tutorial survey

    • L. E. Holloway, B. H. Krogh
    Pages 158-168

  20. Functional and performance analysis of cooperating sequential processes

    • E. Teruel, M. Silva, J. M. Colom, J. Campos
    Pages 169-175
Back to top

Keywords

About this book

The conference, coorganized by INRIA and Ecole des Mines de Paris, focuses on Discrete Event Systems (DES) and is aimed at engineers, scientists and mathematicians working in the fields of Automatic Control, Operations Research and Statistics who are interested in the modelling, analysis and optimization of DES. Various methods such as Automata theory, Petri nets, etc. are proposed to describe and analyze such systems. Comparison of these different mathematical approaches and the global confrontation of theoretical approaches with applications in manufacturing, telecommunications, parallel computing, transportation, etc. are the goals of the conference.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation