IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE ON DISCRETE EVENT SYSTEMS Newsletter......................................................January, 2001 Editor: Edwin K. P. Chong Chair, IEEE CSS Technical on DES School of Electrical and Computer Engineering Purdue University 1285 Electrical Engineering Bldg. West Lafayette, IN 47907-1285 Phone: (765) 494-9143 Fax: (765) 494-3371 e-mail: echong@ecn.purdue.edu WWW: http://www.ece.purdue.edu/~echong/ DESTC Web Page: http://www.ece.purdue.edu/~echong/des_tc/ _._________________________________________________________________________._ Contents: 1. Editorial 2. Announcements 2.1 Survey on formal methods in PLC programming 3. Conferences 3.1 IASTED INTERNATIONAL CONFERENCE ON MODELLING AND SIMULATION 2001 May 16-18, 2001, Pittsburgh, Pennsylvania, USA 3.2 Fifth IEEE International Workshop on Distributed Simulation and Real Time Applications, Cincinnati, Ohio, August 13-15, 2001 3.3 2001 IEEE CONFERENCE ON CONTROL APPLICATIONS (CCA) and the 2001 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL (ISIC) 5-7 September 2001, Mexico City, Mexico 3.4 Conference on Modeling and Design of Wireless Networks Denver, 23-24 August 2001 _._________________________________________________________________________._ Editorial _._________________________________________________________________________._ Welcome to the newsletter of the IEEE Control Systems Technical Committee Group on Discrete Event Systems! See http://www.ece.purdue.edu/~echong/des_tc/ for information on the DESTC. Notice the delimiter between articles/contributions in this newsletter. If you are using an editor to read this article, you can go directly to the delimiter by searching for the string "_.__" (underscore,period,underscore,underscore). This feature is useful for quickly skipping to the next item. Personal note from the editor: Happy Near Year to all! (And Happy Mellinnium to those of you who believe that the mellinnium actually starts this year instead of last.) _._________________________________________________________________________._ Announcements _._________________________________________________________________________._ Contributed by: Georg Frey Dear Colleagues We presented a survey on formal methods in PLC programming on the last IEEE SMC conference. The main focus of the survey are formal methods for verification and validation (V&V) and a new classification scheme for these methods. We now decided to put an HTML-version of the survey on the net and to expand and update this document. To do so, we need your help. Please visit the web-site: http://www.eit.uni-kl.de/litz/VnVSurvey.htm and provide some information on your V&V approach using the reply-form at the bottom of the page. We hope to get enough replies to prepare an update including your approach for publication in the near future. Thank you very much for your co-operation. With best regards Georg Frey and Lothar Litz Institute of Process Automation University of Kaiserslautern, Germany Phone: +49 631-205-3652 Fax: +49 631-205-4462 Email: mailto:frey@eit.uni-kl.de WWW: http://www.eit.uni-kl.de/litz/ENGLISH/frey.htm _._________________________________________________________________________._ Conferences _._________________________________________________________________________._ Contributed by: Chun-hung Chen Call for Papers IASTED INTERNATIONAL CONFERENCE ON MODELLING AND SIMULATION 2001 May 16-18, 2001 Pittsburgh, Pennsylvania, USA PURPOSE The International Conference on Modelling and Simulation (MS 2001), sponsored by IASTED, is a major forum for scientists, engineers, and practitioners throughout the world to present their latest research, results, ideas, developments and applications in all areas of signal and image processing. It aims to strengthen relations between industry, research laboratories, and universities. MS 2001 will be held at the Holiday Inn Select near downtown Pittsburgh. It will include keynote addresses, contributed papers, tutorials, and workshops. SCOPE: The topics covered will include, but are not limited to: Symposium A.: Modelling and Simulation Methodologies This stream focuses on the methodologies that drive new developments in the modelling and simulation field. Successful submissions under this stream will specifically address the newest work in this area. Relevant topics include, but are not restricted to: Neural Networks Petri Nets Artificial Intelligence Expert Systems Knowledge-based Systems Fuzzy Systems Numerical Methods Bond Graph Modelling Symposium B. Software Engineering This stream will focus on software development relevant to the modelling and simulation field. This can include work-in-progress and new research and enhancements to existing software. Relevant topics include, but are not restricted to: Modelling and Simulation on the Internet Multimedia Systems Languages Parallel and Distributed Processing Signal Processing Communication Systems and Networks Computer Graphics and Virtual Reality Scientific Visualization Symposium C. Modelling and Simulation of Industrial and Environmental Systems This stream will address the latest research and developments regarding the industrial and environmental applications of modelling and simulation. Successful submissions under this heading will discuss work-in-progress or research related to the industrial or environmental applications of modelling and simulation technology. Relevant topics include, but are not restricted to: Power and Energy Systems Robotics Manufacturing Automotive Business Engineering Hydrology Transportation Computers Networks Communication Systems Communication software and protocols Computer techniques Data mining Data warehousing Database systems Education and technology transfer Fault-Tolerance Graphical user interfaces Intelligent agent software Internet computing: JAVA, CORBA, XML Knowledge management systems Mobile and wireless computing Multimedia systems Object-oriented analysis and design Others Parallel and distributed systems Programming languages Project management and experiences Prototyping techniques Reliability Reusability Software development environments Software development for electronic commerce systems and applications Software maintenance Software metrics and empirical studies Software quality assurance and standards Software requirements Software specification methodologies Software testing techniques Unified modeling languages (UML) Visualization Web-based software engineering PAPER SUBMISSIONS Initial selection will be based upon full papers. Papers submitted for review should be no more than ten pages in length. Please include a complete list of references. All submissions should be in Adobe Acrobat (.pdf), Postscript (.ps) or MS Word (.doc) format. The IASTED Secretariat should receive your paper by January 31, 2001. All submissions should be made online. Submission instructions can be found on the web site at: http://www.iasted.com/conference.htm TUTORIALS SUBMISSION The IASTED Secretariat should receive proposals for half-day tutorials (3 hours) by January 31, 2001. The tutorial proposal should clearly indicate the topic, background knowledge expected of the participants, objectives, time allocations for the major course topics, and the qualifications of the instructor(s). SPECIAL SESSIONS Persons wishing to organize a special session should submit a proposal to the IASTED Secretariat by January 31, 2001. Proposals should include a minimum of 5 paper abstracts, a session title, a list of the topics covered, and qualifications of the session organizer(s). IMPORTANT DEADLINES Submissions due January 31, 2001 Notification of acceptance February 28, 2001 Registrations and final manuscripts due April 2, 2001 For more information or to be placed on our mailing list, please contact: IASTED Secretariat - MS 2001 #80, 4500 - 16th Avenue N.W. Calgary, AB T3B 0M6 Canada Tel: 403-288-1195 Fax: 403-247-6851 E-mail: calgary@iasted.com Web site: http://www.iasted.com _._________________________________________________________________________._ Contributed by: DS2001 ============================================================================ CALL FOR PAPERS D S - R T 2001 Fifth IEEE International Workshop on Distributed Simulation and Real Time Applications URL: www.cs.unt.edu/~boukerch/DS-RT2001 Cincinnati, Ohio, USA August 13-15, 2001 Co-located with MASCOTS 2001 -- International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems August 15-18, 2001 ============================================================================ SCOPE In its fifth year, the 2001 International Workshop on Distributed Simulation and Real Time Applications (DS-RT 2001) will take place at the Kingsgate Marriott Conference Center, Cincinnati, OH, just before the International Symposium on Modeling, Analysis and Simulation of Computer and Telecom- munication Systems (MASCOTS 2001) to be held in Cincinnati, OH on August 15-18, 2001. This is an excellent opportunity to participate in two conferences covering a wide range of simulation research. WORKSHOP OBJECTIVES DS-RT 2001 serves as a forum for simulationists from academia, industry and research labs, for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2001 targets the growing overlap between large distributed simulations and real time applications. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2001 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. WORKSHOP CALL-FOR-PAPERS Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is very desirable. The scope of the workshop includes, but is not limited to: * Algorithms and Studies relating to existing protocols (e.g.: HLA, DIS); * Implementation issues; (e.g., general purpose distributed simulation); * Algorithms and Methods for Distributed Interactive Simulation; (e.g.: event synchronization, network time protocols. * Applications of Distributed Simulation (e.g., Real Time DS, large distributed simulation systems); * Distributed models and simulation for Analysis * Data Distribution Management and Interest Management * Multi-resolution modeling * Current Critical Design Issues (e.g.: causality, simultaneous events, zero look-ahead, compensation for slower than real time); * Methodology for Distributed Simulation; * Interface Definition, Communication, Management, Security; * Performance of Distributed Simulation; (e.g., benchmark, theoretical, empirical, and HLA/RTI studies); * Dead-Reckoning Mechanisms; * Interactive Virtual Reality, Multi-User Virtual Reality, Interactive Simulation in Entertainment; * Visual Interactive Simulation (e.g., generic animation, visual interactive modeling, interactive computer based learning); * Animating Language Tools, Visualization Tools for Computational Process under Simulation; * Language and Modeling Issues * Modeling and Simulation Environment for Real Time Concurrent Systems; * Influence of Network-Centric Systems (such as Java, and DCOM) on DIS; * Network support for distributed simulation and real-time systems (QoS requirements and their realization, multicast for distributed/real-time simulation systems); * Applications of Web-Based Simulation (e.g. Modeling Global Internet) * Integration of DIS and HLA with Web Technologies SUBMISSION GUIDELINES Papers should be written in English and should not exceed 20 pages. Papers must be unpublished and must not be submitted for publication elsewhere. Authors are encouraged to submit papers in electronic form, postscript or Microsoft Word 6.0 (or higher) only. The procedure for submission will be provided on the conference webpage listed above by February 1, 2001. Questions from authors may be directed to Stephen Turner (ASSJTurner@ntu.edu.sg), or Philip Wilsey (philip.wilsey@uc.edu). Hardcopy papers also may be submitted, in which case four copies are required. Each submission, electronic or paper, must be accompanied by the following information: a short abstract, a complete list of authors and their affiliations, a contact person for correspondence, postal and e-mail addresses. IMPORTANT DATES 5 March 2001 Electronic Paper Submission 5 March Hard Copy Paper Submission (received!) 30 April Acceptance/Rejection Notification 1 June Camera ready copy due 13-15 August Workshop in Cincinnati IMPORTANT: ATTENDANCE BY AT LEAST ONE AUTHOR IS MANDATORY. ORGANIZING COMMITTEE GENERAL CHAIR J. Mark Pullen Dept. of Computer Science and C3I Center George Mason University Fairfax, VA 22030 Email: mpullen@gmu.edu Phone: +1.703.993.1538 PROGRAM CO-CHAIRS Stephen J. Turner Philip A. Wilsey School of Computer Engineering Dept. of ECE & CS Nanyang Technological University University of Cincinnati Nanyang Avenue Cincinnati, OH 45221-0030 Singapore 639798 USA Email: ASSJTurner@ntu.edu.sg Email: philip.wilsey@uc.edu Phone: +65.790.5045 Phone: +1.513.556.4779 Fax : +65.792.6559 Fax : +1.513.556.7326 LOCAL ARRANGEMENT & FINANCE CHAIR/MASCOTS LIASON Azzedine Boukerche Dept. of Computer Sciences Univ. of North Texas Denton, TX 76203 Email: boukerche@cs.unt.edu Phone: 940-565-4869 REGISTRATION CHAIR Sungbum Song, University of North Texas PUBLICITY CHAIR Gary Tan, National Univ. of Singapore Gene Wiehagen, US Army STRICOM Albert Zomaya, Univ. of Western Australia PROGRAM COMMITTEE Mostafa Ammar, Georgia Tech Azzedine Boukerche, University of North Texas Don Brutzman, Naval Postgraduate School Wentong Cai, Nanyang Technological University Jim Chen, George Mason University Alois Ferscha, Univ. of Vienna Richard Fujimoto, Georgia Tech Katherine Morse, Epsilon Systems Solutions Anand Natrajan, University of Virginia Mikel Petty, Old Dominion University Sushil Prasad, Georgia State University Mark Pullen, George Mason University Paul Reynolds, University of Virginia Robert Simon, George Mason University Roger Smith, BTG Inc. Gary Tan, National University of Singapore Carl Tropper, McGill University Stephen Turner, Nanyang Technological University Richard Weatherly, MITRE Philip Wilsey, University of Cincinnati TUTORIALS CHAIR Tom Jacob, University of North Texas ADVISORY BOARD COMMITTEE Jean-Loup Baer, University of Washington Jason Yi-Bing Lin, National Chiao-Tung University, Taiwan Azzedine Boukerche, University of North Texas K. M. Chandy, California Institute of Technology, USA Sajal K. Das, University of North Texas Lorenzo Donatiello, University of Bologna, Italy Doug DeGroot, Texas Instruments, USA Tuncer Oren, University of Ottawa, Canada Gabriel Silberman, IBM Research, USA Stephen J. Turner, Nanyang Technological University, Singapore G. Zobrist, University of Missouri-Rolla, USA _._________________________________________________________________________._ Contributed by: Edwin Chong (echong@ecn.purdue.edu) 2001 IEEE CONFERENCE ON CONTROL APPLICATIONS (CCA) and the 2001 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL (ISIC) 5-7 September 2001 Presidente Inter-Continental Hotel Campos Eliseos 218 Mexico City, Mexico http://www.control.rice.edu SCOPE AND TOPICS Both conferences will be held in Mexico City at the famed Presidente Intercontinental Hotel which is in the Polanco district across from the famous Chapultepec Park, close to lakes and gardens, renowned museums, and historical sites. This is a prime area and provides a safe and pleasant venue to have a conference location. The meeting will highlight the exciting and multidisciplinary areas of control systems applications as well as Intelligent Control. The general theme of the conference is: Eclectic Applications and Intelligent Control In The New Millennium The program committee solicits papers presenting original contributions in all areas of control applications and Intelligent Control including, but not limited to: CCA . Applications of adaptive and robust control sensor based control nonlinear control sliding mode control modeling and system identification fuzzy logic control expert systems distributed systems manufacturing systems mechatronics motion control robotics vibration control structure control fault detection and fault tolerant control man/machine interface aeronautical, aerospace and space systems automotive systems vehicle control traffic and network control chemical and steel process control systems biomedical systems data fusion power electronics systems computed aided design. ISIC . Intelligent Control architectures and methods knowledge based systems and learning control temporal logic for control path planning systems reactive multi-agent systems machine learning neural networks fuzzy logic genetic algorithms and evolutionary computing hybrid dynamical systems pattern discovery distributed or decentralized control methods discrete event systems supervisory control probabilistic approaches knowledge-based sensor fusion neuro-fuzzy approaches neural-adaptive control systems intelligent sensors intelligent machines. FORMAT OF THE CONFERENCE Both conferences will run in parallel. The sessions will be held Wednesday, 5 September - Friday, 7 September, 2001 with workshops on Tuesday, September 4. There will be only one registration fee for both conferences and all attendees will receive proceedings from both conferences. IMPORTANT DATES January 31, 2000: Papers, Session and Workshop Proposals Due March 20, 2001: Notification of Acceptation/Rejection May 4, 2001: Final Camera-Ready Papers Due PAPER SUBMISSION The Program Committee invites authors to submit their papers electronically (either PDF format or PostScript format) by 31 January, 2000. The first page of each manuscript must contain the title of the paper, the names and affiliations of the authors, and four keywords,/phrases. In addition, please identify the corresponding author with full contact information, including fax and e-mail, if available. Your manuscripts should be sent to one of the Technical Program Chairs: D. W. Repperger (for CCA Submission), Email: D.Repperger@IEEE.ORG T. Parisini (for ISIC submission), Email: parisini@elet.polimi.it INVITED SESSIONS The Program Committee also solicits proposals for invited sessions in the above areas of applications. Each proposal for an invited session should describe the theme and scope of the proposed session and should include extended summaries (at least four pages in length) of six papers. In addition, the proposal should contain the name, affiliation , and complete address of the session organizer)(s) and of the authors of all included papers. Five (5) copies of the invited session proposals should be sent to the Chair of Invited Sessions Linda G. Bushnell. Linda G. Bushnell Army Research Office P. O. Box 12211 RTP, NC 27709-2211 Phone: (919)-549-4319 Fax: (919)-549-4354 Email: bushnell@ieee.org WORKSHOPS The Program Committee is also soliciting proposals for workshops related to the theme of the conference. Persons interested in organizing a pre-conference workshop should contact the Workshop Chair: Eduardo A. Misawa Eduardo A. Misawa Oklahoma State University School of Mechanical and Aerospace Eng. 218 Engineering North Stillwater, OK 74078-5016 Phone: (405)-744-5900 Fax: (405)-744-7873 Email: misawa@master.ceat.okstate.edu For more information, visit http://www.control.rice.edu _._________________________________________________________________________._ Contributed by: Edwin Chong (echong@ecn.purdue.edu) Call for Papers and Announcement Conference on Modeling and Design of Wireless Networks Denver, 23-24 August 2001 Part of SPIE's ITCom 2001 - International Symposium and Exhibit on the Convergence of Information Technology and Communications, 20-24 August 2001, Denver, Colorado. Conference Chair: Edwin K. P. Chong, Purdue University (beginning August 2001, Colorado State University) Program Committee: Roger S. Cheng, Hong Kong University of Science and Technology Suresh Kalyanasundaram, Motorola Labs Urbashi Mitra, University of Southern California Ness B. Shroff, Purdue University Steven Strickland, Bell Labs/Lucent Technologies I-Jeng Wang, Johns Hopkins University Applied Physics Lab Kimberly M. Wasserman, University of Michigan Junshan Zhang, Arizona State University The convergence of information and communication technologies has created the potential for making use of the wireless medium to support not only voice, but also data, video, and other multimedia services. The design and engineering of wireless systems that can provide sophisticated applications and services relies on the development of key technologies, from the physical layer to the application layer. The increasing interest in guaranteed network services points to wireless systems that are engineered specifically to enable the implementation of such services. Recent work in wireless systems also suggests the need for designs that take into consideration the interactions between design layers, including the physical, link, MAC, and network layers. Future wireless systems supporting sophisticated applications and services will be the basis for a wireless information society where access to information and communication services, such as electronic commerce, is available anytime, anywhere, and to anybody. The goal of this conference is to bring together researchers and engineers in wireless networks, with a focus on the efficient use of wireless resources to enable sophisticated network capabilities, such as QoS and multimedia services. This conference is part of the ITComm Symposium and Exhibit, which focuses on the convergence of information and communication technologies. The symposium will take place in the beautiful Denver/Boulder area, a fast-moving high technology corridor also called "Silicon Mountain." Authors are invited to submit abstracts in the following and related topics: * QoS in wireless networks * Highspeed wireless data * Resource allocation * Transmission scheduling * Admission control * Power control * Flow control in wireless networks * Mobility management * Handoff management * Channel allocation * Network capacity * Multi-access schemes (e.g., CDMA and OFDM) * Space-time communications * Cellular wireless networks * Ad hoc wireless networks * Satellite wireless networks * Pricing * Utility-based schemes * Interaction between physical, MAC, and network layers Submitted abstracts should be of approximately 250 words. There will be a proceedings, published by SPIE, distributed at the conference. Accepted papers will be allocated up to 15 pages in the proceedings. Important dates: Abstracts due from authors: 19 February 2001 Authors notified of review decisions: 15 April 2001 Manuscripts due from authors: 28 May 2001 For more information, see http://spie.org/web/meetings/calls/itcom01/confs/IT503.html _._________________________________________________________________________._ The End _._________________________________________________________________________._ Fri Jan 5 17:56:19 EST 2001