International Conference on Hybrid Systems: Computation and Control
摘要截稿:
全文截稿: 2019-10-23
开会时间: 2020-04-21
会议难度:
CCF分类: B类
会议地点: Sydney Australia
Overview
Welcome to the home page of the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2020). HSCC 2020 is the 23rd 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.
HSCC 2020 will be part of the thirteenth Cyber Physical Systems Week (CPS Week), and co-located 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.
Topics of interest include, but are not limited to
MATHEMATICAL FOUNDATIONS, COMPUTABILITY AND COMPLEXITY
ANALYSIS, VERIFICATION, VALIDATION, AND TESTING
MODELING PARADIGMS AND TECHNIQUES
DESIGN, SYNTHESIS, PLANNING, AND CONTROL
NONLINEAR AND SAFETY-CRITICAL CONTROL
PROGRAMMING AND SPECIFICATION LANGUAGES
NETWORK SCIENCE AND NETWORK-BASED CONTROL
SECURITY, PRIVACY, AND RESILIENCE FOR CYBER-PHYSICAL SYSTEMS WITH FOCUS ON COMPUTATION AND CONTROL
AUTONOMY, ARTIFICIAL INTELLIGENCE AND MACHINE LEARNING IN CPS DESIGN AUTOMATION FOR CPS, INCLUDING
DESIGN FORMALISMS, TECHNIQUES AND TOOLS FOR THE ABOVE TOPICS
APPLICATIONS AND INDUSTRIAL CASE STUDIES IN: AUTOMOTIVE, TRANSPORTATION, AUTONOMOUS SYSTEMS, AVIONICS, ENERGY AND POWER, ROBOTICS, MEDICAL DEVICES, MANUFACTURING, SYSTEMS AND SYNTHETIC BIOLOGY, MODELS FOR THE LIFE SCIENCES, AND OTHER RELATED AREAS.