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

1. Front Matter

   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

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.

• Algebra
• Parallel Computing
• automata
• automata theory
• automatic control
• calculus
• communication
• control
• modeling
• operations research
• optimization
• queue
• simulation
• stability
• statistics

Policies and ethics