Post by: Goran Frehse, Enea Zaffanella in SIGBED Blog
In the domain of cyber-physical systems, linear hybrid automata have emerged as a pivotal tool for modeling and verifying complex behaviors that involve both event-driven (discrete) and time-driven (continuous) changes. This blog post highlights the significant strides made in symbolic analysis techniques, particularly in the efficiency and scalability of these methods. The concept of Hybrid Automata emerged in the early…