Beschreibung
InhaltsangabePreface. Part I: Mini Course: A Course on Sensitivity Analysis for Gradient Estimation of DES Performance Measures; F. Vázquez-Abad. Part II: Contributed Papers: Coalgebra, Concurrency, and Control; J.J.M.M. Rutten. Symbolic Abstractions of Automata; S. Pinchinat, H Marchand. Efficient Computation and Representation of Large Reachability Sets for Composed Automata; P. Buchholz, P. Kemper. Equivalent Existence Structures for Temporal-Safety Control; K.T. Seow. Heaps of Pieces with a Continuum of Resources; R.J.van Egmond. Eigenvalues of Interconnected Bipartite (min, max,+) systems; Subiono, J. van der Woude. A (max,+) Approach for Time in Message Sequence Charts; P. Le Maigat, L. Hélouët. Analysis of Periodic Discrete Event Systems in (max,+) Algebra; S. Lahaye, et al. Modular Supervisory Control of Large Discret Event Systems; M.H. de Queiroz, J.E.R. Cury. A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems; T.S. Yoo, S. Lafortune. Reduced Supervisors for Timed Discrete-Event Systems; P. Gohari, W.M. Wonham. Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems; S. Takai, T. Ushio. An Iterative Method for Deadlock Prevention in FMS; F. Tricas, et al. Avoiding Deadlocks in Flexible Manufacturing Systems; M. Seidl, G. Schmidt. On Partially Controlled Free Choice Petri Nets; R.S. Sreenivas. Closed-Loop Live Petri Net Supervisors for GMEC; F. Basile, et al. Selecting the Optimal Deadlock Resolution Strategy in Buffer Space Allocation of Flexibly Automated Production Systems: an Analytic Perspective; S.A. Reveliotis. The Power Algorithm and the Howard Algorithm in the (max,+) Semiring; G. Soto, Y. Koelemeijer.Model Predictive Control for max-min-plus Systems; B. De Schutter, T. van den Boom. Optimal Token Allocation in Timed Cyclic Event-graphs; A. Giua, et al. A Limit Semantics for Timed PN; B. Gaujal, S. Haar. Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets; B. Bordbar, et al. A Classification of PLC Models and Applications; A. Mader. Formal Verification of the Sequential Part of PLC programs; S. Lampérière-Couffin, J.-J. Lesage. An Abstract Model for Sequential Function Charts; S. Bornot, et al. Modeling, Analysis, and Implementation of Logic Controllers for Machining Systems using Petri Nets and SFC; E. Park, et al. Time-related Modelling of PLC Systems with Time-less Petri Nets; M. Heiner, T. Menzel. Verification of IL Programs with an Explicit Model of their PLC Execution; H. Treseler, et al. A Two Phase Optimisation Strategy for DEDS: Application to a Manufacturing System; A. Zimmerman, et al. Optimal Resource Allocation in Blending Production Systems: A Genetic Algorithm Solution; Z. Liu, B.J. McCarragher. Off-Line Computation of Real-Time Schedules by Means of Petri Nets; E. Grolleau, A. Choquet-Geniet. Applications of m-Balanced Sequences to Some Network Scheduling Problems; S. Sano, N. Miyoshi. State Observer Synthesis for a Class of Condition Systems; Y. Gong, L.E. Holloway. Separability of Predicates and Languages in Large-Scale Discrete Event Systems; S. Takai, et al. A General Control Switching Framework of Supervisory Control of Discrete Event Systems; H. Darabi, M.A. Jafari. Fair Control of &ohgr;-Automata; H. Yen. Detection of the Main Failure in Complex Critical Systems; E. Grégoire, D. Ansart. Transitory Control in Cy
Inhaltsverzeichnis
Preface. Part I: Mini Course: A Course on Sensitivity Analysis for Gradient Estimation of DES Performance Measures; F. Vazquez-Abad. Part II: Contributed Papers: Coalgebra, Concurrency, and Control; J.J.M.M. Rutten. Symbolic Abstractions of Automata; S. Pinchinat, H Marchand. Efficient Computation and Representation of Large Reachability Sets for Composed Automata; P. Buchholz, P. Kemper. Equivalent Existence Structures for Temporal-Safety Control; K.T. Seow. Heaps of Pieces with a Continuum of Resources; R.J.van Egmond. Eigenvalues of Interconnected Bipartite (min, max,+) systems; Subiono, J. van der Woude. A (max,+) Approach for Time in Message Sequence Charts; P. Le Maigat, L. Helouet. Analysis of Periodic Discrete Event Systems in (max,+) Algebra; S. Lahaye, et al. Modular Supervisory Control of Large Discret Event Systems; M.H. de Queiroz, J.E.R. Cury. A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems; T.S. Yoo, S. Lafortune. Reduced Supervisors for Timed Discrete-Event Systems; P. Gohari, W.M. Wonham. Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems; S. Takai, T. Ushio. An Iterative Method for Deadlock Prevention in FMS; F. Tricas, et al. Avoiding Deadlocks in Flexible Manufacturing Systems; M. Seidl, G. Schmidt. On Partially Controlled Free Choice Petri Nets; R.S. Sreenivas. Closed-Loop Live Petri Net Supervisors for GMEC; F. Basile, et al. Selecting the Optimal Deadlock Resolution Strategy in Buffer Space Allocation of Flexibly Automated Production Systems: an Analytic Perspective; S.A. Reveliotis. The Power Algorithm and the Howard Algorithm in the (max,+) Semiring; G. Soto, Y. Koelemeijer. Model Predictive Control for max-min-plus Systems; B. De Schutter, T. van den Boom. Optimal Token Allocation in Timed Cyclic Event-graphs; A. Giua, et al. A Limit Semantics for Timed PN; B. Gaujal, S. Haar. Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets; B. Bordbar, et al. A Classification of PLC Models and Applications; A. Mader. Formal Verification of the Sequential Part of PLC programs; S. Lamperiere-Couffin, J.-J. Lesage. An Abstract Model for Sequential Function Charts; S. Bornot, et al. Modeling, Analysis, and Implementation of Logic Controllers for Machining Systems using Petri Nets and SFC; E. Park, et al. Time-related Modelling of PLC Systems with Time-less Petri Nets; M. Heiner, T. Menzel. Verification of IL Programs with an Explicit Model of their PLC Execution; H. Treseler, et al. A Two Phase Optimisation Strategy for DEDS: Application to a Manufacturing System; A. Zimmerman, et al. Optimal Resource Allocation in Blending Production Systems: A Genetic Algorithm Solution; Z. Liu, B.J. McCarragher. Off-Line Computation of Real-Time Schedules by Means of Petri Nets; E. Grolleau, A. Choquet-Geniet. Applications of m-Balanced Sequences to Some Network Scheduling Problems; S. Sano, N. Miyoshi. State Observer Synthesis for a Class of Condition Systems; Y. Gong, L.E. Holloway. Separability of Predicates and Languages in Large-Scale Discrete Event Systems; S. Takai, et al. A General Control Switching Framework of Supervisory Control of Discrete Event Systems; H. Darabi, M.A. Jafari. Fair Control of &ohgr;-Automata; H. Yen. Detection of the Main Failure in Complex Critical Systems; E. Gregoire, D. Ansart. Transitory Control in Cyclic Job Shop Scheduling; A.B. Noronha, R. Santos-Mendes. An Archtecture of a Petri Net Based Event-driven Controller; S. Bulach, et al. Supervisory Control in Discret Event Systems Using the Theory of Regions; N. Rezg, et al. Linear and Integer Programmes in Supervisory Control of Petri Nets; G. Stremersch. Synthesis of Admissable Behavior of Petri Nets for Partial Order Specifications; A. Lüder, H.M. Hanisch. Safety Control of Completely Observed Markov Chains; A. Arapostathis, et al. Singularly Perturbed Finite Markov Chains ...
