20th ACM Conference on Hybrid Systems: Computation & Control (HSCC) April 18-21, 2017, Pittsburgh 2017.hscc-conference.org/

Program Committee Chairs

Goran Frehse, Univ. Grenoble Alpes-Verimag Sayan Mitra, Univ. of Illinois at Urbana-Champaign

Publicity Chair

Necmiye Ozay, Univ. of Michigan Program Committee Alessandro Abate, University of Oxford Erika Abraham, RWTH Aachen Matthias Althoff, TU München Saurabh Amin, MIT Murat Arcak, UC Berkeley Shun-Ichi Azuma, Kyoto Univ. Christel Baier, TU Dresden Hamsa Balakrishnan, MIT Ezio Bartocci, TU Wien Calin Belta, Boston Univ. Sergiy Bogomolov, IST Austria Alessandro Cimatti, Fondazione Bruno Kessler Alessandro D'Innocenzo, Univ. of L'Aquila Thao Dang, VERIMAG, France Anupam Datta, CMU Jyotirmoy Deshmukh, Toyota Arvind Easwaran, Nanyang Tech. Univ. Georgios Fainekos, Arizona State Univ. Lu Feng, Univ. of Virginia Martin Fränzle, Carl von Ossietzky Univ. Oldenburg Sicun Gao, MIT Antoine Girard, Laboratoire des Signaux et Sys. CNRS Ichiro Hasuo, Univ. of Tokyo Franjo Ivancic, Google Taylor T Johnson, Vanderbilt Univ. James Kapinski, Toyota Hadas Kress-Gazit, Cornell University Marta Kwiatkowska, University of Oxford Mircea Lazar, Eindhoven Univ. of Technology Jun Liu, Univ. of Waterloo Daniele Magazzeni, King's College London Manuel Mazo Jr., TU Delft Ian Mitchell, Univ. of British Columbia Meeko Oishi, Univ. of New Mexico Necmiye Ozay, Univ. of Michigan André Platzer, CMU Vinayak Prabhu, MPI-SWS Maria Prandini, Politecnico di Milano Akshay Rajhans, MathWorks S Ramesh, General Motors Grigore Rosu, Univ. of Illinois at Urbana-Champaign Indranil Saha, IIT Kanpur Ricardo Sanfelice, Univ. of Arizona Scott Smolka, Stony Brook Univ. Oleg Sokolsky, Univ. of Pennsylvania Herbert Tanner, Univ. of Delaware Ashish Tiwari, SRI Ufuk Topcu, Univ. of Texas at Austin Jana Tumova, Royal Institute of Technology Ram Vasudevan, Univ. of Michigan

Steering Committee

Rajeev Alur, Univ. of Pennsylvania Werner Damm, OFFIS John Lygeros, ETH Zurich Oded Maler, Verimag Paulo Tabuada, UCLA Claire Tomlin, UC Berkeley

Paper Submission: October 13, 2016 (11:59 pm UTC-12 firm) Notifications: December 20, 2016 Camera-ready: February 17, 2017 Conference dates: April 18-21, 2017 th

HSCC 2017 is the 20 in a series of conferences on all aspects of hybrid systems. It is dedicated to advancing design and analysis techniques that bridge control theory and computer science, and is expanding to new domains in security and privacy and in systems biology. The conference covers the range from theoretical results to practical applications and experiences in cyber-physical systems (CPS), mixed signal circuits, robotics, infrastructure networks, and biological models. Topics of interest include, but are not limited to, the following subjects: • • • • • • • • •

Mathematical foundations, computability and complexity Modeling paradigms and techniques Design, synthesis, planning, and control Analysis, verification, validation, and testing Programming and specification languages Network science and control over networks Security and privacy in cyberphysical systems Software tools Applications and case studies

HSCC 2017 will be part of the ninth Cyber Physical Systems Week (CPS Week), and colocated with the International Conference on Cyber-Physical Systems (ICCPS), Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), Conference on Internet-of-Things Design and Implementation (IOTDI), and related workshops. New this year: HSCC 2017 will employ light double-blind reviewing. To facilitate this, submitted papers must adhere to two rules: (a) author names and institutions must be omitted, and (b) references to authors’ own related work should be in the third person. See this FAQ page with many common concerns. Regular papers: Submissions should present unpublished original research, not under review elsewhere. Maximum 10 pages in 10pt, two-column ACM format. ACM templates are available from: http://www.acm.org/sigs/publications/proceedings-templates. Paper submissions should be preceded by an abstract (date TBA). Tool and case study papers: Tool Papers should describe an implemented tool and its novelty. Maximum 6 pages in the 10pt, two-column ACM format. Demo/posters: Demo/poster descriptions are used for selecting contributions for demo/poster session, and will not be published in the proceedings. Maximum 2 pages. Title should begin with “Demo (Poster):”. Should be submitted to the “Demonstrations and Posters” track at the submission website. Submission deadline: February (TBA). Submission website for papers: https://easychair.org/conferences/?conf=hscc17 Repeatability evaluation: Authors of accepted papers will be invited to participate in an optional repeatability evaluation process after the camera-ready submission. Papers that pass will receive the “artifact evaluated” badge and there will be a Best RE Award. The official publication date is when the proceedings appear in the ACM Digital Library which may be up to two weeks before the conference.

20 ACM Conference on Hybrid Systems: Computation & Control ...

Program Committee. Alessandro Abate, University of Oxford. Erika Abraham, RWTH Aachen. Matthias Althoff, TU München. Saurabh Amin, MIT. Murat Arcak, UC Berkeley. Shun-Ichi Azuma, Kyoto Univ. Christel Baier, TU Dresden. Hamsa Balakrishnan, MIT. Ezio Bartocci, TU Wien. Calin Belta, Boston Univ.

789KB Sizes 0 Downloads 115 Views

Recommend Documents

2012 IEEE/ACM International Conference on Advances in Social ...
Link and Node Analysis of Gender Based Collaborations in Turkish Social .... Link Prediction for Bipartite Social Networks: The Role of Structural Holes .

Americas Conference on Information Systems
Aug 17, 2008 - between software applications. ..... Benslimane, D., Daboue, D., Maamar, Z. and Onana, F. S. M. (2007) WSRS: A Web Service Recommender.

A control problem for hybrid systems with discrete ...
is not synchronized with inputs, and that the hybrid plant contains reset maps. ..... Definition 7 (Quasi-recognizable sequential input-output maps, [21]).

Tracking Control for Hybrid Systems With State ... - of Maurice Heemels
University of Technology, 5600MB Eindhoven, The Netherlands (e-mail: j.j.b. ...... positions as a Visiting Professor at the University of California Santa Barbara,.

Intl. Conference on Intelligent Robots and Systems
maintainability simulation in Aeronautics, called. REV/MA (Virtual Reality for Maintainability). In this project a software-hardware tool is designed and built.

Intl. Conference on Intelligent Robots and Systems
project a software-hardware tool is designed and built .... easy support and management, and software ... the last position received is taken into account.

On Counterfactual Computation
cast the definition of counterfactual protocol in the quantum program- ... fact that the quantum computer implementing that computation might have run.

Distributed PageRank Computation Based on Iterative ... - CiteSeerX
Oct 31, 2005 - Department of Computer. Science. University of California, Davis. CA 95616, USA .... sults show that the DPC algorithm achieves better approx-.