HSCC 2023
Date: May 09, 2023 7:00 am – May 12, 2023 6:00 pm
Location: San Antonio, TX
26th ACM International Conference on Hybrid Systems: Computation and Control
9-12 May 2023 | San Antonio, TX, USA
Hybrid Systems: Computation and Control (HSCC) 2023 is the 26th in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid dynamical 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 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
- Programming and specification languages
- Network science and network-based control
- Security, privacy, and resilience for cyber-physical systems with focus on computation and control
- Safe autonomy, Artificial intelligence and Machine learning in CPS
- Software 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.
Submitted by Anonymous
on
26th ACM International Conference on Hybrid Systems: Computation and Control
9-12 May 2023 | San Antonio, TX, USA
Hybrid Systems: Computation and Control (HSCC) 2023 is the 26th in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid dynamical 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 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
- Programming and specification languages
- Network science and network-based control
- Security, privacy, and resilience for cyber-physical systems with focus on computation and control
- Safe autonomy, Artificial intelligence and Machine learning in CPS
- Software 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.