期刊名称：DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
This journal publishes high-quality, peer-reviewed papers on the modeling and control of discrete event dynamical systems (DEDS). It presents general theories and methodologies of DEDSs and their applications as well as discusses practical problems from which some generally applicable DEDS theories or methodologies can be formulated. The scope of the journal is defined by its emphasis on the modeling of discrete events by dynamic systems, and on problems of their control and optimization.
Discrete Event Dynamic Systems covers all aspects of DEDS, including: theory and formal models (supervisory control, Petri-Nets, Min-Max-plus algebra, DEDS specification, or simulation formalisms), performance analysis, optimization, and optimal control (perturbation analysis, control synthesis, sample-path-based approaches, AI-based learning schemes, scalable solutions to large and complex systems), and applications (case studies and software engineering).
Related subjects » Applications - Electronics & Electrical Engineering - Geometry & Topology - Operations Research & Decision Theory - Production & Process Engineering
The research on discrete event dynamic systems (DEDSs) is multi-disciplinary in nature and its development has been dynamic. Examples of DEDSs include manufacturing plants, communication networks, computer systems, management information databases, logistics systems, command-control-communication systems, robotics, and other man-made operational systems. The state processes of such systems cannot be described by differential equations in general. The aim of this journal, Discrete Event Dynamic Systems: Theory and Applications, is to publish high-quality, peer-reviewed papers on the modeling and control of, and all other aspects related to, DEDSs. In particular, the journal publishes papers dealing with general theories and methodologies of DEDSs and their applications to any particular subject, including hybrid systems, as well as papers discussing practical problems from which some generally applicable DEDS theories or methodologies can be formulated; The scope of this journal is defined by its emphasis on discrete events and the dynamic nature of the systems and on their modeling, control and optimization.
- Motivation. The Journal welcomes papers describing modeling and control problems with discrete events from all areas of engineering and sciences. The development of the theory of DEDS must continuously be motivated by concrete problems. The term "problem" is interpreted here in a broad sense to include not only problems from the real world but also well-defined problems arising from the methodological context. As a scientific and engineering discipline, DEDS must have both experimental and theoretical components. Carefully designed experiments accumulate evidence upon which a relevant theory can be built. Conversely, analytical and mathematical reasoning pinpoint further experiments to be conducted for theory validation and extension. The Journal shall encourage papers emphasizing this interplay between modeling, experimentation, and mathematical theory. It is not devoted exclusively to the mathematics of DEDS. The Journal aims at providing a science and engineering knowledge base for the studies of DEDS.
- Dynamics of Discrete Event Systems. Recognition of the role of "dynamics" in DEDSs seems crucial for the eventual development of a fruitful theory. While the analysis of DEDS may proceed via many fronts, such as graph theory, queueing theory, simulation, automata, Petri nets, etc., concepts from system theory are expected to play a central role.
- Control and Optimization. Most real-world DEDS are "man-made" to serve specific purposes, and, thus, they require control and/or management. Theoretical concepts, such as feedback, stability, and optimality, as well as implementation issues, such as software and languages, will all receive attention.
- Interface with Operations Research and Computer Science. It is expected that the future developments of DEDS will continue to involve and be impacted by developments in OR and CS. This journal also welcomes papers dealing with issues at these intersections.
The journal welcomes submissions on all aspects of DEDS, including but not restricted to: theory and formal models (supervisory control, Petri-Nets, Min-Max-plus algebra, DEDS specification, or simulation formalisms), performance analysis, optimization, and optimal control (perturbation analysis, control synthesis, sample-path-based approaches, AI-based learning schemes, scalable solutions to large and complex systems), and applications (case studies and software engineering).
Instructions to Authors
Authors are encouraged to submit high quality, original work that has neither appeared, nor is under consideration by, other journals. Papers which have previously appeared in conference proceedings will also be considered for publication, however, this should be so indicated at the time of submission.
Process for Submission
- Authors should submit six hard copies of their final manuscript to:
Melissa Andersen
DEDS---Editorial Office
Kluwer Academic Publishers
101 Philip Drive
Assinippi Park
Norwell, MA 02061, USA
Tel.: 781-871-6300
Fax: 781-878-0449
E-mail: Melissa.Andersen@wkap.com
For prompt attention, all correspondence should be directed to this address.
- Enclose with each manuscript, on a separate page, from three to five key words. Some typical key word examples are: queueing networks, perturbation analysis, min-max algebra, computer and communication network.
- Enclose originals for the illustrations, see Style for Illustrations, for one copy of the manuscript. Photocopies of the figures may accompany the remaining copies of the manuscript. Alternatively, original illustrations may be submitted after the paper has been accepted.
- Enclose a separate page giving the preferred address of the contact author for correspondence and return of proofs. Please include an e-mail address, a telephone number and a fax number.
- The refereeing is done by anonymous reviewers.
Style for Manuscript
- Typeset, double space in English; use one side of sheet only (laser printed, typewritten and good quality duplication acceptable).
- Use an informative title for the paper and include an abstract of 100 to 250 words at the head of the manuscript. The abstract should be a carefully worded description of the problem addressed.
- Provide a separate double-spaced sheet listing all footnotes, beginning with Affiliation of author and continuing with numbered footnotes. Acknowledgment of financial support may be given if appropriate.
- References should appear in a separate bibliography at the end of the paper in alphabetical order with items referred to in the text by author and date of publication in parentheses, e.g.,(Marr 1982). References should be complete, in the following style:
Style for papers: Authors, last names followed by first initials, year of publication, title, volume, inclusive page numbers.
Style for books: Authors, year of publication, title, publisher and location, chapter and page numbers (if desired). Examples as follows:
(Book) Marr, D. 1982. Vision, a Computational Investigation into the Human Representation Processing of Visual Information. San Francisco: Freeman.
(Journal) Rosenfeld, A., and Thurston, M. 1971. Edge and curve detection for visual scene analysis. IEEE Trans. Comput. C-20: 562--569.
(Conference Proceedings) Witkin, A. 1983. Scales space filtering. Proc. Int. Joint Conf. Artif. Intell. Karlsruhe, West Germany, pp.1019--1021.
(Lab. memo) Yuille, A. L. and Poggio, T. 1983. Scaling theorems for zero crossings. M.I.T. Artif. Intell. Lab., Massachusetts Inst. Technol., Cambridge, MA, A.I. Memo. 722.
- Type or mark mathematical expressions exactly as it should appear in print. Journal style for letter symbols is as follows: variables, italic type (indicated by underline); constants, roman text type; matrices and vectors, boldface type (indicated by wavy underline). In word-processor manuscripts, use appropriate typeface. It will be assumed that letters in displayed equations are to be set in italic type unless you mark them otherwise. All letter symbols in text discussion must be marked if they should be italic or boldface. Indicate best breaks for equations in case they will not fit on one line.
Electronic Delivery
Please send only the electronic version (of ACCEPTED paper) via one of the methods listed below. Note, in the event of minor discrepancies between the electronic version and hard copy, the electronic file will be used as the final version.
The Kluwer LaTeX journal style file is no longer the preferred format for accepted paper submissions. Kluwer will accept any format for accepted paper submissions.
Via electronic mail
- Please e-mail electronic version to: KAPfiles@wkap.com
- Recommended formats for sending files via e-mail:
- Binary files - uuencode or binhex
- Compressing files - compress, pkzip, or gzip
- Collecting files - tar
- The e-mail message should include the author¡®s last name, the name of the journal to which the paper has been accepted, and the type of file (e.g., LaTeX or ASCII).
Via anonymous FTPftp: ftp.wkap.com
cd: /incoming/production
Send e-mail to KAPfiles@wkap.com to inform Kluwer electronic version is at this FTP site.
Via disk
- Label a 3.5 inch floppy disk with the operating system and word processing program along with the authors¡® names, manuscript title, and name of journal to which the paper has been accepted.
- Mail disk to:
Kluwer Academic Publishers
Desktop Department
101 Philip Drive
Assinippi Park
Norwell, MA 02061, USA
Any questions about the above procedures please send e-mail to: dthelp@wkap.com
We hope that these electronic procedures will encourage the submission of manuscripts to this journal as well as improve the publication schedule.
Style for Illustrations
- Line drawings should be in laser printer output or in India ink on paper, or board. Original illustrations should be submitted on separate sheets of paper following the text. Use 8 1/2 by 11-inch (22 x 29 cm) size sheets if possible, to simplify handling of the manuscript. We regret that we cannot provide drafting or art services.
- Each figure should be mentioned in the text and numbered consecutively using Arabic numerals. Specify the desired location of each figure in the text, but place the figure itself on a separate page following the text.
- Number each table consecutively using Arabic numerals. Please label any material that can be typeset as a table, reserving the term ¡¯¡¯figure¡®¡® for material that has been drawn. Specify the desired location of each table in the text, but place the table itself on a separate page following the text. Type a brief title above each table.
- All lettering should be large enough to permit legible reduction.
- Photographs should be glossy prints, of good contrast and gradation, and any reasonable size.
- Number each original on the back.
- Include a separate page listing all figure captions, in proper style for the typesetter, e.g.,Fig.3. Examples of the fault coverage of random vectors in (a)combinational and (b)sequential circuits.
Proofing
Page proofs for articles to be included in a journal issue will be sent to the contact author for proofing, unless otherwise informed. The proofread copy should be received at the Publisher within 72 hours.
Copyright
It is the policy of Kluwer Academic Publishers to own the copyright of all contributions it publishes. To comply with the U.S. Copyright Law, authors are required to sign a copyright transfer form before publication. This form returns to authors and their employers full rights to reuse their material for their own purposes. Authors must submit a signed copy of this form with their manuscript.
Reprints
First-named authors will be entitled to 25 free reprints of their paper.
Editorial Board
Editor-in-Chief:
X. R. Cao, Hong Kong University of Science & Technology, Hong Kong, China
Founding and Advisory Editor:
Y. C. Ho, Harvard University, Cambridge, MA, USA
Department Editors:
René Boel, Universiteit Gent, Belgium
Christos G. Cassandras, Boston University, USA
Stephane Lafortune, The University of Michigan, USA
Les Servi, The MITRE Corporation, USA
Associate Editors:
Magnus Egerstedt, Georgia Institute of Technology, USA
Alessandro Giua, University of Cagliari, Italy
Stefan Haar, INRIA and LSV, France
Christoforos Hadjicostis, University of Cyprus, Cyprus
Jorge Julvez, University of Zaragoza, Spain
Manju Kamath, Oklahoma State University, USA
Stefan Kowalewski, RWTH Aachen University, Germany
Christos Panayiotou, University of Cyprus, Cyprus
Sophie Pinchinat, IRISA, Universitairé de Rennes 1, France
Peter Luh, University of Connecticut, USA
Petar Momcilovic, University of Michigan, USA
Joerg Raisch, Technische Universitaet Berlin, Germany
Karen Rudie, Queen?s University, Canada
Meera Sampath, Xerox Corporation, USA
Leyuan Shi, University of Wisconsin-Madison, USA
Stavros Tripakis, University of California at Berkeley, USA
Toshimitsu Ushio, Osaka University, Japan
Yorai Wardi, Georgia Institute of Technology, USA
Huizhen Yu, University of Helsinki, Finland
Janan Zaytoon, University of Reims, France
Advisory Board:
Albert Benveniste, INRIA-Rennes, France
Han-fu Chen, Chinese Academy of Sciences, Beijing, China
Yu-Chi Ho, Harvard University, USA
Geert Jan Olsder, Delft University of Technology, The Netherlands
Jan van Schuppen, CWI, The Netherlands
Manuel Silva, Universidad de Zaragoza, Spain
Pravin Varaiya, University of California at Berkeley, USA
Murray Wonham, University of Toronto, Canada
David D. Yao, Columbia University, USA
|
