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

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Logical aspects of control of discrete-event systems: A survey of tools and techniques
3. Altmetric Badge
   Chapter 2 Automata-theoretic verification of coordinating processes
4. Altmetric Badge
   Chapter 3 Hierarchical COCOLOG for finite machines
5. Altmetric Badge
   Chapter 4 Nondeterministic supervision under partial observations
6. Altmetric Badge
   Chapter 5 Avoiding blocking in prioritized synchronization based control of nondeterministic systems
7. Altmetric Badge
   Chapter 6 Supervisory control for nondeterministic systems
8. Altmetric Badge
   Chapter 7 Effective control of logical discrete event systems in a trace theory setting using the reflection operator
9. Altmetric Badge
   Chapter 8 Diagnosability of discrete event systems
10. Altmetric Badge
    Chapter 9 On the supremal L m -closed and the supremal L m -closed and L-controllable sublanguages of a given language
11. Altmetric Badge
    Chapter 10 Continuous-time supervisory synthesis for distributed-clock discrete-event processes
12. Altmetric Badge
    Chapter 11 Conditions for optimization of discrete event systems using temporal logic models
13. Altmetric Badge
    Chapter 12 Partial difference equation extensions to automata regulator theory
14. Altmetric Badge
    Chapter 13 An algebraic temporal logic approach to the forbidden state problem in discrete event control
15. Altmetric Badge
    Chapter 14 Automata timing specification
16. Altmetric Badge
    Chapter 15 Synthesis of static controllers for forbidden states problems in Boolean C/E systems using the Boolean differential calculus
17. Altmetric Badge
    Chapter 16 Analysis of autonomous Petri nets with bulk services and arrivals
18. Altmetric Badge
    Chapter 17 Dependability and performability analysis using stochastic Petri nets
19. Altmetric Badge
    Chapter 18 Controlled Petri nets: A tutorial survey
20. Altmetric Badge
    Chapter 19 Functional and performance analysis of cooperating sequential processes
21. Altmetric Badge
    Chapter 20 Hierarchically combined queueing Petri nets
22. Altmetric Badge
    Chapter 21 Optimizing structural analysis of extended Petri nets models
23. Altmetric Badge
    Chapter 22 Reduced state space generation of concurrent systems using weak persistency
24. Altmetric Badge
    Chapter 23 A new approach to discrete time stochastic Petri nets
25. Altmetric Badge
    Chapter 24 Analysis of timed place/transition nets using minimal state graphs
26. Altmetric Badge
    Chapter 25 An algebraic description of processes of timed Petri nets
27. Altmetric Badge
    Chapter 26 Dioids and discrete event systems
28. Altmetric Badge
    Chapter 27 On structural properties of min-max systems
29. Altmetric Badge
    Chapter 28 Rational series over dioids and discrete event systems
30. Altmetric Badge
    Chapter 29 Stochastic linear systems in the (max, +) algebra
31. Altmetric Badge
    Chapter 30 Cycle times and fixed points of min-max functions
32. Altmetric Badge
    Chapter 31 The characteristic equation and minimal state space realization of SISO systems in the max algebra
33. Altmetric Badge
    Chapter 32 A max-algebra solution to the supervisory control problem for real-time discrete event systems
34. Altmetric Badge
    Chapter 33 Stable earliest starting schedules for periodic job shops: A linear system approach
35. Altmetric Badge
    Chapter 34 Time discrete and continuous control problems convergence of value functions
36. Altmetric Badge
    Chapter 35 Bellman processes
37. Altmetric Badge
    Chapter 36 Maslov optimisation theory: Stochastic interpretation, particle resolution
38. Altmetric Badge
    Chapter 37 Networks methods for endomorphisms of semimodules over min-plus algebras
39. Altmetric Badge
    Chapter 38 Subdirect sum decomposition of finite dimensional pseudomodules
40. Altmetric Badge
    Chapter 39 The algorithmic analysis of hybrid systems
41. Altmetric Badge
    Chapter 40 A unified framework for hybrid control
42. Altmetric Badge
    Chapter 41 Reasoning about hybrid systems with symbolic simulation
43. Altmetric Badge
    Chapter 42 Simple hybrid control systems — continuous FDLTI plants with quantized control inputs and symbolic measurements
44. Altmetric Badge
    Chapter 43 Controllability and control-law synthesis of linear hybrid systems
45. Altmetric Badge
    Chapter 44 Sample-path-based continuous and discrete optimization of discrete event systems: From gradient estimation to “rapid learning”
46. Altmetric Badge
    Chapter 45 Infinitesimal perturbation analysis of Generalized Semi-Markov Processes: A tutorial
47. Altmetric Badge
    Chapter 46 A tutorial overview of optimization via discrete-event simulation
48. Altmetric Badge
    Chapter 47 Parallel simulation of discrete event systems
49. Altmetric Badge
    Chapter 48 On the existence and estimation of performance measure derivatives for stochastic recursions
50. Altmetric Badge
    Chapter 49 Perturbation analysis for the GI/G/1 queue with two priority classes
51. Altmetric Badge
    Chapter 50 Supply management in assembly systems: The case of random lead times
52. Altmetric Badge
    Chapter 51 Simulation trees for functional estimation via the phantom method
53. Altmetric Badge
    Chapter 52 Infinitestimal Perturbation Analysis for discrete event systems with discrete lifetime distributions
54. Altmetric Badge
    Chapter 53 Loss networks in thermodynamic limit
55. Altmetric Badge
    Chapter 54 A survey of Markovian methods for stability of networks
56. Altmetric Badge
    Chapter 55 Stationary regime and stability of free-choice Petri nets
57. Altmetric Badge
    Chapter 56 Allocation sequences of two processes sharing a resource
58. Altmetric Badge
    Chapter 57 Stability criteria for yet another class of multidimensional distributed systems
59. Altmetric Badge
    Chapter 58 Flow control of a virtual circuit
60. Altmetric Badge
    Chapter 59 Stochastic scheduling of precedence graphs
61. Altmetric Badge
    Chapter 60 Management of manufacturing systems based on Petri nets
62. Altmetric Badge
    Chapter 61 Approximate closed queueing network model of a manufacturing cell with a batch material transporter
63. Altmetric Badge
    Chapter 62 Optimizing the transient behavior of hedging control policies in manufacturing systems
64. Altmetric Badge
    Chapter 63 Finding optimal number of Kanbans in a manufacturing system via stochastic approximation and perturbation analysis
65. Altmetric Badge
    Chapter 64 Performance evaluation of a generalized kanban system with a general arrival process of demands
66. Altmetric Badge
    Chapter 65 Hoist scheduling problem in a real time context
67. Altmetric Badge
    Chapter 66 On controlling a class of assembly system with alternative production routeing
68. Altmetric Badge
    Chapter 67 Planification Hiérarchisée de la Production: Agrégation du Temps et Cohérence
69. Altmetric Badge
    Chapter 68 Multi-site planning: A centralized or a distributed approach?
70. Altmetric Badge
    Chapter 69 Algorithms for simultaneous scheduling of machines and vehicles in a FMS