IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE ON DISCRETE EVENT SYSTEMS Newsletter......................................................October, 1999 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. Books 2.1 BOOK ANNOUNCEMENT: "FURTHER TOPICS ON DISCRETE-TIME MARKOV CONTROL PROCESSES" Onesimo HERNANDEZ-LERMA and Jean B. LASSERRE 2.2 ANNOUNCEMENT OF NEW BOOK ON DISCRETE EVENT SYSTEMS: Introduction to Discrete Event Systems, by Christos G. Cassandras and Stéphane Lafortune 3. Conferences 3.1 HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC’00) Third International Workshop, Pittsburgh, PA USA March 23-25 (Thur-Sat), 2000 3.2 Sixth IEEE Real-Time Technology and Applications Symposium Washington D.C., USA, May 31-June 2, 2000 3.3 5th Informs Telecommunications Conference - BocaRaton March 5-8, 2000 3.4 Call For Participation: The 20th IEEE Real-Time Systems Symposium RTSS '99, December 1-3, 1999, Phoenix, Arizona 3.5 Call for Papers and Participation: AIPS 2000 Workshop on PLANNING AND SCHEDULING IN CONTROL OF DYNAMIC ENTERPRISES Breckenridge, CO, USA, April 14, 2000 _._________________________________________________________________________._ 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. _._________________________________________________________________________._ Books _._________________________________________________________________________._ Contributed by: Jean-Bernard Lasserre BOOK ANNOUNCEMENT "FURTHER TOPICS ON DISCRETE-TIME MARKOV CONTROL PROCESSES" Onesimo HERNANDEZ-LERMA and Jean B. LASSERRE Springer-Verlag, New York, 1999. 276 pages. ISBN 0-387-98694-4 This book is devoted to a systematic exposition of some recent developments in the theory of discrete-time Markov control processes. Interest is mainly confined to MCPs wih Borel state and control spaces, and possibly unbounded costs.The book follows on from the authors' earlier volume in this area, however, an important feature of the present volume is that it is essentially self-contained and can be read independently of the first volume. Although both volumes deal with similar classes of Markov control processes, the assumptions on the control models are usually different. The control model studied is sufficiently general to include virtually all the usual discrete-time stochastic control models that appear in applications to engineering, economics, mathematical population processes, operations research, and management science. TABLE OF CONTENTS PREFACE CHAPTER 7. Ergodicity and Poisson Equation 7.1. Introduction 7.2. Weighted Norms and Signed Kernels A. Weighted norm spaces B. Signed kernels C. Contraction maps 7.3. Recurrence Concepts A. Irreducibility and recurrence B. Invariant measures C. Conditions for irreducibility and recurence D. w-Geometric ergodicity 7.4. Examples on w-Geometric Ergodicity 7.4. Poisson's Equation A. The multichain case B. The unichain case C. Examples CHAPTER 8. Discounted Dynamic Programming with Weighted Norms 8.1. Introduction 8.2. The Control Model and Control Policies 8.3. The Optimality Equation A. Assumptions B. The discounted-cost optimality equation C. The dynamic programming operator D. Proof of Theorem 8.3.6. 8.4. Further Analysis of Value Iteration A. Asymptotic discount optimality B. Estimates of VI convergence C. Rolling horizon procedures D. Forecast horizon and elimination of non-optimal actions 8.5. The Weakly Continuous Case 8.6. Examples 8.7. Further Remarks CHAPTER 9. The Expected Total Cost Criterion 9.1. Introduction 9.2. Preliminaries A. Extended real numbers B. Integrability 9.3. The Expected Total Cost 9.4. Occupation Measures A. Expected occupation measures B. The sufficiency problem 9.5. The Optimality Equation A. The optimality equation B. Optimality criteria C. Deterministic stationary policies 9.6. The Transient Case A. Transient models B. Optikmality conditions C. Reduction to deterministic policies D. The policy iteration algorithm CHAPTER 10. Undiscounted-Cost Criteria 10.1. Introduction A. Undiscounted criteria B. AC-criteria C. Outline of the chapter 10.2. Preliminaries A. Assumptions B. Corollaries C. Discussion 10.3. From AC-Optimality to Undiscounted Criteria A. The AC-optimality inequality B. The AC-optimality equation C. Uniqueness of the ACOE D. Bias-optimal policies E. Undiscounted criteria 10.4. Proof of Theorem 10.3.1 A. Preliminary lemmas B. Completion of the proof 10.5. Proof of Theorem 10.3.6. A. Proof of part (a) B. Proof of part (b) C. Policy iteration 10.6. Proof of Theorem 10.3.6. 10.7. Proof of Theorem 10.3.10. 10.8. Proof of Theorem 10.3.11. 10.9. Examples CHAPTER 11. Sample-Path Average Cost 11.1. Introduction A. Definitions B. Outline of the Chapter 11.2. Preliminaries A. Positive Harris Recurrence B. Limiting average variance 11.3. The w-Geometrically Ergodic Case A. Optimality in PI_DS B. Optimality in PI C. Variance Minimization D. Proof of Theorem 11.3.5 E. Proof of Theorem 11.3.8 11.4. Strictly Unbounded Costs 11.5. Examples CHAPTER 12. The Linear Programming Approach 12.1. Introduction A. Outline of the chapter 12.2. Preliminaries A. Dual pairs of vector spaces B. Infinite linear programming,br> C. Approximations of linear programs D. Tightness and invariant measures 12.3. Linear Programs for the AC Problem A. The linear programs B. Solvability of (P) C. Absence of duality gap D. The Farkas alternative 12.4. Approximating sequences and strong duality A. Minimizing sequences for (P) B. Maximizing sequences for (P*) 12.5. Finite LP Approximations A. Aggregation B. Aggregation-relaxation C. Aggregation-relaxation-inner approximations 12.6. Proofs of Theorems 12.5.3., 12.5.5., 12.5.7 REFERENCES ABBREVIATIONS GLOSSARY OF NOTATION INDEX See also the website "http://www.laas.fr/~lasserre/books.html" _._________________________________________________________________________._ Contributed by: "Christos G. Cassandras" and Stéphane Lafortune ANNOUNCEMENT OF NEW BOOK ON DISCRETE EVENT SYSTEMS Introduction to Discrete Event Systems by Christos G. Cassandras Boston University, MA, USA and Stéphane Lafortune The University of Michigan, Ann Arbor, MI, USA ------------------------- Publication data: Published in September 1999 by KLUWER ACADEMIC PUBLISHERS, 848 pages. Hardbound, ISBN 0-7923-8609-4 Course Adoption Price: $75.00 (any order for 6 or more books qualifies for this price). Regular price: $150.00. 20% Discount Price: $120 (offer expires Dec. 31, 1999) More info. on the book at: http://www.wkap.nl/book.htm/0-7923-8609-4 ------------------------- The rapid evolution of computing, communication, and sensor technologies has brought about the proliferation of 'new' dynamic systems, mostly technological and often highly complex. Examples are all around us: computer and communication networks; automated manufacturing systems; air traffic control systems; and distributed software systems. The 'activity' in these systems is governed by operational rules designed by humans; their dynamics are therefore characterized by asynchronous occurrences of discrete events. These features lend themselves to the term discrete event system for this class of dynamic systems. A substantial portion of this book is a revised version of Discrete Event Systems: Modeling and Performance Analysis (1993), written by the first author, which received the 1999 HAROLD CHESTNUT PRIZE, awarded by the International Federation of Automatic Control for best control engineering textbook. This new expanded book is intended to be a comprehensive introduction to the field of discrete event systems, emphasizing breadth of coverage and accessibility of the material to readers with possibly different backgrounds. Its key feature is the emphasis placed on a unified modeling framework that transcends specific application areas and allows linking of the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, (max,+) algebra, Markov chains and queuing theory, discrete-event simulation, perturbation analysis, and concurrent estimation techniques. Until now, these topics had been treated in separate books or in research literature only. Introduction to Discrete Event Systems is written as a textbook for courses at the senior undergraduate level or the first-year graduate level. It will be of interest to students in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, operations research, and industrial engineering. ----------------------------- TABLE OF CONTENTS Preface 1. Systems and Models Introduction System and Control Basics Discrete Event Systems Summary of System Classifications The Goals of System Theory Summary & Problems Selected References 2. Languages and Automata Introduction The Concepts of Languages and Automata Operations on Automata Finite-State Automata Analysis of Discrete-Event Systems Summary & Problems Selected References 3. Supervisory Control Introduction Feedback Control with Supervisors Specifications on Controlled System Dealing with Uncontrollability Dealing with Blocking Modular Control Dealing with Unobservability Decentralized Control Summary & Problems Selected References 4. Petri Nets Introduction Petri Net Basics Comparison of Petri Nets and Automata Analysis of Petri Nets Summary & Problems Selected References 5. Timed Models Introduction Timed Automata Timed Petri Nets Dioid Algebras Concluding Comments Summary & Problems Selected References 6. Stochastic Timed Automata Introduction Stochastic Process Basics Stochastic Clock Structures Stochastic Timed Automata The Generalized Semi-Markov Process The Poisson Counting Process Properties of the Poisson Process Automata with Poisson Clock Structure Extensions of the GSMP Summary & Problems Selected References 7. Markov Chains Introduction Discrete-Time Markov Chains Continuous-Time Markov Chains Birth-Death Chains Uniformization of Markov Chains Summary & Problems Selected References 8. Introduction to Queueing Theory Introduction Specification of Queueing Models Performance of a Queueing System Queueing System Dynamics Little's Law Simple Markovian Queueing Systems Markovian Queueing Networks Non-Markovian Queueing Systems Summary & Problems Selected References 9. Controlled Markov Chains Introduction Applying "Control" in Markov Chains Markov Decision Processes Solving Markov Decision Problems Control of Queuing Systems Summary & Problems Selected References 10. Introduction to Discrete-Event Simulation Introduction The Event Scheduling Scheme The Process-Oriented Simulation Scheme Discrete-Event Simulation Languages Random Number Generation Random Variate Generation Output Analysis Summary & Problems Selected References 11. Sensitivity Analysis & Concurrent Estimation Introduction Sample Functions and Their Derivatives Perturbation Analysis: Some Key Ideas PA of GI/G/ 1 Queuing Systems IPA for Stochastic Timed Automata Sensitivity Estimation Revisited Extensions of IPA Smoothed Perturbation Analysis (SPA) PA for Finite Parameter Changes Concurrent Estimation Summary & Problems Selected References Appendices I. Review of Probability Theory II. IPA Estimator Index _._________________________________________________________________________._ Conferences _._________________________________________________________________________._ Contributed by: Bruce H. Krogh (krogh@ece.cmu.edu) FINAL CALL FOR PAPERS HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC’00) Third International Workshop Pittsburgh, PA USA Important Dates --------------- Submission deadline: October 15, 1999 Notification of acceptance: December 15, 1999 Final versions due: January 15, 2000 Workshop: March 23-25 (Thur-Sat), 2000 For complete instructions for submissions and other information about HSCC'00, please see the conference webpage http://www.ece.cmu.edu/~hs00 _._________________________________________________________________________._ Contributed by: Sarit Mukherjee Sixth IEEE Real-Time Technology and Applications Symposium Washington D.C., USA May 31-June 2, 2000 Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems Objectives and Scope The IEEE Real-Time Technology and Applications Symposium brings together real-time system developers and researchers from academia, industry and government to present the latest advances in real-time systems research, and discuss the practical challenges encountered and the solutions adopted. An exciting program that fosters discussions and technical exchanges is planned, including tutorials, panel discussions, full-paper presentations and work-in-progress sessions. Full-length papers, work-in-progress abstracts and tutorial proposals on various aspects of real-time computing and communication are sought, including QoS issues in computation and networking, systems integration, scheduling, operating systems, middleware, software engineering, dependability, databases, programming languages, system development tools, performance modeling, and various applications like multimedia, telecommunication and embedded systems. Of particular interest are papers detailing experiments, implementations, and experiences in application domains including, but not limited to, the following: Intelligent highway systems Robotics and automation Avionics Digital libraries Information appliances and home networks Internet applications and e-commerce Multimedia systems and video on demand Object-oriented design techniques Process control Testbeds and measurements Wireless applications The highest-quality student paper will be selected for a Best student paper award. To be considered for this award, the work in the paper must be conducted mainly by a student or students, the first author should be a student, and the student must present the paper at RTAS00. The best papers presented at the Symposium will be forwarded to the IEEE Transactions for fast-track publication (most likely in the IEEE/ACM Transactions on Networking, IEEE Transactions on Parallel and Distributed Systems, and Real-Time Systems Journal.) ------------------------------------------------------------------------ Submission Guidelines Manuscripts to be considered as full papers should be limited to 20 double-spaced pages. Work-in-progress abstracts to be considered for an "Ongoing Work" session should be limited to 6 double-spaced pages. Paper submissions should reach the program chair by December 10, 1999. Both hard-copy and electronic submissions will be accepted (electronic submission is preferred) as explained below. Any paper submitted to the Symposium must not have been published in or submitted elsewhere. Electronic Manuscript Submission: The preferred format for electronic submission is PDF suitable for Acrobat Reader. Postscript with US Letter size pages will also be accepted. Details on web submission guidelines is posted at http://rtas.eng.ohio-state.edu/paper_submission.html Hard-copy Manuscript Submission: If electronic submission is not possible, then six copies of each full-paper manuscript or work-in-progress abstracts should be mailed to the program chair Prof. Jennifer C. Hou Department of Electrical Eng. Email: jhou@ee.eng.ohio-state.edu The Ohio State University Phone: 614-292-7290 2015 Neil Ave Fax: 614-292-7596 Columbus, OH 43210-1272 In addition, a 150-word abstract (in ASCII) must be e-mailed to the Program Chair at by December 10, 1999. Tutorial Proposals Submission: Proposals for half-day tutorials in technically appealing areas of the Symposium are also solicited. Tutorial proposals should be submitted to the tutorial chair, Dr. Sandra R. Thuel, by December 17, 1999. Inquiries and Questions: For more information about the Symposium, send e-mail to the General Chair Kang G. Shin at kgshin@eecs.umich.edu. For questions regarding conference submissions, send e-mail to the Program Committee Chair Jennifer C. Hou at rtas@ee.eng.ohio-state.edu. The Web page for the conference can be accessed at http://rtas.eng.ohio-state.edu/. ------------------------------------------------------------------------ Important Dates December 10, 1999 -> Deadline for full-length manuscript submission December 17, 1999 -> Deadline for tutorial proposal submission February 28, 2000 -> Notification of acceptance of papers and tutorials March 10, 2000 -> Deadline for WIP abstract submission April 7, 2000 -> Deadline for camera-ready of accepted manuscripts May 30, 2000 -> Tutorials May 31 --June 2, 2000 -> RTAS'00, Washington D.C. ------------------------------------------------------------------------ Organizing Committee General Chair * Kang G. Shin, University of Michigan Program Committee Chair * Jennifer C. Hou, Ohio State University Finance Chair * Kwei-Jay Lin, Univ. of California, Irvine Tutorial Chair * Sandra R. Thuel, Lucent Bell Labs Research Work-In-Progress Paper Chair * Parmesh Ramanathan, University of Wisconsin, Madison Publicity Co-Chairs * Sarit Mukherjee, Panasonic Technologies, Inc. * Steven C. Hsueh, National Chung Cheng Univ., Taiwan Local Arrangements Chair * David Stewart, University of Maryland, College Park Program Committee Members * Vaduvur Bharghavan, University of Illinois, Urbana Champaign * Jon Crowcroft, University College London * Rene Cruz, University of California at San Diego * J. J. Garcia-Luna-Aceves, University of California at Santa Cruz * Mario Gerla, UCLA * Roch Guerin, Univ. of Pennsylvania * Marty Humphrey, Univ. of Virginia * Michael Jones, Microsoft Research * Kevin Jeffay, Univ. of North Carolina at Chapel Hill * Tei-Wei Kuo, National Chung-Cheng Univ., Taiwan * T.V. Lakshman, Lucent Bell Labs Research * Insup Lee, Univ. of Pennsylvania * K.-J. Lin, Univ. of California at Irvine * Jane Liu, University of Illinois, Urbana Champaign * Ibrahim Matta, Boston University * Ashish Mehra, IBM T.J. Watson Research * Sarit Mukherjee, Panasonic Research Labs * Joseph Ng, Hong Kong Baptist Univ. * Kihong Park, Purdue University * Sanjoy Paul, Lucent Bell Labs Research * Raj Rajkumar, Carnegie Mellon Univ. * Parmesh Ramanathan, Univ. of Wisconsin at Madison * Sandra R. Thuel, Lucent Bell Labs Research * Jennifer Rexford, AT&T Research * Debanjan Saha, Lucent Bell Labs Research * Lui Sha, University of Illinois, Urbana Champaign * Hyun-Sik Shin, Seoul National Univ. * Douglas Schmidt, WUSL * Jack Stankovic, Univ. of Virginia * Mori Takegaki, Mitsubishi Electric Corp. * Rose Tsang, Sandia National Laboratories * Farn Wang, Acad. Sinica, Taiwan * Andy Wellings, Univ. of York, UK * Wei Zhao, Texas A&M Univ. ------------------------------------------------------------------------ For more information check RTAS'00 Home Page at http://rtas.eng.ohio-state.edu/ _._________________________________________________________________________._ Contributed by: "5th Informs Telecommunications Conference - BocaRaton" Dear Collegues: I would like to invite you to submit a contribution to Boca2000, which is the 5th INFORM Conference on Telecommunications. This Conference takes place in Boca Raton every two years. The topics relate to the applications of OR to telecommunication networks. There is no need to submit a full paper, only an extended abstract of medium length. Submissions are through the web, but email submissions in Latex, word or text are now being accepted. Deadline for submissions is October 31st, 1999. The conference will take place from March 5 to 8, 2000. The CFP and all the information about the conference (when/where/how/who..) can be found at www.crt.umontreal.ca/GERAD/boca2000 Please forgive me if you receive this msg more than once. Looking forward to your contribution, Brunilde Sanso Program Chair Boca2000 _._________________________________________________________________________._ Contributed by: Wei Zhao ============ Call For Participation ===================== The 20th IEEE Real-Time Systems Symposium 0. Important Dates 1. Highlights of the Program 2. Advance Program 3. Hotel Information 4. Registration 5. Organization Committee ============ 0. Important Dates ======================== Important Dates ** November 1, 1999 -- Submission deadline for WIP papers ** November 10, 1999 -- Deadline for hotel reservations ** November 15, 1999 -- Deadline for advance registration ** November 30, 1999 -- Pre-Conference Workshop, Phoenix, Arizona ** December 1-3, 1999 -- RTSS '99, Phoenix, Arizona ============ 1. Highlights of RTSS'99 Program ========== This year, we will celebrate the 20-th anniversary of this symposium. Special events have been planned: ** Keynote Speeches: * David Tennenhouse, Chief Scientist, Defense Advanced Research Projects Agency (DARPA), 'It's Time to Get Physical' * Jim Kurose, Professor and Chair, Department of Computer Science, University of Massachusetts at Amherst, 'Scalable Network Support for Multimedia, Real-Time Communication' * C. L. Liu, President, National Tsing Hua University, 'From Time Sharing to Real Time - Sharing of a Really Good Time in the Last 40 Years' ** Award Ceremony. The IEEE CS Technical Committee on Real- Time Systems will present awards to those who have made significant contributions in leadership, technology advances, and service. **Panel on Challenges of Real-Time Computation and Communication, chaired by Lui Sha, Department of Computer Science, University of Illinois at Urbana-Champaign **Publication of a CD that contains all the papers in 20 RTSS Proceedings. Many of these RTSS papers have made significant impact in advancing the real-time technology. This CD collects them all. **Banquet for celebrating twenty years of achievement in the field of real-time systems. The banquet will also feature a surprise jazz concert. Regular Symposium Programs -------------------------- **Multi track paper presentations. 40 papers of high quality, selected from more than 140 submissions, will be presented in 12 sessions. **Workshop. On November 30, 1999, RTSS'99 will co-host a Workshop on Real-Time Mission Critical Systems. For details, visit http://www.cs.tamu.edu/conferences/rtss/workshop.html **Exhibition. RTSS'99 will include an industrial exhibition in a centrally located space, for vendors to demonstrate state-of-the-art systems, tools and applications. To reserve space for the exhibition, please contact the RTSS'99 Exhibition Chair: Lonnie Welch (welch@ohio.edu) **WIP Sessions. It is not too late to submit a paper to RTSS! We will have two sessions for work-in-progress (WIP) papers. WIP paper submissions are due on November 1, 1999. For details, please visit http://www.cs.tamu.edu/conferences/rtss/wip.html ============= 2. RTSS'99 Advance Program ============== November 30, 1999 , Workshop on Real-Time Mission-Critical Systems For details, see http://www.cs.tamu.edu/conferences/rtss December 1, 1999 8:00am Continental Breakfast 8:30am Welcome (R. Gerber and W. Zhao) 8:45am - 9:45am Keynote Speech 'It's Time to Get Physical', David Tennenhouse, Chief Scientist, DARPA 9:45am - 10:15am Coffee break 10:15am - 12:00noon Session I: Timing Issues (Chair: L. Welch) Timing Anomalies in Dynamically Scheduled Microprocessors, T. Lundqvist and P. Stenstrvm Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis, S. Kim, R. Ha, and S. Min Deriving Deadlines and Periods for Real-Time Update Transactions, M. Xiong and K. Ramamritham QoS Provisioning with qContracts in Web and Multimedia Servers, T. Abdelzaher and K. Shin 12:00noon - 1:00pm Lunch 1:00pm - 2:45pm Session II: Scheduling Algorithms (Chair: C. Shen) Design and Evaluation of a Feedback Control EDF Scheduling Algorithm, C. Lu, J. Stankovic, G. Tao, and S. Son New Results on Fixed Priority Aperiodic Servers, G. Bernat and A. Burns Optimal Reward-Based Scheduling for Periodic Real-Time Tasks, H. Aydin, P. Mejia-Alvarez, R. Melhem, and D. Mosse Cooperative Scheduling of Multiple Resources, S. Saewong and R. Rajkumar 2:45pm - 3:00pm Coffee Break 3:00pm - 4:00pm Panel (Chair: L. Sha) Challenges of Real-Time Computation and Communication 4:00pm - 5:00pm Session A: WIP Papers (Chair: B. Chen) The deadline for paper submission to the WIP sessions is Nov. 1, 1999. For details, see http://www.cs.tamu.edu/conferences/rtss 6:00pm - 7:00pm Meeting of IEEE TC on Real-Time Systems (Chair: L. Sha) December 2, 1999 8:00am Continental Breakfast 8:30am - 9:30am Keynote Speech 'Scalable Network Support for Multimedia, Real-Time Communication' Jim Kurose, Professor and Chair, University of Massachusetts at Amherst 9:30am - 10:00am Coffee break 10:00am - 12:00pm Session III: Specification and Verification (Chair: G. Fohler) Specification and Analysis of Soft Real-Time Systems: Quality and Quantity, P. D'Argenio, J. Katoen and E. Brinksma High-Level Modeling and Analysis of TCAS, J. Lygeros, Livadas, and N. Lynch Formal Techniques for Dependable RT Protocols, P. Sinha and N. Suri SRDE-Application of Data Similarity to Process Control, D. Chen and K. Mok 10:00am - 12:00noon Session IV: Task Coordinations (Poster) On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems, M. Thomadakis and S. Liu Enabling Deadline Scheduling for Java Real-Time Computing, C. Lizzi A Framework for Scheduler Synthesis, K. Altisen, G. Goesler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine On Scheduling Tasks in Reliable RT Control Systems, R. Chandra and L. Sha 12:00noon - 1:00pm Lunch 1:00pm - 2:50pm Session V: RT Communication (Chair: A. Bestavros) A Framework for Provisioning of Temporal QoS in Core- Based Multicast Routing, H. Tyan, C. Hou, and B. Wang Transport of MPEG Video with Statistical Loss and Delay Guarantees in ATM Networks, S. Kweon and K. Shin Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic, J. Ng, S. Song, and B. Tang Parallel Switching in Connection-Oriented Networks, J. Anderson, S. Baruah, and K. Jeffay 1:00pm - 2:50pm Session VI: New Applications (Poster) Remote Controlled Mobile Imaging in a High Temperature Tunnel Environment, G. Mauer and C. Fernando The HoneyWEB: Embedded Web-based Control Applications, C. Iaccarino, D. Perozzi, M. Sigel, A. Staikos, R. Taylor Jr., and P. Morreale IP Security Impact on System Performance in a Distributed Real-Time Environment, B. Chappell, D. Marlow, P. Irey IV, and K. O'Donoghue Time-based Linux for Real-Time NOWs and MPI/RT, M. Apte, S. Chakravarthi, A. Skjellum, and X. Zan 3:10pm - 5:00pm Session VII: System Development (Chair: S. Liu) FARACost: An Adaptation Cost Model Aware of Pending Constraints D. Rosu and K. Schwan System-Level Issues for Software Thread Integration: Guest Triggering and Host Selection, A. Dean and J. Shen Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel, Y. Wang and K. Lin An FPD Open Environment for RT Applications, T. Kuo and C. Li 3:10pm - 5:00pm Session VIII: Design and Implementations (Poster) Testing the Temporal Behavior of Real-Time Tasks using Extended Evolutionary Algorithms, J. Wegener, H. Sthamer, and H. Pohlheim Design and Implementation of SRMS in Linux, A. Atlas and Bestavros RT Garbage Collection in Multi-Threaded Systems, F. Siebert Proportional Time Simulation of ATM Networks, S. House, S. Murthy, and D. Niehaus 5:30pm - 6:30pm Session B: WIP Papers (Chair: T. Znati) 7:00pm - 9:00pm Award Ceremony and Conference Banquet December 3, 1999 8:30am - 9:30am Keynote Speech 'From Time Sharing to Real Time - Sharing of a Really Good Time in the Last 40 Years', C. L. Liu, President, National Tsing Hua University 9:30am - 10:00am Coffee Break 10:00am - 12:00noon Session IX: Resource Management (Chair: J. Huang) Sharing Resources among Periodic and Aperiodic Tasks With Dynamic Deadlines, M. Caccamo, G. Lipari, and G. Buttazzo Pfair Scheduling of Fixed and Migrating Tasks on Multiple Resources M. Moir and S. Ramamurthy The Rate-Based Execution Model, K. Jeffay and S. Goddard A Scalable Solution to the Multi-Resource QoS Problem, C. Lee, J. Lehoczky, D. Siewiorek, R. Rajkumar and J. Hansen 12:00noon - 1:15pm Lunch 1:15pm - 3:15pm Session X: Distributed Systems (Chair: D. Locke) Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems, J. Palencia and M. Harbour Priority Inheritance and Ceilings for Dis. Mutual Exclusion, F. Mueller Hierarchical Scheduling of Periodic Messages in Open System, L. Zhang, J. Liu, Z. Deng, and I. Philp Towards Systematic Testing of DRT Systems, H. Thane and H. Hansson ============= 3. RTSS'99 Hotel Information ============== RADISSON RESORT & SPA SCOTTSDALE 7171 North Scottsdale Rd., Scottsdale, AZ 85253 USA Telephone: (480) 991-3800; Fax: (480) 948-1381 The Radisson Resort & Spa Scottsdale is a 318-room building located on 76 acres of lushly landscaped resort grounds located in the heart of Scottsdale's resort and golf area. Enjoy splendid views of the McDowell Mountains, and 36 holes of championship golf. Room amenities include coffee maker, hairdryer, iron/ironing board, with 21 lighted tennis courts, 3 outdoor heated pools and a brand new state-of-the-art health spa. Hotel self-parking is complimentary for overnight guests. The hotel is located north of downtown Scottsdale Road at Indian Bend. Take I-10 to 60 East. Take Rural Road North Exit, which turns into Scottsdale. The resort is located past Indian Bend on the right. Accommodations: RTSS'99 has arranged a block of rooms at the Radisson Resort & Spa Scottsdale at a special conference rate of $125.00 + 10.67% tax single or double per day. Triple Occupancy is $135.00 + 10.67% tax, and Quad Occupancy is $145.00 + 10.67% tax per day. In order to receive this group rate, it is imperative that individuals indicate the following group name: 'IEEE Real-Time Systems Symposium' when making reservations on or before November 10, 1999. For reservations call (800) 333-3333 or (480) 991-3800, or Fax: (480) 948-1381. Cancellation: Individuals must cancel 72 hours or 3 days prior to arrival date in order not to be charged for the first night's room and tax. Check-in Time: 4:00 p.m. Check-out Time: 12:00 noon Cut-off Date for guaranteed guest room reservations is NOVEMBER 10, 1999. Please make your reservations EARLY in order to guarantee a room. All reservations must be guaranteed and accompanied by a first night room deposit, or guaranteed with a major credit card. After NOVEMBER 10, 1999, all excess rooms will be released. Any reservation received after the cut-off date will be accepted on a space available basis at the group rate. Transportation: All Trans Service to/from hotel: Please pick up phone at Baggage Claim area for Radisson Resort & Spa Scottsdale, and All Trans will arrange to pick you up. You will have a choice of shuttle service ($12.00 per person), or Town Car Service ($14.00 per person., unless after 4:00 p.m., then cost is $28.00 per car). No reservations required for service from Airport to Radisson Resort & Spa Scottsdale. Taxi to or from Phoenix Skyharbor Airport is approximately $25.00. Directions From Phoenix Skyharbor International Airport: Phoenix Skyharbor International Airport is 12 miles, or a 20-25 minute drive from the resort. From the airport, take 44th St. Exit it will turn into McDonald Drive. Take McDonald Drive to Scottsdale Road and turn left on Scottsdale the resort will be on the right. ============= 4. RTSS'99 Registration ============== You may register in three different ways: 1) fill in this form and mail it to Linda Buss (see the address below); 2) visit the conference home page for on-line registration; 3) email the required information to realtime@cs.tamu.edu Name _____________________________________________ Affiliation ______________________________________ Street Address ___________________________________ City ______________ State ______ Zip Code ________ Country _____________ Email ______________________ Phone _______________ Fax ________________________ If you are going to register as an IEEE Member, please provide your IEEE Membership No: ___________ Workshop Fees Category Before Nov. 15 After Nov. 15 IEEE Members $150 $180 Non-Members $180 $220 Symposium Fees Category Before Nov. 15 After Nov. 15 IEEE Members $450 $550 Non-Members $570 $690 Full-time Students $240 $300 Workshop Fee $ ____________________________________ Symposium Fee $ ___________________________________ Total Due $ _______________________________________ Conference registration includes admission to conference, copy of proceedings, one copy of the CD, continental breakfasts, lunches, coffee breaks, and the conference banquet. The workshop fees include continental breakfast, lunch, coffee breaks and a copy of the workshop proceedings. The student fee includes admission to all the events of the symposium, and a copy of the proceedings. To receive the student rate, the student should present the advisor name and signature at the time of registration. Advisor name ________________ Signature ___________________ Written requests for refunds must be postmarked no later than Nov. 15, 1999. Refunds are subject to a $50 processing fee. All no-show registrations will be billed in full. Registrations after 11/15/99 will be accepted on-site only. NOTE: To save on postage, receipts will be given out at the conference. Credit Card [] Visa [] Master [] American Express Credit Card Number ________________________________ Cardholder Name ___________________________________ Credit Card Expiration Date _______________________ Total Charges Authorized __________________________ Signature of Card Holder __________________________ For any questions on registration, please contact Linda Buss, E3774 - 550th Ave., Menomonie, WI 54751; Phone 715- 235-0487; Fax 715-235-2258 or 715-232-6244; email LJBuss@win.bright.net ========== 5. RTSS'99 Organization Committee ============= General Chair Richard Gerber University of Maryland Program Chair Wei Zhao Texas A&M University Finance Chair Walt Heimerdinger Workshop and Exhibition Chair Lonnie R. Welch International Liaison Co-Chairs Wolfgang Halang Tei Wei Kuo Industrial Liaison Co-Chairs Rakesh Jha Arkady Kanevsky WIP Paper Chair Biao Chen Ex-Officio (IEEE RTS-TC Chair) Lui Sha Program Committee Theodore P. Baker Riccardo Bettati Sanjoy K. Baruah Alan Burns Giorgio Buttazzo Lisa Cingiser DiPippo Hans A. Hansson Jim Huang Jennifer Hou Gerhard Fohler Farnam Jahanian Kevin Jeffay Michael Jones Sanjay Kamat Hermann Kopetz Insup Lee Kwei-Jay Lin Jane Liu Doug Locke Dave Marlow Joseph Kee-Yin Ng Ragunathan (Raj) Rajkumar Krithi Ramamritham Karsten Schwan Lui Sha Chia Shen Heonshik Shin Kang G. Shin Sang Hyuk Son Neeraj Suri Fang Wang Horst F. Wedde _._________________________________________________________________________._ Contributed by: Robert L Givan Call for Papers and Participation AIPS 2000 Workshop on PLANNING AND SCHEDULING IN CONTROL OF DYNAMIC ENTERPRISES Breckenridge, CO, USA, April 14, 2000 The proposed workshop will explore the issues and opportunities at the interface of Planning/Scheduling and Enterprise-level Control. We observe a rapidly growing interest in exploring opportunities for convergence of Planning/Scheduling and the recent advances in supervisory control of discrete and hybrid systems. An intriguing evidence of this interest is the recent initiation of large-scale programs focused on a broader issue of control of enterprise operations, as opposed to generation of plan/schedule for an enterprise. The message is How do we do planning/scheduling within the overall process of continuous control of complex, large-scale dynamic enterprises? Prior conferences/workshops on Planning and Control have focused largely (although not exclusively) on planning and control in robotics applications. This workshop, although not excluding such a research, will strive to give greater weight to the planning and control of an enterprise a large-scale system with broadly distributed and potentially conflicting goals, resources and constraints, with multiple semi-autonomous participants of both human and artificial nature (e.g., large military operations, financial/trading institutions, logistics systems, manufacturing plants, power grids). Conceptual convergence and opportunities for cross-fertilization between the two fields Planning/Scheduling and Enterprise-level Supervisory Control are exceptionally strong. Rapidly accelerating research in discrete-event control systems and hybrid systems finds itself facing many of the same issues that are being explored within the planning/scheduling community. E.g., practical applications of model-predictive control contain important functional elements that are indistinguishable from a planning/scheduling application; issues of stability in dynamic replanning have not been adequately addressed yet, and can benefit greatly from the extensive results developed within the control community. Specific Topics of Interest Integrated planning, scheduling and control algorithms Control and planning of Discrete-Event Systems Stability and dynamic phenomena in dynamic replanning, rescheduling and execution Adaptive control vs. learning in planning Game-theoretic control and adversarial planning Mixed-initiative planning/scheduling and role of humans on the control loop Distributed control vs. multi-agent planning Monitoring and state estimation in control and planning This workshop is intended to bring together theoretical and applied researchers from both the Planning and Scheduling community and the Control Theory community. Format of the Workshop The workshop will combine an invited talk, presentations of papers and a poster session which may also include demonstrations. Thus, the workshop invites any of the following, or a combination thereof: a full-length paper a poster presentation a demonstration of a software system. Submission Guidelines Papers should not exceed 8 pages in length and must use AAAI macros and templates and AAAI instructions. Researchers wishing to participate in the poster and/or demonstration session can submit either a 2-page position paper or a full-length paper corresponding to their posters or demonstration. The organizing committee will determine the acceptance of the papers for either a talk of about 20 minutes or a poster presentation. All full-length papers accepted for either a talk or the poster session will be included the workshop publication. Submit all papers as uncompressed PostScript files via e-mail to akott@cgi.com Important Dates Submission Deadline: December 15, 1999 Submission Notification: January 30, 2000 Final Submission Due: February 28, 2000 Workshop Held: April 14, 2000 Workshop Organizers Alexander Kott, akott@cgi.com Bruce Krogh, krogh@ece.cmu.edu Stephen Smith, sfs@cs.cmu.edu Further Information See www.ece.cmu.edu/~pscontrol or send your questions to one of the workshop organizers. _._________________________________________________________________________._ The End _._________________________________________________________________________._ Fri Oct 22 13:36:17 EST 1999