Hybrid abstractions: A search and rescue case study

Large-scale, multi-agent systems are becoming extremely complex due to the rapid advances in computation and communication. A natural approach to deal with the increased complexity of such systems is the use of abstractions: given a complicated model and some properties of interest, extract simpler models of the original system that propagate the desired properties to the abstracted model, while hiding details that are of no interest. In this paper, we review our methodology for extracting hybrid systems out of continuous control systems while preserving timed languages. This allows us to extract high level models that can be used for real time scheduling while ensuring that high level plans have feasible implementations at the lower level model. Our methodology, is then fully illustrated by a search and rescue case study.