Qualitative analysis of distributed physical systems with applications to control synthesisSpatial Aggregation: Language and ApplicationsSpatial aggregation: Modeling and controlling physical fields