From krogh@ece.cmu.edu Tue Jul 20 18:19:44 1999 Date: Mon, 19 Jul 1999 09:16:50 PDT From: "Bruce H. Krogh" Reply-To: Theory-A - TheoryNet World-Wide Events , "Bruce H. Krogh" To: THEORYNT@LISTSERV.NODAK.EDU Subject: CALL FOR PAPERS: HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC'00) Contributed by: Bruce H. Krogh (krogh@ece.cmu.edu) CALL FOR PAPERS HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC'00) Third International Workshop Pittsburgh, PA USA http://www.ece.cmu.edu/~hs00 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 Aims and Scope -------------- The Workshop on Hybrid Systems attracts researchers from industry and academe interested in modeling, analysis, and implementation of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the latest developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications. The Third International Workshop continues the series of workshops held in Grenoble, France (HART'97), University of California at Berkeley, USA (HSCC'98), and Nijmegen, The Netherlands (HSCC'99). Proceedings of these workshops have been published in the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag. Scientific Program and Topics ----------------------------- Sessions will include presentations of contributed and invited papers. In keeping with the tradition of previous workshops, there will be ample time and space for informal discussions. Submissions are invited in all areas pertaining to the design, analysis and implementation of hybrid control systems. Topics include but are not limited to: - modeling and representations of hybrid systems - reasoning about hybrid systems at multiple levels of abstraction - specification and implementation languages - computer-aided design and simulation - algorithms and heuristics for verification - control (synthesis, controllability, stability) - optimization of hybrid systems - engineering applications Reports on case studies and tool development are particularly encouraged. Tool demonstrations will form an integral part of the workshop. Venue --------- The workshop will be held at the University Club, a private club near the campuses of Carnegie Mellon University and the University of Pittsburgh. Submissions ----------- Researchers are invited to submit the postscript file of an extended abstract via e-mail to: hs99@ece.cmu.edu. The abstract should not exceed 10 pages. The first page should contain the title of the paper, each author's name and affiliation, complete contact information for the corresponding author (postal and e-mail addresses, telephone and fax numbers), and a one-paragraph summary of the contribution. Full versions of the accepted submissions will be published in the Springer LNCS series. The proceedings will be available at the workshop. Workshop Co-chairs --------------------------- Bruce H. Krogh (krogh@ece.cmu.edu) and Nancy Lynch (lynch@theory.lcs.mit.edu) Program Committee --------------------------- Rajeev Alur, Eugene Asarin, Marica Di Benedetto, Gautam Biswas, Rene Boel, Michael Branicky, Peter Caines, Datta Godbole, Mark Greenstreet, Stefan Kowalewski, Bruce H. Krogh (co-chair), Yassine Lakhnech, Michael Lemmon, Bengt Lennartson, Nancy Leveson, Daniel Liberzon, John Lygeros, Nancy Lynch (co-chair),Oded Maler, Manfred Morari, Joerge Raisch, Anders Rantzer, Anders Ravn, Alberto Sangiovanni-Vincentelli, Roberto Segala, Henny Sipma, Eduardo Sontag, Claire Tomlin, F.W. Vaandrager, Howard Wong-Toi, Sergio Yovine, Feng Zhao Steering Committee -------------------------- Panos Antsaklis, Tom Henzinger, Bruce Krogh, Nancy Lynch, Oded Maler, Amir Pnueli, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Jan van Schuppen, Frits Vaandrager. Additional Information ----------------------------- To stay informed about HSCC'00, register for e-mail announcements by sending e-mail to hs99@ece.cmu.edu. Also refer to the Workshop webpage at http://www.ece.cmu.edu/~hs00. *** Bruce H. Krogh Dept. of Electrical and Computer Engineering Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3890 ph. +1 412 268 2472 fax -3890 e-mail: krogh@ece.cmu.edu [Part 2, Text/HTML 141 lines] [Unable to print this part]