HSCC 2018 - 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018)

21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018). HSCC 2018 is the 21st in a series of single-track conferences for rigorous interdisciplinary approaches to analysis and control of dynamical systems with an emphasis on computational aspects.
HSCC 2018 is part of the 11st Cyber Physical Systems Week (CPS Week) alongside the International Conference on Cyber-Physical Systems (ICCPS), International Conference on the Internet of Things, Design and Implementation (IoTDI), the International Conference on Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), and additional CPS-related workshops.
Conference scope
Hybrid Systems: Computation and Control (HSCC) focuses on original research that involves concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid systems with an emphasis on computational aspects. By drawing on strategies from computation and control, the hybrid systems field offers techniques that are applicable to both man-made cyber-physical systems (ranging from small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models).
Papers in the conference are expected to range over a wide spectrum of topics from theoretical results to practical considerations, and from academic research to industrial adoption.
Topics of interest cover, but are not limited to, the following aspects of the hybrid systems field:
Mathematical foundations, computability and complexity
Analysis, verification, validation, and testing
Modeling paradigms and techniques
Design, synthesis, planning, and control
Programming and specification languages
Network science and network-based control
Security, privacy, and resiliency in cyber-physical systems with a focus on computation and control
Artificial intelligence and machine learning in control algorithms
Software tools for 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