A phenomenal basis for hybrid modelling

Hall, Jon G; Rapanotti, Lucia and Markov, Georgi (2017). A phenomenal basis for hybrid modelling. In: Proceedings of 5th IEEE International Workshop on Formal Methods Integration (IEEE FMi 2017), 4-6 Aug 2017.

DOI: https://doi.org/10.1109/iri.2017.65


This work in progress extends the new mechanical philosophy from science to engineering. Engineering is the practice of organising the design and construction of artifices that satisfy needs in real-world contexts. This work shows how artifices can be described in terms of their mechanisms and composed through their observable phenomena.

Typically, the engineering of real system requires descrip- tions in many different languages: software components will be described in code; sensors and actuators in terms of their physical and electronic characteristics; plant in terms of differ- ential equations, perhaps. Another aspect of this work, then, to construct a formal framework so that diverse description languages can be used to characterise sub-mechanisms.

The work is situated in Problem Oriented Engineering, a design theoretic framework engineering defined by the first two authors.

Viewing alternatives

Download history


Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions

Item Actions