11th International Conference on Analysis and Optimization of Systems: discrete event systems, DES 94 : Sophia-Antipolis, June 15-16-17, 1994
Guy Cohen, Jean-Pierre Quadrat, Institut national de recherche en informatique et en automatique (France), Ecole nationale supérieure des mines de Paris
Springer-Verlag, 1994 - Computers - 621 pages
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
AutomataTheoretic Verification of Coordinating Processes R P Kurshan
Hierarchical COCOLOG for Finite Machines Y J Wei McGill University
Avoiding Blocking in Prioritized Synchronization Based Control of Nondetermin
39 other sections not shown
algebra algorithm analysis approach automata automaton behavior called circuit COCOLOG components consider constraints construct corresponding CtlPN defined Definition denote deterministic dioid discrete event systems discrete-event distribution dynamic Dynamic Systems eigenvalue eigenvectors elements equation equivalent estimate example exists finite finite state machine firing formal formal verification function given graph hierarchical hybrid system IEEE initial marking input INRIA kanban Lemma linear loop machine manufacturing system Markov chain matrix max-plus max-plus algebra method min-max minimal node non-blocking nondeterministic observable obtained operations optimal optimal control output parameters performance perturbation Petri nets polynomial production proof properties queue Ramadge reachable represented respectively sample path satisfies sequence simulation solution space specification stochastic Petri structure sublanguage subset supervisor supervisory control synchronization synthesis techniques temporal logic Theorem theory tokens trajectory model transition trivial modules variables vector Wonham