Scope

Hybrid Systems: Computation and Control (HSCC) 2025 is the 28th 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.
Special Track: Generative AI for Cyber-Physical Systems

Generative models, including diffusion models, transformers, foundation models, etc., have demonstrated remarkable potential across various domains, from content creation to complex decision-making. Notable examples include the use of diffusion models for trajectory generation and large language models (LLMs) for situational awareness and planning. However, the application of generative AI in cyber-physical systems (CPS)—such as robotic systems, autonomous vehicles, aerospace systems, healthcare, and critical infrastructure—introduces unique challenges and opportunities. This special track invites cutting-edge research contributions that explore the integration, safety, robustness, and other technical challenges of generative AI in CPS, aiming to advance the state of the art in this rapidly evolving field.

Topics

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.