International Conference on Hybrid Systems: Computation and Control
摘要截稿:
全文截稿: 2016-10-13
开会时间: 2017-04-18
会议难度:
CCF分类: B类
会议地点: Pittsburgh, Pennsylvania, USA
Overview
HSCC 2017 is the 20th 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