posted by user: sayanmitra || 7707 views || tracked by 13 users: [display]

HSCC 2016 : Hybrid Systems Computation and Control

FacebookTwitterLinkedInGoogle


Conference Series : Hybrid Systems
 
Link: http://www.cs.ox.ac.uk/conferences/hscc2016/
 
When Apr 12, 2016 - Apr 14, 2016
Where Vienna
Abstract Registration Due Oct 8, 2015
Submission Deadline Oct 23, 2015
Notification Due Dec 18, 2015
Categories    formal methods   control   verification   real-time
 

Call For Papers

19th International Conference on Hybrid Systems: Computation and Control (HSCC)
April 12-14, 2016,
Vienna, Austria

URL: http://www.cs.ox.ac.uk/conferences/hscc2016/


Important dates

Abstract Submission deadline (required): October 8, 2015. (no extensions possible)
Paper Submission deadline: October 23, 2015. (no extensions possible)
Rebuttal phase: November 27 to December 4, 2015.
Author notification: December 18, 2015.
Camera-ready submission: TBA.
Demos/posters submission deadline: TBA.
Conference dates: April 12-14, 2016.


Conference Scope

Hybrid Systems: Computation and Control (HSCC) has long been the leading, single-track conference on foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of dynamical systems that exhibit continuous and discrete (hybrid) dynamics. Applications deal broadly with cyber-physical systems (CPS), and include mixed signal circuits, robotics, large-scale infrastructure networks, as well as natural systems such as biochemical and physiological models.

We solicit theoretical as well as applied research papers that present original work combining ideas from computer science and control systems. Topics of interest include, but are not limited to:
- Design, synthesis, planning and control
- Analysis, automated verification (Boolean or quantitative)
- Certification, validation, and testing
- Model building from data (via learning) and model simulation
- Mathematical foundations, computability and complexity
- Programming languages, specification formalisms
- Software tool engineering and experimentation
- Real-time and resource-aware control
- Network science and control over networks
- Applications in cyber-physical systems, and in particular: automotive, avionics, energy and power, mobile and autonomous robotics, medical devices, manufacturing, transportation, systems and synthetic biology, models for the life sciences, and other areas.

HSCC 2016 will be held as part of the eighth Cyber Physical Systems Week (CPS Week), alongside the International Conference on Cyber-Physical Systems (ICCPS), the International Conference on Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), and CPS-related workshops.

Special Issue: Authors of distinguished papers may be invited to submit an extended version of their work for possible publication in a special issue of a leading journal in the CPS research area.

Best Student Paper Award: As established in the previous years, a best student paper award will be given to a contribution primarily authored by a student.

Repeatability Evaluation: HSCC has a history of publishing strong papers emphasising computational contributions; however, subsequent re-creation of these computational elements is often challenging because details of the implementation are unavoidably absent in the paper. Authors of papers accepted to HSCC (in any track) that contain a computational component will be invited to participate in an optional repeatability evaluation process after final submission of the paper in February. Papers that pass will be highlighted at the conference and in the proceedings, and all submissions will receive confidential feedback from independent reviewers on any challenges faced in recreating the computational results. Further details will be posted at the conference web page.

Submission Guidelines

Submitted papers should present unpublished original research, not under review elsewhere.

Regular papers: maximum 10 pages in the 10pt, two-column ACM format.

Tool and Case Study papers: maximum 6 pages in the 10pt, two-column ACM format. Tool Papers should describe an implemented tool and its novel features. Case studies should present hybrid systems tools or techniques.

Demo/posters: Maximum 2 pages. Demo/poster descriptions serve the sole purpose of selecting contributions for the demo and poster session and will not be published in the conference proceedings.

Submissions

Submissions of Regular, Tool and Case-Study papers should be made through the HSCC 2016 EasyChair submission website:
https://easychair.org/conferences/?conf=hscc2016
Submissions deadline is October 23, 2015 - corresponding abstracts should be submitted by October 8, 2015.

ACM templates can be found at: http://www.acm.org/sigs/publications/proceedings-templates

Demo/poster submissions: The submission deadline will be announced sometime in the beginning of 2016. Submission will be through email to hscc2016@easychair.org with "HSCC demo/poster submission" in the subject line. Questions should be directed to the same address.

