Oded Maler was one of the founders of the workshop Hybrid Systems Biology. His contributions in this domain could be traced back to his young days as a curious and brave computer scientist trying to break into Control Sciences, a neighbouring land yet full of distinct customs and traditions. This ambitious venture fruitfully impacted the evolution of the two domains. His results enlarged the theoretical boundary of his Computer Science homeland by extending timed systems to hybrid systems, addressing the fundamental decidability and complexity questions, laying the foundations for formal verification and synthesis of hybrid systems. Furthermore, these results have major intellectual impacts on the control community who began to embrace formal methods.

Being constantly attentive to other disciplines, Oded continued his journey and was particularly interested in systems biology (among others, such as embedded system scheduling and implementation, analog and mixed-signal circuits). His major contribution is his adaptation and proliferation of temporal logics, algorithmic analysis, and more generally hybrid computational thinking to this domain.

In this presentation, I will talk only about some of Oded’s influential contributions in hybrid systems along this remarkable odyssey.