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

1. Hierarchically combined queueing Petri nets

   • Falko Bause, Peter Buchholz, Peter Kemper

   Pages 176-182

2. Optimizing structural analysis of extended Petri nets models

   • Luca Ferrarini, Massimo Trioni

   Pages 183-190

3. Reduced state space generation of concurrent systems using weak persistency

   • Kunihiko Hiraishi

   Pages 191-197

4. A new approach to discrete time stochastic Petri nets

   • Robert Zijal, Reinhard German

   Pages 198-204

5. Analysis of timed place/transition nets using minimal state graphs

   • Hans-Michael Hanisch

   Pages 205-212

6. An algebraic description of processes of timed Petri nets

   • Józef Winkowski

   Pages 213-219

7. Dioids and discrete event systems

   • Guy Cohen

   Pages 221-236

8. On structural properties of min-max systems

   • Geert Jan Olsder

   Pages 237-246

9. Rational series over dioids and discrete event systems

   • Stéphane Gaubert

   Pages 247-256

10. Stochastic linear systems in the (max, +) algebra

    • Jean Mairesse

    Pages 257-265

11. Cycle times and fixed points of min-max functions

    • Jeremy Gunawardena

    Pages 266-272

12. The characteristic equation and minimal state space realization of SISO systems in the max algebra

    • Bart De Schutter, Bart De Moor

    Pages 273-282

13. A max-algebra solution to the supervisory control problem for real-time discrete event systems

    • Darren D. Cofer, Vijay K. Garg

    Pages 283-289

14. Stable earliest starting schedules for periodic job shops: A linear system approach

    • Tae-Eog Lee

    Pages 290-296

15. Time discrete and continuous control problems convergence of value functions

    • Sergei N. Samborski

    Pages 297-301

16. Bellman processes

    • Marianne Akian, Jean-Pierre Quadrat, Michel Viot

    Pages 302-311

17. Maslov optimisation theory: Stochastic interpretation, particle resolution

    • Pierre Del Moral, Jean-Charles Noyer, Gérard Salut

    Pages 312-318

18. Networks methods for endomorphisms of semimodules over min-plus algebras

    • Peter I. Dudnikov, Sergei N. Samborski

    Pages 319-321

19. Subdirect sum decomposition of finite dimensional pseudomodules

    • Edouard Wagneur

    Pages 322-328

20. The algorithmic analysis of hybrid systems

    • R. Alur, C. Courcoubetis, T. Henzinger, P. Ho, X. Nicollin, A. Olivero et al.

    Pages 329-351

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