Committees for HSCC 2016

Program Committee Chairs
Alessandro Abate, University of Oxford, UK
Georgios Fainekos, Arizona State University, USA

Publicity Chair
Sayan Mitra, Univ. of Illinois at Urbana Champaign, USA

Repeatability Evaluation Chair
Ian M. Mitchell, University of British Columbia, Canada

Demo/Poster Chair
James Kapinski, Toyota Motors, USA

Program Committee
Shun-ichi Azuma, Kyoto University, Japan
Christel Baier, TU Dresden, Germany
Ezio Bartocci, TU Vienna, Austria
Calin Belta, Boston University, USA
Spring Berman, Arizona State University, USA
Mireille Broucke, University of Toronto, Canada
Krishnendu Chatterjee, IST Austria, Austria
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Alessandro D'Innocenzo, University of L'Aquila, Italy
Thao Dang, VERIMAG, France
Jyotirmoy Deshmukh, Toyota Motors, USA
Xu Chu Ding, United Technology Research Center, USA
Alexandre DonzÈ, UC Berkeley, USA
Martin Fr‰nzle, University in Oldenburg, Germany
Antoine Girard, University of Grenoble, France
Ichiro Hasuo, University of Tokyo, Japan
Jun-ichi Imura, Tokyo Institute of Technology, Japan
Franjo Ivancic, Google NY, USA
Taylor Johnson, UT Arlington, USA
Agung Julius, Rensselaer Polytechnic institute, USA
Sertac Karaman, MIT, USA
Joost-Pieter Katoen, RWTH Aachen University, Germany
Marta Kwiatkowska, University of Oxford, UK
Jun Liu, University of Waterloo, Canada
Daniele Magazzeni, King's College London, UK
Manuel Mazo Jr, TU Delft, The Netherlands
Sayan Mitra, Univ. of Illinois at Urbana Champaign, USA
Jens Oehlerking, Robert Bosch GmbH, Germany
Meeko Oishi, University of New Mexico, USA
Necmiye Ozay, University of Michigan, USA
Andreas Podelski, University of Freiburg, Germany
Pavithra Prabhakar, Kansas State University, USA
Maria Prandini, Politecnico di Milano, Italy
Akshay Rajhans, The MathWorks, USA
S Ramesh, General Motors R&D, India
Sriram Sankaranarayanan, Univ. of Colorado, Boulder, USA
Oleg Sokolsky, University of Pennsylvania, USA
Herbert Tanner, University of Delaware, USA
Ufuk Topcu, UT Austin, USA
Ashuthosh Trivedi, IIT Bombay, India
Jana Tumova, KTH, Sweden
Verena Wolf, Saarland University, Germany
Majid Zamani, Technical University of Munich, Germany
Naijun Zhan, Chinese Academy of Sciences, PR China
Paolo Zuliani, Newcastle University, UK

Steering Committee
Rajeev Alur, University of Pennsylvania, USA
Werner Damm, OFFIS, Germany
John Lygeros, ETH Zurich, Switzerland
Oded Maler, Verimag, France
Paulo Tabuada, UCLA, USA
Claire Tomlin, University of California Berkeley, USA

Related Resources

HSCC 2024   ACM International Conference on Hybrid Systems: Computation and Control
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
IEEE ICCR 2024   IEEE--2024 6th International Conference on Control and Robotics (ICCR 2024)
ICoSR 2024   2024 3rd International Conference on Service Robotics
CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
ICoIV 2024   2024 International Conference on Intelligent Vehicles (ICoIV 2024)
ICAMechS 2024   The 2024 (14th) International Conference on Advanced Mechatronic Systems
ACM-Ei/Scopus-CVCM 2024   2024 5th International Conference on Computer Vision, Communications and Multimedia (CVCM 2024) -EI Compendex
RAAI 2024   IEEE--2024 4th International Conference on Robotics, Automation, and Artificial Intelligence (RAAI 2024)
SIUSAI 2024   2024 3rd International Symposium on Intelligent Unmanned Systems and Artificial Intelligence(SIUSAI 2024)