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 274 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.

Tracking Control for Hybrid Systems With State ... - of Maurice Heemels
Index Terms—Asymptotic stability, control system analysis, hy- ... Digital Object Identifier 10.1109/TAC.2012.2223351 ...... changes sign at impacts, and the.

A control problem for hybrid systems with discrete ...
high-level control algorithms and software for complex electro-mechanical ...... for matrices Mu,q,Aqc ∈ Rn×n, vectors bu,q,rqc,j,Bqc,j, ni ∈ Rn, and scalars bi,µ1 ...

Sampled-data control of hybrid systems with discrete ...
In §5 the class of hybrid systems of interest is defined and the computation of a finite- state abstraction of the hybrid plant is discussed. In §6, as an illustration ...

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,.

Read PDF ASIA CCS 17 ACM Asia Conference on ...
... of the International Conference on Cloud Security Management ICCSM 2013 ... to date and secure with the software on your computer 1 I celebrate myself and ... Bosnia and Herzegovina ISO 3166 BA Bremsassistent Kfz motor vehicle BA ...

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.

8th International Conference on
Ana Colubi (Oviedo, Spain). Thierry Denoeux (Compiegne, France). Massimo ... Statistical Software for Imprecise. • Dempster-Shafer Theory. • Applications in ...

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

ACM and ACM-W Schedule -
Karen Shanklin, Courtney Brazell, and Kristijana Arroyo will talk about their experiences at. Sandia, the Jill Hruby Fellowship, and the open source wave energy converter array simulation tool, SWAN. Female students are strongly encouraged to attend.

Trust, Transparency & Control in Inferred User ... - ACM Digital Library
Apr 26, 2014 - Abstract. This paper explores the importance of transparency and control to users in the context of inferred user interests. More specifically, we illustrate the association between various levels of control the users have on their inf

Realization Theory of Hybrid Systems
means that as we advance in time, more and more data points are needed to ..... can construct such a hybrid representation from the columns of a suitably big ...

Realization Theory of Bilinear Hybrid Systems
The main tool used in the paper is the theory of for- mal power series. ... Finally, Section 5. develops realization theory for bi- linear hybrid systems. 2. Bilinear ...

national conference on -
The greenery, the dazzling stream and the freshness and simplicity around will make the campus life fascinating and exciting. One will enjoy staying in the ...

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-.

Evolutionary Computation, IEEE Transactions on - IEEE Xplore
search strategy to a great number of habitats and prey distributions. We propose to synthesize a similar search strategy for the massively multimodal problems of ...

8th CONFERENCE DYNAMICAL SYSTEMS THEORY ...
Prentice-Hall Inc., Englewood Cliffs, New Jersey,. 1987. 10. Ju, J. W. On energy-based coupled elastoplastic damage theories: Constitutive modeling and computational aspects. International Journal of Solids and Structures, 25(7), 1989: 803-833. 11. L