Hybrid System Trajectories as Partial Continuous Maps

Wednesday August 19th, 13:15 (1:15pm), Wigforssalen, Halmstad University

Click here for video

Hybrid systems can exhibit a range of pathologies that are hard to rule out without making a modeling formalism overly restrictive. Addressing these pathologies, many of which relate to so-called Zeno behaviors, is a prerequisite to being able to give sound definitions of fundamental concepts in hybrid systems, such as reachability.

We propose the use of partial continuous maps (PCM) as trajectories to describe how a hybrid system evolves over time. PCMs enable a notion of trajectory that can go beyond Zeno points.

About Prof. Eugenio Moggi

Professor Eugenio Moggi received his MSc from Pisa (1983) and PhD from Edinburgh (1988). He worked at the University of Cambridge, Edinburgh and Pisa, before moving to Genova in 1990. His most well known research contributions include: cat- egorical semantics of polymorphic types, the study of formal sys- tems for partial functions, notions of computations as monads, metalanguages for computational monads and evaluation logic, categorical semantics of program modules, and type systems and operational semantics for multi-stage programming languages.