17th International Conference on Hybrid Systems: Computation and Control April 15-17, 2014 Berlin, Germany URL: http://2014.hscc-conference.org/ Important dates: Submission deadline: October 14, 2013. Rebuttal phase: November 27 to December 2, 2013. Author notification: December 17, 2013. Camera-ready submission: February 3, 2014 Conference dates: April 15-17, 2014 Conference Scope: "Hybrid Systems: Computation and Control" (HSCC) focuses on research that involves a blend of concepts, tools, and techniques from computer science, control theory, and applied mathematics for analysis and control of dynamical systems that exhibit combined continuous and discrete (hybrid) dynamics. By drawing on strategies from both computation and control, this field offers techniques applicable to both man-made, cyber-physical systems (ranging from mixed signal circuits and small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). HSCC has long been a leading, single-track conference for such rigorous, interdisciplinary approaches to dynamical systems with an emphasis on computational aspects. Researchers from academia and industry are invited to submit manuscripts on their latest research in this area. Topics of interest include, but are not limited to: - Design, synthesis, analysis, verification, and control of hybrid systems; - Computability and complexity; - Programming languages, specification formalisms, and software tools; - Real-time computing and resource-aware control for embedded systems; - Applications in areas such as automotive, communication and wireless networks, avionics, transportation networks, energy systems, mobile robotic networks, environmental monitoring, medical devices, manufacturing, analog and mixed-signal electronics, systems biology, and other sciences; HSCC 2014 will be part of the 7th CPSWeek (Cyber-Physical Systems Week) collocating 5 conferences: HSCC, the Real-Time and Embedded Technology and Applications Symposium (RTAS), the International Conference on Information Processing in Sensor Networks (IPSN), the Conference on High Confidence Networked Systems (HiCoNS) and the International Conference on Cyber-Physical Systems (ICCPS). Submission Guidelines: Submitted papers should present original research that is unpublished and not submitted elsewhere. Regular papers: maximum 10 pages in the 10pt, two-column ACM format. Submission by October 14, 2013 through the EasyChair system. Regular papers should present original research or industrial applications of techniques for design and/or analysis of hybrid systems, or their integration into industrial design flows. Tool and Case-Study papers: maximum 6 pages in the 10pt, two-column ACM format. Submission by October 14, 2013 through the EasyChair system. Tool Papers should describe an implemented tool and its novel features. Case studies should present hybrid systems tools or techniques. Authors of accepted Regular, Tool and Case-Study papers with a computational component will be invited to submit their code and data to an optional repeatability evaluation in late January. Submissions of Regular, Tool and Case-Study papers should be made through the HSCC 2014 EasyChair Website: https://www.easychair.org/conferences/?conf=hscc2014 Demo/poster abstracts: Approximately 2 pages. Submission by October 14, 2013 through email to hscc2014@easychair.org with ÒHSCC demo submissionÓ in the subject line. Questions should be directed to the same address. Demo/poster abstracts serve the sole purpose of selecting contributions for the demo and poster session and will not be published in the conference proceedings. Proposals for workshops and tutorials for the CPS Workshop and Tutorial Day (April 14, 2014) should be submitted directly to CPS Week https://www.cpsweek2014.org/ by September 29, 2013. Workshops should provide an arena for presentations and discussion about a special topic of relevance to CPS Week and HSCC. Tutorials should present in-depth content in a mini-course format aimed primarily at students, researchers and industry members. Program Chairs: Martin Fraenzle, Carl von Ossietzky Universitaet Oldenburg, Germany. John Lygeros, ETH Zurich, Switzerland. Publicity Chair: Sriram Sankaranarayanan, University of Colorado, Boulder, U.S.A. Program Committee: Alessandro Abate, University of Oxford, UK. Erika Abraham, R.W.T.H. Aachen, Germany Matthias Althoff, T.U. Ilmenau, Germany Calin Belta, Boston University, U.S.A. Patricia Boyer, C.N.R.S., France Manfred Broy, T.U. Muenchen, Germany Krishnendu Chaterjee, I.S.T. Austria, Austria Patrick Cousot, New York University, U.S.A. Stefano Di Cairano, Mitsubishi, U.S.A. Alexandre Donze, U.C. Berkeley, U.S.A. Georgios Fainekos, Arizona State University, U.S.A. Goran Frehse, Verimag, France Klaus Havelund, NASA JPL, U.S.A. Ian Hiskens, University of Michigan, U.S.A. Franjo Ivancic, NEC Labs, U.S.A. Xenofon Koutsoukos, Vanderbilt University, U.S.A. Mircea Lazar, T.U. Eindhoven, The Netherlands Javad Lavaei, Columbia University, U.S.A. Rupak Majumdar, M.P.I., Germany Pieter Mosterman, Mathworks, U.S.A. Girish Nair, University of Melbourne, Australia Jens Oehlerking, Bosch, Germany Andreas Podelski, University of Freiburg, Germany Pavithra Prabhakar, IMDEA, Spain Daniel Quevedo, University of Newcastle, Australia Federico Ramponi, University of Brescia, Italy Joerg Raisch, T.U. Berlin, Germany Stefan Ratschan, Academy of Sciences, Czech Republic Anders Ravn, Aalborg University, Denmark Hendrik Sandberg, KTH, Sweden Ricardo Sanfelice, University Arizona, U.S.A. Sriram Sankaranarayanan, University of Colorado at Boulder, U.S.A. Paulo Tabuada, UCLA, U.S.A. Ufuk Topcu, University of Pennsylvania, U.S.A. Ashutosh Trivedi, IIT Bombay, India Verena Wolf, Saarland Unversity, Germany Naijun Zhan, Chinese Academy of Sciences, PR China Paolo Zuliani, University of Newcastle, U.K. |