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.


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

Item Actions